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

• Points-to analysis
• Call graph construction
• Data dependence analysis
• LLVM

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