DG: A program analysis library

Logo poskytovatele

Varování

Publikace nespadá pod Fakultu sportovních studií, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Autoři

CHALUPA Marek

Rok publikování 2020
Druh Článek v odborném periodiku
Časopis / Zdroj Software Impacts
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
www https://doi.org/10.1016/j.simpa.2020.100038
Doi http://dx.doi.org/10.1016/j.simpa.2020.100038
Klíčová slova Program analysis;Points-to analysis;Dependence analysis;Dependence graphs;Program slicing
Popis DG is a C++ library providing elements for building program analysis tools. Its main components are a points-to analysis, a data dependence analysis, a control dependence analysis and an analysis of relations between variables. DG contains also a set of tools for displaying and exporting the results of the analyses and a program slicer for LLVM bitcode. It has been successfully used in several research projects.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info