A | |
Action [Plugin.General_services] |
Build a boolean option initialized fo
false , that is not saved.
|
B | |
BackwardScope [Datascope] | |
Big_int [Datatype] | |
Bool [Datatype] | |
Bool [Plugin.General_services] | |
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
|
E | |
EmptyString [Plugin.General_services] |
Build a string option initialized to
"" .
|
F | |
False [Plugin.General_services] |
Build a boolean option initialized to
false .
|
FilledStringSet [Plugin.General_services] |
Build an option as a set of strings, initialized with the given values.
|
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 | |
IndexedVal [Plugin.General_services] | |
InitSid [Datascope] |
A place to map each data to the state of statements that modify it.
|
Int [Datatype] | |
Int [Plugin.General_services] |
Build an integer option.
|
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_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.ForwardScope] | |
StmtStartData [Datascope.BackwardScope] | |
String [Datatype] | |
String [Plugin.General_services] |
Build a string option.
|
StringHashtbl [Plugin.General_services] |
Should not be used by casual users.
|
StringList [Plugin.General_services] | |
StringSet [Plugin.General_services] |
Build an option as a set of strings, initialized to the empty set.
|
T | |
Triple [Datatype] | |
Triple_with_collections [Datatype] | |
True [Plugin.General_services] |
Build a boolean option initialized to
true .
|
U | |
Undefined [Datatype] |
Each values in these modules are undefined.
|
Unit [Datatype] | |
W | |
Weak [Datatype] | |
WithOutput [Plugin.General_services] |
Build a boolean option initialized to
false .
|
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 | |
Zero [Plugin.General_services] |
Build an integer option initialized to
0 .
|
Zones [Dpds_gui] | |
Zones |