module Kernel: sig
.. end
Log Machinery
include Plugin.S
module PrintConfig: Parameter_sig.Bool
Behavior of option "-print-config"
module PrintVersion: Parameter_sig.Bool
Behavior of option "-print-version"
module PrintShare: Parameter_sig.Bool
Behavior of option "-print-share-path"
module PrintLib: Parameter_sig.Bool
Behavior of option "-print-lib-path"
module PrintPluginPath: Parameter_sig.Bool
Behavior of option "-print-plugin-path"
Output Messages
module GeneralVerbose: Parameter_sig.Int
Behavior of option "-verbose"
module GeneralDebug: Parameter_sig.Int
Behavior of option "-debug"
module Quiet: Parameter_sig.Bool
Behavior of option "-quiet"
module Unicode: sig
.. end
Behavior of option "-unicode".
module UseUnicode: Parameter_sig.Bool
Behavior of option "-unicode"
module Time: Parameter_sig.String
Behavior of option "-time"
module PrintCode: Parameter_sig.Bool
Behavior of option "-print"
module PrintComments: Parameter_sig.Bool
Behavior of option "-keep-comments"
module CodeOutput: sig
.. end
Behavior of option "-ocode".
module SymbolicPath: Parameter_sig.String_set
Behavior of option "-add-symbolic-path"
module FloatNormal: Parameter_sig.Bool
Behavior of option "-float-normal"
module FloatRelative: Parameter_sig.Bool
Behavior of option "-float-relative"
module FloatHex: Parameter_sig.Bool
Behavior of option "-float-hex"
module BigIntsHex: Parameter_sig.Int
Behavior of option "-hexadecimal-big-integers"
Save/Load
module SaveState: Parameter_sig.String
Behavior of option "-save"
module LoadState: Parameter_sig.String
Behavior of option "-load"
module LoadModule: Parameter_sig.String_list
Behavior of option "-load-module"
module Journal: sig
.. end
Kernel for journalization.
module Session_dir: Parameter_sig.String
Directory in which session files are searched.
module Config_dir: Parameter_sig.String
Directory in which config files are searched.
module Set_project_as_default: Parameter_sig.Bool
Undocumented.
Customizing Normalization and parsing
module UnrollingLevel: Parameter_sig.Int
Behavior of option "-ulevel"
module UnrollingForce: Parameter_sig.Bool
Behavior of option "-ulevel-force"
module Machdep: Parameter_sig.String
Behavior of option "-machdep".
module Enums: Parameter_sig.String
Behavior of option "-enums"
module CppCommand: Parameter_sig.String
Behavior of option "-cpp-command"
module CppExtraArgs: Parameter_sig.String_list
Behavior of option "-cpp-extra-args"
module CppGnuLike: Parameter_sig.Bool
Behavior of option "-cpp-gnu-like"
module FramaCStdLib: Parameter_sig.Bool
Behavior of option "-frama-c-stdlib"
module CustomAnnot: Parameter_sig.String
Behavior of option "-custom-annot-char".
module ReadAnnot: Parameter_sig.Bool
Behavior of option "-read-annot"
module PreprocessAnnot: Parameter_sig.Bool
Behavior of option "-pp-annot"
module ContinueOnAnnotError: Parameter_sig.Bool
Behavior of option "-continue-annot-error"
module SimplifyCfg: Parameter_sig.Bool
Behavior of option "-simplify-cfg"
module KeepSwitch: Parameter_sig.Bool
Behavior of option "-keep-switch"
module Keep_unused_specified_functions: Parameter_sig.Bool
Behavior of option "-keep-unused-specified-function".
module SimplifyTrivialLoops: Parameter_sig.Bool
Behavior of option "-simplify-trivial-loops".
module Constfold: Parameter_sig.Bool
Behavior of option "-constfold"
module InitializedPaddingLocals: Parameter_sig.Bool
Behavior of option "-initialized-padding-locals"
module AggressiveMerging: Parameter_sig.Bool
Behavior of option "-aggressive-merging"
module AsmContractsGenerate: Parameter_sig.Bool
Behavior of option "-asm-contracts"
module AsmContractsAutoValidate: Parameter_sig.Bool
Behavior of option "-asm-contracts-auto-validate."
module RemoveExn: Parameter_sig.Bool
Behavior of option "-remove-exn"
module Files: Parameter_sig.String_list
Analyzed files
module Orig_name: Parameter_sig.Bool
Behavior of option "-orig-name"
val normalization_parameters : Typed_parameter.t list
All the normalization options that influence the AST (in particular,
changing one will reset the AST entirely
module WarnDecimalFloat: Parameter_sig.String
Behavior of option "-warn-decimal-float"
module ImplicitFunctionDeclaration: Parameter_sig.String
Behavior of option "-implicit-function-declaration"
Customizing cabs2cil options
module AllowDuplication: Parameter_sig.Bool
Behavior of option "-allow-duplication".
module DoCollapseCallCast: Parameter_sig.Bool
Behavior of option "-collapse-call-cast".
module ForceRLArgEval: Parameter_sig.Bool
Behavior of option "-force-rl-arg-eval".
Analysis Behavior of options
module MainFunction: sig
.. end
Behavior of option "-main".
module LibEntry: sig
.. end
Behavior of option "-lib-entry".
module ConstReadonly: Parameter_sig.Bool
Global variables with "const"
qualifier are constant.
module UnspecifiedAccess: Parameter_sig.Bool
Behavior of option "-unspecified-access"
module SafeArrays: Parameter_sig.Bool
Behavior of option "-safe-arrays".
module SignedOverflow: Parameter_sig.Bool
Behavior of option "-warn-signed-overflow"
module UnsignedOverflow: Parameter_sig.Bool
Behavior of option "-warn-unsigned-overflow"
module SignedDowncast: Parameter_sig.Bool
Behavior of option "-warn-signed-downcast"
module UnsignedDowncast: Parameter_sig.Bool
Behavior of option "-warn-unsigned-downcast"
module AbsoluteValidRange: Parameter_sig.String
Behavior of option "-absolute-valid-range"
Checks
module Check: Parameter_sig.Bool
Behavior of option "-check"
module Copy: Parameter_sig.Bool
Behavior of option "-copy"
module TypeCheck: Parameter_sig.Bool
Behavior of option "-typecheck"