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