package frama-c

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Context : sig ... end
module Cumulative_analysis : sig ... end

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.

module Derefs : sig ... end
module Inout_parameters : sig ... end
module Inputs : sig ... end
module Operational_inputs : sig ... end
module Outputs : sig ... end
module Register : sig ... end

Register the plugin in the Frama-C kernel. Nothing is exported.

OCaml

Innovation. Community. Security.