Module Cumulative_analysis.MakeSource

Module that contains the memoized results

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

Effects of the given kernel_function, using memoization

Effects of a statement, using memoization if it contains a function call

Effects of the given expression (which is supposed to be at the given statement