Module Inout

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.