Index of modules


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
Print
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]