PV0 DGa library that provides data structures and algorithms for program analysis and slicing

Library providing data structures and algorithms for program analysis and slicing

Application domain/field

Type of tool

Library

Expected input

Depends on how the library is used.

Format:

LLVM IR

Expected output

Depends on how the library is used.

Internals

Includes algorithms for the computation of NTSCD (non-termination sensitive control dependence), DOD (decisive order dependence) and the NTSCD and DOD closure DG contains several scripts/tools to deal with bitcode. The main interesting tool seems to be llvm-slicer which is a static slicer for LLVM bitcode.

Comments

This was made during the re-implementation of the tool Symbiotic. Its original purpose was for the construction of dependence graphs for LLVM bitcode. License: MIT license
Library

Links

Repository: https://github.com/mchalupa/dg

Last commit date

19 October 2021

Related papers

Last publication date

15 July 2021

ProVerB specific

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.