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
in_marks_to_caller translate the input information part returned by mark_and_propagate into (node, mark) list related to a call.
Pdg
Program Dependences Graph.
Pdg_parameters
Pdg_state
Types data_state and Node.t come froms this module
Register
Register external functions into Db.
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.