Up
Index of modules
A
Array
[
Datatype
]
Array_with_collections
[
Datatype
]
B
BackwardScope
[
Datascope
]
Big_int
[
Datatype
]
Bool
[
Datatype
]
C
Caml_weak_hashtbl
[
Datatype
]
Char
[
Datatype
]
Computer
[
Zones
]
Ctx
[
Zones
]
D
D
[
Dpds_gui.Make_StmtMapState
]
D
[
Defs
]
DT
[
Defs
]
Data
[
Zones
]
DataScope
[
Dpds_gui
]
Datascope
The aim here is to select the statements where a data D has the same value then a given starting program point L.
Datatype
[
Datatype.Caml_weak_hashtbl
]
Defs
Find the statements that defines a given data at a program point, ie.
DpdsState
[
Dpds_gui
]
Dpds_gui
kf_stmt_opt
is used if we want to ask the lval to the user in a popup
F
Float
[
Datatype
]
Formatter
[
Datatype
]
ForwardScope
[
Datascope
]
Function
[
Datatype
]
G
GenStates
[
Datascope
]
Place to store the dataflow analyses results
H
Hashtbl
[
Datatype
]
Hashtbl
[
Datatype.S_with_collections
]
I
InitSid
[
Datascope
]
A place to map each data to the state of statements that modify it.
Int
[
Datatype
]
Int32
[
Datatype
]
Int64
[
Datatype
]
Interproc
[
Defs
]
K
Key
[
Datatype.Hashtbl
]
Datatype for the keys of the hashtbl.
Key
[
Datatype.Map
]
Datatype for the keys of the map.
Kf_containing_highlighted_stmt
[
Dpds_gui
]
L
LM
[
Datascope.InitSid
]
LOffset
[
Lmap_bitwise.Location_map_bitwise
]
List
[
Datatype
]
List_with_collections
[
Datatype
]
M
Make
[
Datatype.Polymorphic4
]
Make
[
Datatype.Polymorphic3
]
Make
[
Datatype.Polymorphic2
]
Make
[
Datatype.Polymorphic
]
Create a datatype for a monomorphic instance of the polymorphic type.
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.
Make
[
Datatype
]
Generic datatype builder.
Make_StmtMapState
[
Dpds_gui
]
Make_StmtSetState
[
Dpds_gui
]
Make_with_collections
[
Datatype
]
Generic comparable datatype builder: functions
equal
,
compare
and
hash
must not be
Datatype
.undefined
.
Map
[
Datatype
]
Map
[
Datatype.S_with_collections
]
N
NSet
[
Defs
]
Nativeint
[
Datatype
]
O
Option
[
Datatype
]
Option_with_collections
[
Datatype
]
P
Pair
[
Datatype
]
Pair_with_collections
[
Datatype
]
Poly_array
[
Datatype
]
Poly_list
[
Datatype
]
Poly_option
[
Datatype
]
Poly_pair
[
Datatype
]
Poly_queue
[
Datatype
]
Poly_ref
[
Datatype
]
Polymorphic
[
Datatype
]
Functor for polymorphic types with only 1 type variable.
Polymorphic2
[
Datatype
]
Functor for polymorphic types with 2 type variables.
Polymorphic3
[
Datatype
]
Functor for polymorphic types with 3 type variables.
Polymorphic4
[
Datatype
]
Functor for polymorphic types with 4 type variables.
Pscope
[
Dpds_gui.Pscope
]
Pscope
[
Dpds_gui
]
Pscope_warn
[
Dpds_gui.Pscope
]
Q
Quadruple
[
Datatype
]
Quadruple_with_collections
[
Datatype
]
Queue
[
Datatype
]
R
R
[
Zones
]
R
[
Datascope
]
Ref
[
Datatype
]
S
Serializable_undefined
[
Datatype
]
Same as
Datatype
.
Undefined
, but the type is supposed to be marshalable by the standard OCaml way (in particular, no hash-consing or projects inside the type).
Set
[
Datatype
]
Set
[
Datatype.S_with_collections
]
ShowDef
[
Dpds_gui
]
State
[
Datascope
]
States
[
Datascope
]
StmtDefault
[
Datascope
]
Statement identifier
StmtSetLattice
[
Datascope
]
set of values to store for each data
StmtStartData
[
Zones.Computer
]
StmtStartData
[
Datascope.BackwardScope
]
String
[
Datatype
]
T
Triple
[
Datatype
]
Triple_with_collections
[
Datatype
]
U
Undefined
[
Datatype
]
Each values in these modules are undefined.
Unit
[
Datatype
]
W
Weak
[
Datatype
]
With_collections
[
Datatype
]
Add sets, maps and hashtables modules to an existing datatype, provided the
equal
,
compare
and
hash
functions are not
Datatype
.undefined
.
Z
Zones
[
Dpds_gui
]
Zones