B | |
bottom [Cumulative_analysis.cumulative_class] | |
C | |
clean_kf_result [Cumulative_analysis.cumulative_class] | Assuming |
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. |