Index of values
A
add
[
Dataflow.StmtStartData
]
C
call_stack
[
Outputs
]
call_stack
[
Inputs
]
call_stack
[
Derefs
]
call_stack
[
Context
]
clear
[
Dataflow.StmtStartData
]
combinePredecessors
[
Context.Computer
]
compute
[
Access_path
]
computeFirstPredecessor
[
Context.Computer
]
compute_external
[
Inputs
]
compute_external
[
Derefs
]
compute_external
[
Context
]
compute_internal_using_cfg
[
Context
]
compute_internal_using_prototype
[
Context
]
copy
[
Context.Computer
]
current_stmt
[
Context.Computer
]
D
debug
[
Context.Computer
]
dependencies
[
Kf_state.INFO
]
Additional dependencies of the built state.
display
[
Context.Computer
]
display_one
[
Context.Computer
]
doEdge
[
Context.Computer
]
doGuard
[
Context.Computer
]
doInstr
[
Context.Computer
]
doStmt
[
Context.Computer
]
E
empty
[
Context
]
expr
[
Inputs
]
externalize
[
Outputs
]
externalize
[
Inputs
]
externalize
[
Derefs
]
externalize
[
Context
]
F
filter
[
Access_path
]
filterStmt
[
Context.Computer
]
find
[
Dataflow.StmtStartData
]
G
get_external
[
Outputs
]
get_external
[
Inputs
]
get_external
[
Derefs
]
get_external
[
Context
]
get_external_using_prototype
[
Context
]
get_internal
[
Outputs
]
get_internal
[
Inputs
]
get_internal
[
Derefs
]
get_internal
[
Context
]
get_using_prototype
[
Context
]
get_with_formals
[
Inputs
]
I
iter
[
Dataflow.StmtStartData
]
L
length
[
Dataflow.StmtStartData
]
M
main
[
Register
]
main
[
Access_path
]
mem
[
Dataflow.StmtStartData
]
memo
[
Kf_state.S
]
memo
[
Kf_state.Build
]
N
name
[
Kf_state.INFO
]
name
[
Context.Computer
]
non_terminating
[
Context
]
P
pretty
[
Context.Computer
]
pretty
[
Access_path
]
pretty_external
[
Outputs
]
pretty_external
[
Inputs
]
pretty_external
[
Derefs
]
pretty_external
[
Context
]
pretty_internal
[
Outputs
]
pretty_internal
[
Derefs
]
pretty_internal
[
Context
]
pretty_with_formals
[
Inputs
]
R
remove_locals_keep_formals
[
Inputs
]
replace
[
Dataflow.StmtStartData
]
resolv_func_vinfo
[
Context.Computer
]
S
self
[
Kf_state.S
]
statement
[
Outputs
]
statement
[
Inputs
]
statement
[
Derefs
]
stmt_can_reach
[
Context.Computer
]
U
under_inputs_termination_no_depend
[
Context.Computer
]