DG: A program analysis library

CHALUPA, Marek. DG: A program analysis library. Software Impacts. 2020, vol. 2020, No 6, p. 1-4. ISSN 2665-9638. Available from: https://dx.doi.org/10.1016/j.simpa.2020.100038.

Basic information

Original name

DG: A program analysis library

Authors

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

Edition

Software Impacts, 2020, 2665-9638

---

Other information

Language

English

Type of outcome

Článek v odborném periodiku

Field of Study

10201 Computer sciences, information science, bioinformatics

Country of publisher

Netherlands

Confidentiality degree

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

References:

URL

RIV identification code

RIV/00216224:14330/20:00114519

Organization unit

Faculty of Informatics

DOI

http://dx.doi.org/10.1016/j.simpa.2020.100038

UT WoS

000863082100001

Keywords in English

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

Tags

International impact, Reviewed

---

Abstract

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.

---

Links

GA18-02177S, research and development project

Name: Abstrakce a jiné techniky v semi-symbolické verifikaci programů Investor: Czech Science Foundation