Informace o publikaci
DG: Analysis and Slicing of LLVM Bitcode
Autoři | |
---|---|
Rok publikování | 2020 |
Druh | Článek ve sborníku |
Konference | The 18?? International Symposium on Automated Technology for Verification and Analysis |
Fakulta / Pracoviště MU | |
Citace | |
Doi | http://dx.doi.org/10.1007/978-3-030-59152-6_33 |
Klíčová slova | call graph construction; data dependence analysis; program slicing |
Popis | 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. |
Související projekty: |