Index of class methods

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]

Adding partial results to the current ones

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.