package frama-c

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module InoutSource

Sourcemodule Context : sig ... end
Sourcemodule 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.

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

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

OCaml

Innovation. Community. Security.