DG: Analysis and Slicing of LLVM Bitcode

Investor logo

Warning

This publication doesn't include Institute of Computer Science. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
Authors

CHALUPA Marek

Year of publication 2020
Type Article in Proceedings
Conference The 18?? International Symposium on Automated Technology for Verification and Analysis
MU Faculty or unit

Faculty of Informatics

Citation
Doi http://dx.doi.org/10.1007/978-3-030-59152-6_33
Keywords call graph construction; data dependence analysis; program slicing
Description DG is a library written in C++ that provides several types of program analysis for LLVM bitcode. The main parts of DG are a parametric points-to analysis, a call graph construction, a data dependence analysis, and a control dependence analysis. The project includes several tools built around the analyses, the main one being a static slicer for LLVM bitcode. This paper describes what analyses are implemented in DG and its use cases with the focus on program slicing.
Related projects:

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

More info