module Cumulative_analysis:Implementation of a simple meta-analysis on top of the results of the value analysis. This implementation correctly handles memoization and apparent recursive calls during the value analysis.sig
..end
The underlying analysis is supposed to be cumulative at the level
of a kernel_function (its results are derived from the results on
all its statements), and mostly non-contextual (all the informations
can be gathered using a Cil visitor).
class virtual['a]
cumulative_visitor :object
..end
class type virtual['a]
cumulative_class =object
..end
module Make:functor (
X
:
sig
val analysis_name :string
type
t
module T:Datatype.S
with type t = t
class virtual do_it :[t]
cumulative_class
end
) ->
sig
..end