Portal de Periódicos da CAPES

DG: Analysis and Slicing of LLVM Bitcode

2020; Springer Science+Business Media; Linguagem: Inglês

10.1007/978-3-030-59152-6_33

1611-3349

Marek Chalupa,

Software Engineering Research

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.