Index of values


A
accept_base_in_lmap [Functionwise.Recording_To_Do]
accept_base_in_lmap [From_compute.Recording_Sig]
access_expr [Functionwise.Value_local]
access_expr [From_compute.Values_To_Use_Sig]
access_from [From_register]
add [Map.S]
add x y m returns a map containing the same bindings as m, plus a binding of x to y.
add [State_builder.Hashtbl]
Add a new binding.
add [Dataflow.StmtStartData]

B
bindings [Map.S]
Return the list of all bindings of the given map.
bottom_from [From_compute.Make.Computer]

C
cached_substitute [From_compute.Make.Computer]
call_for_individual_froms [Callwise]
call_froms_stack [Callwise]
call_stack [From_compute.Make]
callwise_states_with_formals [From_compute.Make.Computer]
cardinal [Map.S]
Return the number of bindings of a map.
choose [Map.S]
Return one binding of the given map, or raise Not_found if the map is empty.
clear [State_builder.Hashtbl]
Clear the table.
clear [Dataflow.StmtStartData]
combinePredecessors [From_compute.Make.Computer]
compare [Map.S]
Total ordering between maps.
compare [From_register.SortCalls]
compute [From_compute.Make]
computeFirstPredecessor [From_compute.Make.Computer]
compute_and_return [From_compute.Make]
Compute the dependencies of the given function, and return them
compute_call_from_value_states [Callwise]
compute_memdeps [Mem_dependencies]
compute_pathdeps [Path_dependencies]
compute_using_cfg [From_compute.Make]
compute_using_prototype [From_compute.Make]
compute_using_prototype_for_state [From_compute]
Function that compute the Froms from a given prototype, called in the given state
copy [From_compute.Make.Computer]

D
debug [From_compute.Make.Computer]
display [From_register]
display_aux [From_register]
display_one_from [From_compute.Make.Computer]
doEdge [From_compute.Make.Computer]
doGuard [From_compute.Make.Computer]
doInstr [From_compute.Make.Computer]
doStmt [From_compute.Make.Computer]

E
eliminate_additional [From_compute.Make.Computer]
empty [Map.S]
The empty map.
empty_from [From_compute.Make.Computer]
end_record [Callwise]
equal [Map.S]
equal cmp m1 m2 tests whether the maps m1 and m2 are equal, that is, contain equal keys and associate them with equal data.
exists [Map.S]
exists p m checks if at least one binding of the map satisfy the predicate p.
expr_to_kernel_function [Functionwise.Value_local]
expr_to_kernel_function [From_compute.Values_To_Use_Sig]
externalize [From_compute.Make.Computer]

F
filter [Map.S]
filter p m returns the map with all the bindings in m that satisfy predicate p.
filterStmt [From_compute.Make.Computer]
final_cleanup [Functionwise.Recording_To_Do]
final_cleanup [From_compute.Recording_Sig]
find [Map.S]
find x m returns the current binding of x in m, or raises Not_found if no such binding exists.
find [State_builder.Hashtbl]
Return the current binding of the given key.
find [Dataflow.StmtStartData]
find_all [State_builder.Hashtbl]
Return the list of all data associated with the given key.
find_deps [From_compute.Make]
Computation of the dependencies on an expression, but recursive dependencies are resolved using the value of type Lmap_bitwise.From_Model.t.
find_deps_lval_no_transitivity [From_compute]
find_deps_no_transitivity [From_compute]
Direct computation of the dependencies on expressions, offsets and lvals.
find_deps_offset_no_transitivity [From_compute]
fold [Map.S]
fold f m a computes (f kN dN ... (f k1 d1 a)...), where k1 ... kN are the keys of all bindings in m (in increasing order), and d1 ... dN are the associated data.
fold [State_builder.Hashtbl]
fold_sorted [State_builder.Hashtbl]
for_all [Map.S]
for_all p m checks if all the bindings of the map satisfy the predicate p.
force_compute [Functionwise]
force_compute_all [Functionwise]
force_compute_all_calldeps [Callwise]

G
get [Functionwise.Functionwise_From_to_use]
get [From_compute.Froms_To_Use_Sig]
get_stmt_state [Functionwise.Value_local]
get_stmt_state [From_compute.Values_To_Use_Sig]

I
is_empty [Map.S]
Test whether a map is empty or not.
iter [Map.S]
iter f m applies f to all bindings in map m.
iter [State_builder.Hashtbl]
iter [Dataflow.StmtStartData]
iter_callwise_calls_sorted [From_register]
iter_sorted [State_builder.Hashtbl]

L
length [State_builder.Hashtbl]
Length of the table.
length [Dataflow.StmtStartData]
lval_to_loc_with_deps [Functionwise.Value_local]
lval_to_loc_with_deps [From_compute.Values_To_Use_Sig]

M
main [From_register_gui]
main [From_register]
map [Map.S]
map f m returns a map with same domain as m, where the associated value a of all bindings of m has been replaced by the result of the application of f to a.
mapi [Map.S]
Same as Map.S.map, but the function receives as arguments both the key and the associated value for each binding of the map.
max_binding [Map.S]
Same as Map.S.min_binding, but returns the largest binding of the given map.
mem [Map.S]
mem x m returns true if m contains a binding for x, and false otherwise.
mem [State_builder.Hashtbl]
mem [Dataflow.StmtStartData]
memo [Functionwise.Functionwise_From_to_use]
memo [State_builder.Hashtbl]
Memoization.
merge [Map.S]
merge f m1 m2 computes a map whose keys is a subset of keys of m1 and of m2.
merge_call_froms [Callwise]
min_binding [Map.S]
Return the smallest binding of the given map (with respect to the Ord.compare ordering), or raise Not_found if the map is empty.

N
name [From_compute.Make.Computer]

P
partition [Map.S]
partition p m returns a pair of maps (m1, m2), where m1 contains all the bindings of s that satisfy the predicate p, and m2 is the map with all the bindings of s that do not satisfy p.
pretty [From_compute.Make.Computer]

R
record_callwise_dependencies_in_db [Callwise]
record_for_individual_froms [Callwise]
record_kf [Functionwise.Recording_To_Do]
record_kf [From_compute.Recording_Sig]
remove [Map.S]
remove x m returns a map containing the same bindings as m, except for x which is unbound in the returned map.
remove [State_builder.Hashtbl]
replace [State_builder.Hashtbl]
Add a new binding.
replace [Dataflow.StmtStartData]
resolv_func_vinfo [From_compute.Make.Computer]

S
singleton [Map.S]
singleton x y returns the one-element map that contains a binding y for x.
split [Map.S]
split x m returns a triple (l, data, r), where l is the map with all the bindings of m whose key is strictly less than x; r is the map with all the bindings of m whose key is strictly greater than x; data is None if m contains no binding for x, or Some v if m binds v to x.
stmt_can_reach [From_compute.Make.Computer]

U
update_from [From_register]