Index of values


A
add [State_builder.List_ref]
add [Datatype.Sub_caml_weak_hashtbl]
add [State_builder.Hashtbl]
Add a new binding.
add [Datascope.StmtSetLattice]
add_base [Lmap_bitwise.Location_map_bitwise]
add_binding [Lmap_bitwise.Location_map_bitwise]
add_binding_loc [Lmap_bitwise.Location_map_bitwise]
add_item [Dpds_gui]
To add a sensitive/unsensitive menu item to a factory.
add_msg [Dpds_gui]
add_proven_annot [Datascope]
add_proven_annot proven because add the fact that proven is proven thanks to because.
add_s [Datascope]
add_tag [Dpds_gui]
add_zone [Datascope.InitSid]
array [Datatype]
ask_for_lval [Dpds_gui]

B
backward_data_scope [Datascope]
bool [Datatype]
bottom [Datascope.State]

C
callbacks [Dpds_gui]
cardinal [Datascope.StmtSetLattice]
cat_rm_asserts [Datascope]
cat_rm_asserts_name [Datascope]
char [Datatype]
check_asserts [Datascope]
check_stmt_annots [Datascope]
Check if an assertion at stmt is identical to ca (itself emitted at stmt_ca).
check_value [Dpds_gui]
clear [Dpds_gui.DpdCmdSig]
clear [Dpds_gui.Zones]
clear [Dpds_gui.ShowDef]
clear [Dpds_gui.Pscope]
clear [Dpds_gui.DataScope]
clear [State_builder.Hashtbl]
Clear the table.
clear_caches [Lmap_bitwise.Location_map_bitwise]
Clear the caches local to this module.
compare [Datatype.Make_input]
compare [Datatype.S_no_copy]
Comparison: same spec than Pervasives.compare.
compare [Datatype.Undefined]
compare [Datatype]
compute [Dpds_gui.DpdCmdSig]
compute [Dpds_gui.Zones]
compute [Dpds_gui.ShowDef]
compute [Dpds_gui.Pscope]
compute [Dpds_gui.DataScope]
compute [Datascope]
compute the mapping for the function
compute_with_def_type_zone [Defs]
This function is similar to Db.Scope.get_defs_with_type, except that it receives a zone as argument, instead of an l-value
copy [Datatype.Make_input]
copy [Datatype.S]
Deep copy: no possible sharing between x and copy x.
copy [Datatype.Undefined]
copy [Datatype]
create [Datatype.Sub_caml_weak_hashtbl]

D
debug [Datascope.BackwardScope]
default [Datascope.StmtSetLattice]
default [Datascope.StmtDefault]
default_icon [Dpds_gui]
default_icon_name [Dpds_gui]
descr [Datatype.S_no_copy]
Datatype descriptor.

E
emitter [Datascope]
empty [Lmap_bitwise.Location_map_bitwise]
empty [Datascope.InitSid]
empty [Datascope.StmtSetLattice]
empty_map [Lmap_bitwise.Location_map_bitwise]
empty_tag [Dpds_gui]
equal [Datatype.Make_input]
equal [Datatype.S_no_copy]
Equality: same spec than Pervasives.(=).
equal [Datatype.Undefined]
equal [Datatype]
equal [Datascope.State]
eval_lval [Dpds_gui]

F
f_check_asserts [Datascope]
filetree_decorate [Dpds_gui]
filter_base [Lmap_bitwise.Location_map_bitwise]
find [State_builder.Hashtbl]
Return the current binding of the given key.
find [Lmap_bitwise.Location_map_bitwise]
find [Datascope.InitSid]
find_all [State_builder.Hashtbl]
Return the list of all data associated with the given key.
find_scope [Datascope]
Do backward and then forward propagations and compute the 3 statement sets : forward only,, forward and backward,, backward only.
float [Datatype]
fold [State_builder.Hashtbl]
fold [Lmap_bitwise.Location_map_bitwise]
The following fold_* functions, as well as Lmap_bitwise.Location_map_bitwise.map2 take arguments of type map to force their user to handle the cases Top and Bottom explicitly.
fold_base [Lmap_bitwise.Location_map_bitwise]
fold_fuse_same [Lmap_bitwise.Location_map_bitwise]
Same behavior as fold, except if two non-contiguous ranges r1 and r2 of a given base are mapped to the same value.
fold_join_zone [Lmap_bitwise.Location_map_bitwise]
fold_join_zone ~both ~conv ~empty_map ~join ~empty z m folds over the intervals present in z.
fold_left [State_builder.List_ref]
fold_sorted [State_builder.Hashtbl]
formatter [Datatype]
forward_data_scope [Datascope]
from_compare [Datatype]
Must be used for equal in order to implement it by compare x y = 0 (with your own compare function).
from_pretty_code [Datatype]
Must be used for pretty in order to implement it by pretty_code provided by the datatype from your own internal_pretty_code function.
func [Datatype]
func2 [Datatype]
func3 [Datatype]
func4 [Datatype]

G
get_annot_opt [Dpds_gui]
get_annot_zone [Datascope]
get_data_scope_at_stmt [Datascope]
Try to find the statement set where data has the same value than before stmt.
get_info [Dpds_gui.DpdCmdSig]
get_info [Dpds_gui.Zones]
get_info [Dpds_gui.ShowDef]
get_info [Dpds_gui.Pscope]
get_info [Dpds_gui.DataScope]
get_kf_stmt_opt [Dpds_gui]
get_lval_opt [Dpds_gui]
kf_opt is used if we want to ask the lval to the user in a popup
get_lval_zones [Datascope]
get_option [State_builder.Option_ref]
get_prop_scope_at_stmt [Datascope]
Return the set of stmts (scope) where annot has the same value as at stmt, and adds to proven the annotations that are identical to annot at statements that are both in scope and dominated by stmt.

H
hash [Datatype.Make_input]
hash [Datatype.S_no_copy]
Hash function: same spec than Hashtbl.hash.
hash [Datatype.Undefined]
hash [Datatype]
help [Dpds_gui.DpdCmdSig]
help [Dpds_gui.Zones]
help [Dpds_gui.ShowDef]
help [Dpds_gui.Pscope]
help [Dpds_gui.DataScope]
help [Dpds_gui]
highlighter [Dpds_gui]

I
id [Datascope.StmtDefault]
identity [Datatype]
Must be used if you want to implement a required function by fun x -> x.
imprecise_write_msg [Lmap_bitwise.Location_map_bitwise]
info [Datatype]
int [Datatype]
int32 [Datatype]
int64 [Datatype]
integer [Datatype]
internal_pretty_code [Datatype.Make_input]
internal_pretty_code [Datatype.S_no_copy]
Same spec than pretty_code, but must take care of the precedence of the context in order to put parenthesis if required.
internal_pretty_code [Datatype.Undefined]
internal_pretty_code [Datatype]
is_bottom [Lmap_bitwise.Location_map_bitwise]
is_empty [Lmap_bitwise.Location_map_bitwise]
is_included [Datascope.State]
iter [State_builder.List_ref]
iter [State_builder.Hashtbl]
iter_sorted [State_builder.Hashtbl]

J
join [Datascope.State]
join_and_is_included [Datascope.State]

L
length [State_builder.Hashtbl]
Length of the table.
list [Datatype]
list_proven [Datascope]
Assertions proven so far, as a list

M
main [Dpds_gui]
make_type [Datatype.Hashtbl]
map [State_builder.Option_ref]
map [Lmap_bitwise.Location_map_bitwise]
map2 [Lmap_bitwise.Location_map_bitwise]
'map'-like function between two interval maps, implemented as a simultaneous descent in both maps.
may [State_builder.Option_ref]
mem [State_builder.Hashtbl]
mem_project [Datatype.Make_input]
mem_project [Datatype.S_no_copy]
mem_project f x must return true iff there is a value p of type Project.t in x such that f p returns true.
mem_project [Datatype.Undefined]
mem_project [Datatype]
memo [State_builder.Option_ref]
Memoization.
memo [Datatype.Hashtbl]
memo tbl k f returns the binding of k in tbl.
memo [State_builder.Hashtbl]
Memoization.
merge [Datascope.State]
module_name [Datatype.Functor_info]
Must be a valid OCaml module name corresponding to the module name you are defining by applying the functor.

N
name [Datatype.Make_input]
Unique name for this datatype.
name [Datatype.S_no_copy]
Unique name of the datatype.
name [Datascope.BackwardScope]
nativeint [Datatype]
never_any_project [Datatype]
Must be used for mem_project if values of your type does never contain any project.

O
option [Datatype]
optlabel_func [Datatype]
optlabel_func lab dft ty1 ty2 is equivalent to func ~label:(lab, Some dft) ty1 ty2

P
packed_descr [Datatype.S_no_copy]
Packed version of the descriptor.
pair [Datatype]
pp_fail [Datatype]
Must be used for internal_pretty_code if this pretty-printer must fail only when called.
pretty [Datatype.Make_input]
pretty [Datatype.S_no_copy]
Pretty print each value in an user-friendly way.
pretty [Datatype.Undefined]
pretty [Datatype]
pretty [Datascope.State]
pretty [Datascope.InitSid]
pretty_code [Datatype.S_no_copy]
Pretty print each value in an ML-like style: the result must be a valid OCaml expression.
pretty_code [Datatype]
pretty_generic_printer [Lmap_bitwise.Location_map_bitwise]
pretty_zone [Dpds_gui]

Q
quadruple [Datatype]
queue [Datatype]

R
register_modified_zones [Datascope]
Add to stmt to lmap for all the locations modified by the statement.
rehash [Datatype.Make_input]
How to rehashconsed values.
rehash [Datatype.Undefined]
remove [State_builder.Hashtbl]
remove_base [Lmap_bitwise.Location_map_bitwise]
replace [State_builder.Hashtbl]
Add a new binding.
reprs [Datatype.Make_input]
Must be non-empty.
reprs [Datatype.S_no_copy]
List of representents of the descriptor.
reset [Dpds_gui]
rm_asserts [Datascope]
Mark as proved the annotations collected by check_asserts.

S
scope_b_tag [Dpds_gui]
scope_f_tag [Dpds_gui]
scope_fb_tag [Dpds_gui]
scope_p_tag [Dpds_gui]
scope_p_warn_tag [Dpds_gui]
scope_start_tag [Dpds_gui]
selector [Dpds_gui]
set [Dpds_gui.Make_StmtMapState]
set [Dpds_gui.Make_StmtSetState]
shape [Lmap_bitwise.Location_map_bitwise]
show_def_direct_tag [Dpds_gui]
show_def_indirect_tag [Dpds_gui]
single [Datascope.StmtSetLattice]
string [Datatype]
structural_descr [Datatype.Hashtbl_with_descr]
structural_descr [Datatype.Make_input]
structural_descr [Datatype.Undefined]

T
t_ref [Datatype]
tag_annot [Dpds_gui.Pscope]
tag_stmt [Dpds_gui.DpdCmdSig]
tag_stmt [Dpds_gui.Zones]
tag_stmt [Dpds_gui.ShowDef]
tag_stmt [Dpds_gui.Pscope]
tag_stmt [Dpds_gui.DataScope]
test_and_merge [Datascope.State]
test_and_merge [Datascope.InitSid]
transfer [Datascope.State]
transfer_stmt [Datascope.ForwardScope]
transfer_stmt [Datascope.BackwardScope]
triple [Datatype]
ty [Datatype.Ty]

U
undefined [Datatype]
Must be used if you don't want to implement a required function.
unit [Datatype]
update_column [Dpds_gui]

V
varname [Datatype.Make_input]
varname [Datatype.S_no_copy]
A good prefix name to use for an OCaml variable of this type.
varname [Datatype.Undefined]
varname [Datatype]

Z
zones_used_tag [Dpds_gui]