DG: A program analysis library

Logo poskytovatele

Varování

Publikace nespadá pod Filozofickou fakultu, 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.