Index of values


_pp_list_node_underout [Defs]
_pp_set [Defs]
_pretty [Zones.Ctx]

A
add [State_builder.List_ref]
add [Datatype.Sub_caml_weak_hashtbl]
add [State_builder.Hashtbl]
Add a new binding.
add [Zones.Computer.StmtStartData]
add [Zones.Ctx]
add [Datascope.GenStates]
add [Datascope.StmtSetLattice]
add_annot [Datascope]
add annot to acc if it is not already in.
add_binding [Lmap_bitwise.Location_map_bitwise]
add_callee_nodes [Defs]
The nodes nodes define the searched location z.
add_caller_nodes [Defs]
kf doesn't define all the data that we are looking for: the undef zone must have been defined in its caller, let's find it.
add_iset [Lmap_bitwise.Location_map_bitwise.LOffset]
add_item [Dpds_gui]
To add a sensitive/unsensitive menu item to a factory.
add_list_to_set [Defs]
add_msg [Dpds_gui]
add_s [Datascope]
add_tag [Dpds_gui]
add_used_stmt [Zones.Computer]
add_zone [Datascope.InitSid]
array [Datatype]
ask_for_lval [Dpds_gui]

B
backward_data_scope [Datascope]
big_int [Datatype]
bool [Datatype]
bottom [Zones.Data]
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 some assertions before s are identical to pred.
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 [Zones.Computer.StmtStartData]
clear [Datascope.GenStates]
clear_caches [Lmap_bitwise.Location_map_bitwise]
Clear the caches local to this module.
collapse [Lmap_bitwise.Location_map_bitwise.LOffset]
combineStmtStartData [Zones.Computer]
combineStmtStartData [Datascope.BackwardScope]
combineSuccessors [Zones.Computer]
combineSuccessors [Datascope.BackwardScope]
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 [Defs]
compute [Zones]
compute [Datascope]
compute the mapping for the function
compute_aux [Defs]
compute_ctrl_info [Zones]
compute_new_data [Zones]
compute_with_def_type [Defs]
copy [Datatype.Make_input]
copy [Datatype.Undefined]
copy [Datatype]
copy [Datatype.S]
Deep copy: no possible sharing between x and copy x.
copy_paste [Lmap_bitwise.Location_map_bitwise]
This function takes a function f to be applied to each bit of the read slice.
create [Datatype.Sub_caml_weak_hashtbl]
create [Zones.Ctx]

D
debug [Zones.Computer]
debug [Datascope.BackwardScope]
debug1 [Defs]
debug1 [Zones]
debug2 [Zones]
default [Datascope.StmtSetLattice]
default [Datascope.StmtDefault]
default_icon [Dpds_gui]
default_icon_name [Dpds_gui]
defaultall [Datascope.StmtSetLattice]
degenerate [Lmap_bitwise.Location_map_bitwise.LOffset]
descr [Datatype.S_no_copy]
Datatype descriptor.
diff [Zones.Data]
doInstr [Zones.Computer]
doInstr [Datascope.BackwardScope]
doStmt [Zones.Computer]
doStmt [Datascope.BackwardScope]

E
empty [Lmap_bitwise.Location_map_bitwise.LOffset]
empty [Lmap_bitwise.Location_map_bitwise]
empty [Datascope.InitSid]
empty [Datascope.StmtSetLattice]
empty_tag [Dpds_gui]
equal [Datatype.Make_input]
equal [Datatype.S_no_copy]
Equality: same spec than Pervasives.(=).
equal [Datatype.Undefined]
equal [Datatype]
equal [Zones.Data]
equal [Datascope.State]
exp_zone [Zones.Data]

F
f_check_asserts [Datascope]
filetree_decorate [Dpds_gui]
filterStmt [Zones.Computer]
filterStmt [Datascope.BackwardScope]
filter_base [Lmap_bitwise.Location_map_bitwise]
find [State_builder.Hashtbl]
Return the current binding of the given key.
find [Zones.Computer.StmtStartData]
find [Zones.Ctx]
find [Datascope.GenStates]
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_base [Lmap_bitwise.Location_map_bitwise]
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 [Datascope.GenStates]
fold [Lmap_bitwise.Location_map_bitwise.LOffset]
fold [Lmap_bitwise.Location_map_bitwise]
fold f m folds a function f on bindings in m.
fold_base [Lmap_bitwise.Location_map_bitwise]
fold_fuse_same [Lmap_bitwise.Location_map_bitwise.LOffset]
fold_fuse_same [Lmap_bitwise.Location_map_bitwise]
Same behavior as fold, except if two disjoint ranges r1 and r2 of a given base are mapped to the same value and boolean.
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]
funcExitData [Zones.Computer]
funcExitData [Datascope.BackwardScope]

G
get [Zones]
get_and_reset_used_stmts [Zones.Computer]
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_stmt_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 than in stmt and add to to_be_removed the annotations that are identical to annot in the statements that are both the scope and that are 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.
info [Datatype]
int [Datatype]
int32 [Datatype]
int64 [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]
intersects [Zones.Data]
is_bottom [Lmap_bitwise.Location_map_bitwise]
is_empty [Lmap_bitwise.Location_map_bitwise.LOffset]
is_empty [Lmap_bitwise.Location_map_bitwise]
is_included [Datascope.State]
iter [State_builder.List_ref]
iter [State_builder.Hashtbl]
iter [Zones.Computer.StmtStartData]
iter [Datascope.GenStates]
iter_sorted [State_builder.Hashtbl]

J
join [Datascope.State]
join [Lmap_bitwise.Location_map_bitwise.LOffset]
join_and_is_included [Datascope.State]

L
length [State_builder.Hashtbl]
Length of the table.
length [Zones.Computer.StmtStartData]
length [Datascope.GenStates]
list [Datatype]

M
main [Dpds_gui]
make_type [Datatype.Hashtbl]
map [State_builder.Option_ref]
map [Lmap_bitwise.Location_map_bitwise.LOffset]
map2 [Lmap_bitwise.Location_map_bitwise]
like for fold, the boolean in bool * y indicates if it is possible that the zone was not modified
map_and_merge [Lmap_bitwise.Location_map_bitwise]
map_and_merge f m1 m2 maps f on values in m1 and add_exact all elements of the mapped m1 to m2
may [State_builder.Option_ref]
mem [State_builder.Hashtbl]
mem [Zones.Computer.StmtStartData]
mem [Datascope.GenStates]
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 [Zones.Data]
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 [Zones.Computer]
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 [Zones.Computer]
pretty [Zones.Data]
pretty [Zones]
pretty [Datascope.BackwardScope]
pretty [Datascope.GenStates]
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_with_type [Lmap_bitwise.Location_map_bitwise.LOffset]
pretty_zone [Dpds_gui]
process_call [Zones]
process_call_args [Zones]
process_call_res [Zones]
process_froms [Zones]
process_one_call [Zones]

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]
replace [State_builder.Hashtbl]
Add a new binding.
replace [Zones.Computer.StmtStartData]
replace [Datascope.GenStates]
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]
Remove 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]
show_def_direct_tag [Dpds_gui]
show_def_indirect_tag [Dpds_gui]
single [Datascope.StmtSetLattice]
states [Datascope.GenStates]
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]
triple [Datatype]
ty [Datatype.Ty]

U
undefined [Datatype]
Must be used if you don't want to implement a required function.
uninitialize [Lmap_bitwise.Location_map_bitwise]
binds the given variables to bottom, keeps the other unchanged.
unit [Datatype]
update_column [Dpds_gui]
used_stmts [Zones.Computer]

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]