Index of values


_pretty_internal [Derefs]

A
add [State_builder.Hashtbl]
Add a new binding.
add_hooks [Operational_inputs.Callwise]

B
bottom [Inout_type]
bottom [Operational_inputs.Computer]
bottom [Operational_inputs]

C
call_for_callwise_inout [Operational_inputs.Callwise]
call_inout_stack [Operational_inputs.Callwise]
call_stack [Operational_inputs.FunctionWise]
catenate [Operational_inputs]
clear [State_builder.Ref]
Reset the reference to its default value.
clear [State_builder.Hashtbl]
Clear the table.
compute [Access_path]
compute_call_from_value_states [Operational_inputs.Callwise]
compute_callwise [Operational_inputs.Callwise]
compute_external [Derefs]
compute_external [Inputs]
compute_external [Operational_inputs]
compute_external_with_formals [Operational_inputs]
compute_externals_using_prototype [Operational_inputs]
compute_internal_using_cfg [Operational_inputs.FunctionWise]
compute_using_prototype [Operational_inputs]
compute_using_prototype_state [Operational_inputs]

E
empty [Operational_inputs]
end_dataflow [Operational_inputs.Computer]
end_record [Operational_inputs.Callwise]
equal [Operational_inputs]
eval_assigns [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]
externalize_zone [Operational_inputs]

F
filter [Access_path]
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]
fold_sorted [State_builder.Hashtbl]

G
get [State_builder.Ref]
Get the referenced value.
get_external [Derefs]
get_external [Inputs]
get_external [Outputs]
get_external [Operational_inputs]
get_external_aux [Operational_inputs]
get_external_with_formals [Operational_inputs]
get_internal [Derefs]
get_internal [Inputs]
get_internal [Outputs]
get_internal [Operational_inputs]
get_internal_aux [Operational_inputs]
get_with_formals [Inputs]

I
init [Operational_inputs.Computer]
is_included [Operational_inputs.Computer]
is_included [Operational_inputs]
iter [State_builder.Hashtbl]
iter_sorted [State_builder.Hashtbl]

J
join [Inout_type]
join [Operational_inputs.Computer]
join [Operational_inputs]
join_and_is_included [Operational_inputs.Computer]
join_and_is_included [Operational_inputs]

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

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

M
main [Register]
main [Access_path]
map [Inout_type]
mem [State_builder.Hashtbl]
memo [State_builder.Hashtbl]
Memoization.
merge_call_in_global_tables [Operational_inputs.Callwise]
merge_call_in_local_table [Operational_inputs.Callwise]
merge_local_table_in_global_ones [Operational_inputs.Callwise]

N
non_terminating_callees_inputs [Operational_inputs.Computer]
non_terminating_callees_outputs [Operational_inputs.Computer]

P
pretty [Access_path]
pretty [Operational_inputs.Computer]
pretty_external [Derefs]
pretty_external [Inputs]
pretty_external [Outputs]
pretty_internal [Outputs]
pretty_operational_inputs [Inout_type]
Pretty-print the fields over_inputs_if_termination, over_inputs and under_outputs_if_termination
pretty_operational_inputs_aux [Inout_type]
pretty_operational_inputs_external [Operational_inputs]
pretty_operational_inputs_external_with_formals [Operational_inputs]
pretty_operational_inputs_internal [Operational_inputs]
pretty_outputs [Inout_type]
Pretty-print the fields over_outputs and over_outputs_if_termination.
pretty_outputs_aux [Inout_type]
pretty_with_formals [Inputs]

R
raw_externals [Operational_inputs]
reciprocal_image [Access_path]
reciprocal_image_offsm [Access_path]
reciprocal_image b m is the set of bits in the offsetmap m that may lead to Top(b) and the set of offsets in m where one can read an address b+_
record_for_callwise_inout [Operational_inputs.Callwise]
remove [State_builder.Hashtbl]
replace [State_builder.Hashtbl]
Add a new binding.
return_data [Operational_inputs.Computer]

S
set [State_builder.Ref]
Change the referenced value.
specialize_state_on_call [Cumulative_analysis]
If the given statement is a call to the given function, enrich the superposed memory state at this statement with the formal arguments of this function.
statement [Cumulative_analysis.Make]
Effects of a statement, using memoization if it contains a function call

T
top [Operational_inputs]
transfer_exp [Operational_inputs.Computer]
transfer_guard [Operational_inputs.Computer]
transfer_instr [Operational_inputs.Computer]
transfer_stmt [Operational_inputs.Computer]

W
wrap_vbox [Inout_type]