Informace o publikaci
DG: A program analysis library
Autoři | |
---|---|
Rok publikování | 2020 |
Druh | Článek v odborném periodiku |
Časopis / Zdroj | Software Impacts |
Fakulta / Pracoviště MU | |
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: |