DG: Analysis and Slicing of LLVM Bitcode

Varování

Publikace nespadá pod Ekonomicko-správní fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Autoři	CHALUPA Marek
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	Fakulta informatiky
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:	Abstrakce a jiné techniky v semi-symbolické verifikaci programů Rozsáhlé výpočetní systémy: modely, aplikace a verifikace IX