DG: A program analysis library

Warning

This publication doesn't include Faculty of Arts. 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	https://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:	Abstrakce a jiné techniky v semi-symbolické verifikaci programů