Index of modules


A
Analysis [Sparecode_params]
Whether to perform spare code detection or not.
Annot [Sparecode_params]
keep more things to keep all reachable annotations.

B
BoolInfo [Transform]
BoolMark [Marks]

C
Config [Marks]

G
GlobDecl [Sparecode_params]
remove unused global types and variables
Globs

H
Hashtbl [Datatype.S_with_collections]

I
Info [Transform]

K
Key [Datatype.Hashtbl]
Datatype for the keys of the hashtbl.
Key [Datatype.Map]
Datatype for the keys of the map.
KfTopVisi [Marks]

M
M [Marks.Config]
Make [Datatype.Hashtbl]
Build a datatype of the hashtbl according to the datatype of values in the hashtbl.
Make [Datatype.Map]
Build a datatype of the map according to the datatype of values in the map.
Map [Datatype.S_with_collections]
Marks
The project is composed of FctIndex marked with BoolMark to be used by Pdg.Register.F_Proj, and another table to store if a function is visible (usefull for Top PDG).

P
P [Register]
ProjBoolMarks [Marks]

R
Register
Internal State
Result [Register]
Result [Globs]
Result_pair [Register]

S
Set [Datatype.S_with_collections]
Sparecode_params
Whether to perform spare code detection or not.

T
Transform