B | |
| bottom [Cumulative_analysis.cumulative_class] | |
C | |
| clean_kf_result [Cumulative_analysis.cumulative_class] |
Assuming
v are the results of the analysis for f (ie.
|
| 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
|
| 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.
|
J | |
| join [Cumulative_analysis.cumulative_class] | |
R | |
| 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.
|