Publication details

DG: Analysis and Slicing of LLVM Bitcode

Investor logo


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

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