package frama-c

  1. Overview
  2. Docs

Parameter Make.X

val analysis_name : string
type t

Type of the results

module T : Frama_c_kernel.Datatype.S with type t = t
class virtual do_it : t cumulative_class

Class that implements the analysis. Must not deal with memoization, as this is automatically done by the functor