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
]