Index of values


A
add [Dataflow.StmtStartData]
add [State_builder.Hashtbl]
Add a new binding.

B
bottom [Operational_inputs]

C
call_stack [Operational_inputs]
catenate [Operational_inputs]
clear [Dataflow.StmtStartData]
clear [State_builder.Hashtbl]
Clear the table.
combinePredecessors [Operational_inputs.Computer]
compute [Access_path]
computeFirstPredecessor [Operational_inputs.Computer]
compute_external [Derefs]
compute_external [Inputs]
compute_external [Operational_inputs]
compute_external_with_formals [Operational_inputs]
compute_internal_using_cfg [Operational_inputs]
compute_internal_using_prototype [Operational_inputs]
copy [Operational_inputs.Computer]
current_stmt [Operational_inputs.Computer]

D
debug [Operational_inputs.Computer]
display [Operational_inputs.Computer]
display_one [Operational_inputs.Computer]
doEdge [Operational_inputs.Computer]
doGuard [Operational_inputs.Computer]
doInstr [Operational_inputs.Computer]
doStmt [Operational_inputs.Computer]

E
empty [Operational_inputs]
expr [Cumulative_analysis.Make]
Effects of the given expression (wich is supposed to be at the given statement
externalize [Derefs]
externalize [Outputs]
externalize [Operational_inputs]

F
filter [Access_path]
filterStmt [Operational_inputs.Computer]
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.
fold [State_builder.Hashtbl]

G
get_external [Derefs]
get_external [Outputs]
get_external [Inputs]
get_external [Operational_inputs]
get_external_with_formals [Operational_inputs]
get_internal [Derefs]
get_internal [Outputs]
get_internal [Inputs]
get_internal [Operational_inputs]
get_using_prototype [Operational_inputs]
get_with_formals [Inputs]

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

J
join [Operational_inputs]

K
kernel_function [Cumulative_analysis.Make]
Effects of the given kernel_function, using memoization

L
length [Dataflow.StmtStartData]
length [State_builder.Hashtbl]
Length of the table.

M
main [Register]
main [Access_path]
mem [Dataflow.StmtStartData]
mem [State_builder.Hashtbl]
memo [State_builder.Hashtbl]
Memoization.
memo [Kf_state.S]
memo [Kf_state.Build]

N
name [Operational_inputs.Computer]
non_terminating_callees_inputs [Operational_inputs.Computer]

P
pretty [Access_path]
pretty [Operational_inputs.Computer]
pretty [Operational_inputs]
pretty_external [Derefs]
pretty_external [Outputs]
pretty_external [Inputs]
pretty_external [Operational_inputs]
pretty_external_with_formals [Operational_inputs]
pretty_internal [Derefs]
pretty_internal [Outputs]
pretty_internal [Operational_inputs]
pretty_with_formals [Inputs]

R
raw_get_external [Operational_inputs]
remove [State_builder.Hashtbl]
remove_locals_keep_formals [Inputs]
replace [Dataflow.StmtStartData]
replace [State_builder.Hashtbl]
Add a new binding.
resolv_func_vinfo [Operational_inputs.Computer]

S
self [Kf_state.S]
statement [Cumulative_analysis.Make]
Effects of a statement, using memoization if it contains a function call
stmt_can_reach [Operational_inputs.Computer]