A | |
Annot |
find the nodes needed for the annotation :
the first list correspond to control dependancies,
the second list correspond to the declarations of the variables,
and the third part
(node,z_part) list, undef_loc)
correspond to data dependencies.
|
B | |
Build |
Build graphs (PDG) for the function
(see module
Build.BuildPdg )
to represente the dependencies between instructions
in order to use it for slicing purposes.
|
BuildAll [Pdg_parameters] | |
BuildFct [Pdg_parameters] | |
BuildPdg [Build] |
Module to build the PDG.
|
C | |
Computer [CtrlDpds] | |
Computer [Build] |
Computer is a ForwardsTransfer to use ForwardsDataFlow
|
CtrlDpds |
Compute the PDB(A,B) set used in the control dependencies algorithm.
|
D | |
D [Sets] | |
DotBasename [Pdg_parameters] | |
DotPostdomBasename [Pdg_parameters] | |
Dpd [Print] | |
Dpd [Build] | |
Dpd [Annot] | |
E | |
E [Print.Printer] | |
F | |
FI [Sets] | |
FI [Build] | |
FI [Annot] | |
F_Proj [Register] | |
F_Proj [Marks] |
To also use interprocedural propagation, the user can instantiate this
functor.
|
G | |
G [Sets] | |
G [Print] | |
G [Build] | |
G [Annot] | |
K | |
K [Sets] | |
K [Print] | |
Key [Build] | |
Key [Annot] | |
L | |
Lexical_successors |
Compute a graph which provide the lexical successor of each statement s,
ie.
|
M | |
M [State] | |
M [Sets] | |
M [Build] | |
M [Annot] | |
Macros | |
Marks |
compute the marks to propagate in the caller nodes from the marks of
a function inputs
in_marks .
|
N | |
N [Sets] | |
N [Print] | |
P | |
P [State] | |
P [Sets] | |
P [Build] | |
PI [Sets] | |
PI [Build] | |
PI [Annot] | |
Pdg_parameters | |
boolean to say that the edge is dynamic
| |
PrintBw [Pdg_parameters] | |
PrintG [Print] | |
Printer [Print] | |
R | |
Register |
Register external functions into Db.
|
S | |
S [Print] | |
S [CtrlDpds] | |
Sets |
Provides function to extract information from the PDG.
|
SimpleNodeSet [Build] |
set of nodes of the graph
|
State |
DataState is associated with a program point
and provide the dependancies for the data,
ie.
|
State [CtrlDpds] | |
States [CtrlDpds] | |
StmtStartData [CtrlDpds.Computer] | |
StmtStartData [Build.Computer] | |
T | |
Tbl [Register] | |
V | |
V [Print.Printer] |