Annot | All these functions find the nodes needed for various kind of annotations. |
Build | Build graphs (PDG) for the function
(see module |
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. |
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. |