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 | https://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: |