Pdg plugin

Directory plugins

Section Pdg (in plugins/pdg)


Annot

All these functions find the nodes needed for various kind of annotations.

Build

Build graphs (PDG) for the function (see module Build.BuildPdg) to represent the dependencies between instructions in order to use it for slicing purposes.

CtrlDpds

Internal information about control dependencies

Marks
Pdg

Program Dependences Graph.

Pdg_parameters
Pdg_state

DataState is associated with a program point and provide the dependencies for the data, ie.

Register
Sets

PDG (program dependence graph) access functions.

Section Pdg_types (in plugins/pdg_types)


PdgIndex

This module can be useful to store some information about different elements of a function.

PdgMarks

This module provides elements to mapped information (here called 'marks') to PDG elements and propagate it along the dependencies.

PdgTypes

This module defines the types that are used to store the PDG of a function.