Publication details
DG: Analysis and Slicing of LLVM Bitcode
| Authors | |
|---|---|
| Year of publication | 2020 |
| Type | Article in Proceedings |
| Conference | The 18?? International Symposium on Automated Technology for Verification and Analysis |
| MU Faculty or unit | |
| 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: |