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.
|
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.
|