J 2020

DG: A program analysis library

CHALUPA, Marek

Základní údaje

Originální název

DG: A program analysis library

Autoři

CHALUPA, Marek (203 Česká republika, garant, domácí)

Vydání

Software Impacts, 2020, 2665-9638

Další údaje

Jazyk

angličtina

Typ výsledku

Článek v odborném periodiku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Nizozemské království

Utajení

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

Odkazy

Kód RIV

RIV/00216224:14330/20:00114519

Organizační jednotka

Fakulta informatiky

DOI

UT WoS

000863082100001

Klíčová slova anglicky

Program analysis;Points-to analysis;Dependence analysis;Dependence graphs;Program slicing

Příznaky

Mezinárodní význam, Recenzováno
Změněno: 15. 5. 2024 02:02, RNDr. Pavel Šmerk, Ph.D.

Anotace

V originále

DG is a C++ library providing elements for building program analysis tools. Its main components are a points-to analysis, a data dependence analysis, a control dependence analysis and an analysis of relations between variables. DG contains also a set of tools for displaying and exporting the results of the analyses and a program slicer for LLVM bitcode. It has been successfully used in several research projects.

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ů