DG: A program analysis library

CHALUPA, Marek. DG: A program analysis library. Software Impacts. 2020, roč. 2020, č. 6, s. 1-4. ISSN 2665-9638. Dostupné z: https://dx.doi.org/10.1016/j.simpa.2020.100038.

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

• Originální 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í
• WWW: URL
• Kód RIV: RIV/00216224:14330/20:00114519
• Organizační jednotka: Fakulta informatiky
• Doi: http://dx.doi.org/10.1016/j.simpa.2020.100038
• 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

Anotace

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ů