Index of values


A
access_expr [From_register.Values_To_Use_Sig]
add [Dataflow.StmtStartData]
add [Computation.HASHTBL_OUTPUT]
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]
clear [Dataflow.StmtStartData]
clear [Computation.HASHTBL_OUTPUT]
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]
current_stmt [From_register.Make.Computer]

D
debug [From_register.Make.Computer]
display [From_register]
display_from [From_register.Make.Computer]
display_one_from [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]
externalize [From_register.Make.Computer]

F
filterStmt [From_register.Make.Computer]
find [Dataflow.StmtStartData]
find [Computation.HASHTBL_OUTPUT]
Return the current binding of the given key.
find_all [Computation.HASHTBL_OUTPUT]
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 [Computation.HASHTBL_OUTPUT]
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_state [From_register.Values_To_Use_Sig]

I
iter [Dataflow.StmtStartData]
iter [Computation.HASHTBL_OUTPUT]

L
length [Computation.HASHTBL_OUTPUT]
Length of the table.
lval_to_loc_with_deps [From_register.Values_To_Use_Sig]

M
main [From_register_gui]
main [From_register]
mem [Dataflow.StmtStartData]
mem [Computation.HASHTBL_OUTPUT]
memo [From_register.Functionwise_From_to_use]
memo [Computation.HASHTBL_OUTPUT]
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 [Computation.HASHTBL_OUTPUT]
replace [Dataflow.StmtStartData]
replace [Computation.HASHTBL_OUTPUT]
Add a new binding.
resolv_func_vinfo [From_register.Make.Computer]

S
stmt_can_reach [From_register.Make.Computer]

U
unsafe_find [Computation.HASHTBL_OUTPUT]
Unsafe version of find.