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).
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 fold_implicit_initializer : Cil_types.typ -> bool
typ
be folded? False for big arrays
to avoid a performance issue.val specialize_state_on_call : ?stmt:Cil_types.stmt -> Cil_types.kernel_function -> Db.Value.state
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
Type of the results
module T:Datatype.S
with type t = t
class virtual do_it :[t]
Cumulative_analysis.cumulative_class
Class that implements the analysis.end
) ->
sig
..end