module Cumulative_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).
val specialize_state_on_call : ?stmt:Cil_types.stmt -> Cil_types.kernel_function -> Cvalue.Model.t
class virtual 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