Up
Index of class methods
A
add_cycle
[
Cumulative_analysis.Make.do_it_cached
]
B
bottom
[
Derefs.do_it_
]
bottom
[
Inputs.do_it_
]
bottom
[
Outputs.do_it_
]
bottom
[
Cumulative_analysis.cumulative_class
]
C
clean_kf_result
[
Derefs.do_it_
]
clean_kf_result
[
Inputs.do_it_
]
clean_kf_result
[
Outputs.do_it_
]
clean_kf_result
[
Cumulative_analysis.cumulative_class
]
Assuming
v
are the results of the analysis for
f
(ie.
compute_funspec
[
Derefs.do_it_
]
compute_funspec
[
Inputs.do_it_
]
compute_funspec
[
Outputs.do_it_
]
compute_funspec
[
Cumulative_analysis.cumulative_class
]
Function that computes and returns the partial results on a funspec.
compute_kf
[
Cumulative_analysis.cumulative_visitor
]
Virtual function to use when one needs to compute the effect of a function call.
compute_kf
[
Cumulative_analysis.Make.do_it_cached
]
Memoized version of the analysis of a kernel-function
compute_kf_with_def
[
Cumulative_analysis.Make.do_it_cached
]
compute_kf_with_spec_generic
[
Cumulative_analysis.Make.do_it_cached
]
cycle
[
Cumulative_analysis.Make.do_it_cached
]
Internal methods that gives the functions for which a cycle has been detected in the dynamic call-graph.
D
do_assign
[
Inputs.do_it_
]
do_assign
[
Outputs.do_it_
]
J
join
[
Derefs.do_it_
]
join
[
Inputs.do_it_
]
join
[
Outputs.do_it_
]
join
[
Cumulative_analysis.cumulative_class
]
R
result
[
Derefs.do_it_
]
result
[
Inputs.do_it_
]
result
[
Outputs.do_it_
]
result
[
Cumulative_analysis.cumulative_class
]
Result of the analysis
S
specialize_state_on_call
[
Cumulative_analysis.cumulative_visitor
]
If the current statement is a call to the given function, enrich the superposed memory state at this statement with the formal arguments of this function.
V
vexpr
[
Inputs.do_it_
]
vinst
[
Inputs.do_it_
]
vinst
[
Outputs.do_it_
]
vlval
[
Derefs.do_it_
]
vlval
[
Inputs.do_it_
]
vstmt_aux
[
Inputs.do_it_
]
vstmt_aux
[
Outputs.do_it_
]