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 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
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 Signature a mapping between keys that represent either a function input or output, and some information.

T
Tbl [Register]