A | |
Annot | All these functions find the nodes needed for various kind of annotations. |
B | |
Build | Build graphs (PDG) for the function
(see module |
BuildAll [Pdg_parameters] | |
BuildFct [Pdg_parameters] | |
C | |
CtrlDpds | Internal information about control dependencies |
D | |
DotBasename [Pdg_parameters] | |
Dpd [PdgTypes] |
|
E | |
E [PdgTypes.G] | |
F | |
F_Fct [PdgMarks] | If the marks provided by the user respect some constraints (see |
F_Proj [Marks] | To also use interprocedural propagation, the user can instantiate this functor. |
FctIndex [PdgIndex] | Mapping between the function elements we are interested in and some information. |
G | |
G [PdgTypes] | Program dependence graph main part : the nodes of the graph represent computations, and the edges represent the dependencies between these computations. |
K | |
Key [PdgIndex] | The keys can be used to identify an element of a function. |
L | |
LOffset [Lmap_bitwise.Location_map_bitwise] | |
LocInfo [PdgTypes] | |
M | |
M [PdgMarks.Config] | |
Marks | |
N | |
Node [PdgTypes] | A node of the PDG : includes some information to know where it comes from. |
NodeSet [PdgTypes] | |
NodeSetLattice [PdgTypes] | set of nodes of the graph |
P | |
Pdg [PdgTypes] | PDG for a function |
Pdg | Program Dependences Graph. |
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. |
Pdg_parameters | |
Pdg_state | DataState is associated with a program point and provide the dependencies for the data, ie. |
PrintBw [Pdg_parameters] | |
Printer [PdgTypes.Pdg] | |
R | |
Register | |
Register [Pdg] | |
S | |
Sets | PDG (program dependence graph) access functions. |
Signature [PdgIndex] | What we call a |