DG: A program analysis library

Investor logo

Warning

This publication doesn't include Faculty of Economics and Administration. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
Authors

CHALUPA Marek

Year of publication 2020
Type Article in Periodical
Magazine / Source Software Impacts
MU Faculty or unit

Faculty of Informatics

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:

You are running an old browser version. We recommend updating your browser to its latest version.