D 2020

DG: Analysis and Slicing of LLVM Bitcode

CHALUPA, Marek

Basic information

Original name

DG: Analysis and Slicing of LLVM Bitcode

Authors

CHALUPA, Marek (203 Czech Republic, guarantor, belonging to the institution)

Edition

Hanoi, Vietnam, The 18ᵗʰ International Symposium on Automated Technology for Verification and Analysis, p. 557-563, 7 pp. 2020

Publisher

Springer

Other information

Language

English

Type of outcome

Stať ve sborníku

Field of Study

10201 Computer sciences, information science, bioinformatics

Confidentiality degree

není předmětem státního či obchodního tajemství

Publication form

printed version "print"

Impact factor

Impact factor: 0.402 in 2005

RIV identification code

RIV/00216224:14330/20:00114295

Organization unit

Faculty of Informatics

ISBN

978-3-030-59151-9

ISSN

DOI

UT WoS

000723555700033

Keywords in English

call graph construction; data dependence analysis; program slicing

Tags

Tags

International impact, Reviewed
Změněno: 16/5/2022 14:23, Mgr. Michal Petr

Abstract

V originále

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.

Links

GA18-02177S, research and development project
Name: Abstrakce a jiné techniky v semi-symbolické verifikaci programů
Investor: Czech Science Foundation
MUNI/A/1050/2019, interní kód MU
Name: Rozsáhlé výpočetní systémy: modely, aplikace a verifikace IX (Acronym: SV-FI MAV IX)
Investor: Masaryk University, Category A