Module `Core`

module C2Codex : sig ... end

module CodexPlugin : sig ... end

module Codex_options : sig ... end

This file registers in the Frama-C kernel the options for Frama-C/Codex. If needed, see the Frama-C plugin development guide for a description.

module Codex_register : sig ... end

This file contains run, the entry point to the Frama-C/Codex plugin.

module Direct_analysis : sig ... end

module Exp_dump : sig ... end

module Frama_c_alarms : sig ... end

module Globals_needed : sig ... end

module Interpreted_automata_regexp : sig ... end

module Post_analysis : sig ... end

module Printhtml : sig ... end

module Printhtml2 : sig ... end

module Region_analysis_stmt : sig ... end

module Varinfo_Enclosing_Function : sig ... end

Module Core