|
_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] |
|