Make.do_it_cachedClass 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
inherit X.do_itmethod cycle : Frama_c_kernel.Kernel_function.Hptset.tInternal 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 : Frama_c_kernel.Cil_types.kernel_function -> X.tMemoized version of the analysis of a kernel-function