Index of values


A
accept_base_in_lmap [From_register.Recording_Sig]
accept_base_in_lmap [From_register.Recording_To_Do]
access_expr [From_register.Values_To_Use_Sig]
access_expr [From_register.Value_local]
add [Dataflow.StmtStartData]
add [State_builder.Hashtbl]
Add a new binding.

C
cached_substitute [From_register.Make.Computer]
call_for_individual_froms [From_register]
call_froms_stack [From_register]
call_stack [From_register.Make]
callwise_states_with_formals [From_register.Make.Computer]
check_pathdeps [From_register]
clear [Dataflow.StmtStartData]
clear [State_builder.Hashtbl]
Clear the table.
combinePredecessors [From_register.Make.Computer]
compute [From_register.Make]
computeFirstPredecessor [From_register.Make.Computer]
compute_and_return [From_register.Make]
compute_using_cfg [From_register.Make]
compute_using_prototype [From_register.Make]
compute_using_prototype_for_state [From_register.Make]
copy [From_register.Make.Computer]

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

E
eliminate_additional [From_register.Make.Computer]
empty_from [From_register.Make.Computer]
expr_to_kernel_function [From_register.Values_To_Use_Sig]
expr_to_kernel_function [From_register.Value_local]
externalize [From_register.Make.Computer]

F
filterStmt [From_register.Make.Computer]
final_cleanup [From_register.Recording_Sig]
final_cleanup [From_register.Recording_To_Do]
find [Dataflow.StmtStartData]
find [State_builder.Hashtbl]
Return the current binding of the given key.
find_all [State_builder.Hashtbl]
Return the list of all data associated with the given key.
find_available [From_register]
find_deps [From_register.Make]
find_deps_lval_no_transitivity [From_register.Make]
find_deps_no_transitivity [From_register.Make]
find_deps_offset_no_transitivity [From_register.Make]
fold [State_builder.Hashtbl]
force_compute [From_register]
force_compute_all [From_register]
force_compute_all_calldeps [From_register]

G
get [From_register.Froms_To_Use_Sig]
get [From_register.Functionwise_From_to_use]
get_stmt_state [From_register.Values_To_Use_Sig]
get_stmt_state [From_register.Value_local]

I
iter [Dataflow.StmtStartData]
iter [State_builder.Hashtbl]

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

M
main [From_register_gui]
main [From_register]
mem [Dataflow.StmtStartData]
mem [State_builder.Hashtbl]
memo [From_register.Functionwise_From_to_use]
memo [State_builder.Hashtbl]
Memoization.
merge_call_froms [From_register]

N
name [From_register.Make.Computer]

P
pretty [From_register.Make.Computer]

R
record_callwise_dependencies_in_db [From_register]
record_for_individual_froms [From_register]
record_kf [From_register.Recording_Sig]
record_kf [From_register.Recording_To_Do]
remove [State_builder.Hashtbl]
replace [Dataflow.StmtStartData]
replace [State_builder.Hashtbl]
Add a new binding.
resolv_func_vinfo [From_register.Make.Computer]

S
stmt_can_reach [From_register.Make.Computer]