DG: A program analysis library
| Authors | |
|---|---|
| Year of publication | 2020 |
| Type | Article in Periodical |
| Magazine / Source | Software Impacts |
| MU Faculty or unit | |
| Citation | |
| Web | https://doi.org/10.1016/j.simpa.2020.100038 |
| Doi | http://dx.doi.org/10.1016/j.simpa.2020.100038 |
| Keywords | Program analysis;Points-to analysis;Dependence analysis;Dependence graphs;Program slicing |
| Description | 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. |
| Related projects: |