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 represent the dependencies between instructions
in order to use it for slicing purposes.
|
BuildAll [Pdg_parameters] | |
BuildFct [Pdg_parameters] | |
C | |
CtrlDpds |
Internal information about control dependencies
|
D | |
DotBasename [Pdg_parameters] | |
Dpd [PdgTypes] | Dpd stands for 'dependence'.
|
E | |
E [PdgTypes.G] | |
F | |
F_Fct [PdgMarks] |
If the marks provided by the user respect some constraints (see
Mark ),
we have that, after the marks propagation,
the mark of a node are always smaller than the sum of the marks of its
dependencies.
|
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 | in_marks_to_caller translate the input information part returned by
mark_and_propagate into (node, mark) list related to a call.
|
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 |
Types data_state and Node.t come froms this module
|
PrintBw [Pdg_parameters] | |
Printer [PdgTypes.Pdg] | |
R | |
Register |
Register external functions into Db.
|
Register [Pdg] | |
S | |
Sets |
PDG (program dependence graph) access functions.
|
Signature [PdgIndex] |
What we call a
Signature a mapping between keys that represent either a
function input or output, and some information.
|
T | |
Tbl [Register] |