D 2020

DG: Analysis and Slicing of LLVM Bitcode

CHALUPA, Marek

Základní údaje

Originální název

DG: Analysis and Slicing of LLVM Bitcode

Autoři

CHALUPA, Marek

Vydání

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

Nakladatel

Springer

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10201 Computer sciences, information science, bioinformatics

Utajení

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

Forma vydání

tištěná verze "print"

Impakt faktor

Impact factor: 0.402 v roce 2005

Kód RIV

RIV/00216224:14330/20:00114295

Organizační jednotka

Fakulta informatiky

ISBN

978-3-030-59151-9

ISSN

DOI

UT WoS

000723555700033

EID Scopus

2-s2.0-85093856476

Klíčová slova anglicky

call graph construction; data dependence analysis; program slicing

Štítky

Příznaky

Mezinárodní význam, Recenzováno
Změněno: 16. 5. 2022 14:23, Mgr. Michal Petr

Anotace

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.

Návaznosti

GA18-02177S, projekt VaV
Název: Abstrakce a jiné techniky v semi-symbolické verifikaci programů
Investor: Grantová agentura ČR, Abstrakce a jiné techniky v semi-symbolické verifikaci programů
MUNI/A/1050/2019, interní kód MU
Název: Rozsáhlé výpočetní systémy: modely, aplikace a verifikace IX (Akronym: SV-FI MAV IX)
Investor: Masarykova univerzita, Rozsáhlé výpočetní systémy: modely, aplikace a verifikace IX, DO R. 2020_Kategorie A - Specifický výzkum - Studentské výzkumné projekty