Class Cumulative_analysis.Make.do_it_cached

class do_it_cached : Kernel_function.t list -> object .. end

Class that implements a cached version of the above analysis. Recursion in the dynamic call graphs are handled, provided the value analysis terminated without detecting a real recursion

Inherits
method cycle : Kernel_function.Hptset.t

Internal methods that gives the functions for which a cycle has been detected in the dynamic call-graph. Results cannot be safely memoized if this set is not empty

method compute_kf : Cil_types.kernel_function -> X.t

Memoized version of the analysis of a kernel-function