Index of modules


A
Annot
All these functions find the nodes needed for various kind of annotations.

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]

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]

I
IH [CtrlDpds]
IH [Build]

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 [Sets]
M [Pdg_state]
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 [Sets]
P [Pdg_state]
P [Build]
Pdg_parameters
Pdg_state
DataState is associated with a program point and provide the dependancies for the data, ie.
Print
PrintBw [Pdg_parameters]

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 [CtrlDpds]
States [CtrlDpds]
StmtStartData [CtrlDpds.Computer]
StmtStartData [Build.Computer]

T
Tbl [Register]