Module Kernel

module Kernel: sig .. end
Provided services for kernel developers.
Consult the Plugin Development Guide for additional details.


Log Machinery


include Plugin.S

Installation Information


module PrintVersion: Plugin.Bool 
Behavior of option "-version"
module PrintShare: Plugin.Bool 
Behavior of option "-print-share-path"
module PrintLib: Plugin.Bool 
Behavior of option "-print-lib-path"
module PrintPluginPath: Plugin.Bool 
Behavior of option "-print-plugin-path"

Output Messages


module GeneralVerbose: Plugin.Int 
Behavior of option "-verbose"
module GeneralDebug: Plugin.Int 
Behavior of option "-debug"
module Quiet: Plugin.Bool 
Behavior of option "-quiet"
module Unicode: sig .. end
Behavior of option "-unicode".
module UseUnicode: Plugin.Bool 
Behavior of option "-unicode"
module Time: Plugin.String 
Behavior of option "-time"
module Collect_messages: Plugin.Bool 
Behavior of option "-collect-messages"

Input / Output Source Code


module PrintCode: Plugin.Bool 
Behavior of option "-print"
module PrintComments: Plugin.Bool 
Behavior of option "-keep-comments"
module CodeOutput: sig .. end
Behavior of option "-ocode".
module FloatNormal: Plugin.Bool 
Behavior of option "-float-normal"
module FloatRelative: Plugin.Bool 
Behavior of option "-float-relative"
module FloatHex: Plugin.Bool 
Behavior of option "-float-hex"
module BigIntsHex: Plugin.Int 
Behavior of option "-hexadecimal-big-integers"

Save/Load


module SaveState: Plugin.String 
Behavior of option "-save"
module LoadState: Plugin.String 
Behavior of option "-load"
module AddPath: Plugin.String_list 
Behavior of option "-add-path"
module LoadModule: Plugin.String_set 
Behavior of option "-load-module"
module LoadScript: Plugin.String_set 
Behavior of option "-load-script"
module Dynlink: Plugin.Bool 
Behavior of option "-dynlink"
module Journal: sig .. end
Kernel for journalization.

Customizing Normalization


module UnrollingLevel: Plugin.Int 
Behavior of option "-ulevel"
module Machdep: Plugin.String 
Behavior of option "-machdep".
module Enums: Plugin.String 
Behavior of option "-enums"
module CppCommand: Plugin.String 
Behavior of option "-cpp-command"
module CppExtraArgs: Plugin.String_list 
Behavior of option "-cpp-extra-args"
module ReadAnnot: Plugin.Bool 
Behavior of option "-read-annot"
module PreprocessAnnot: Plugin.Bool 
Behavior of option "-pp-annot"
module TypeCheck: Plugin.Bool 
Behavior of option "-type-check"
module ContinueOnAnnotError: Plugin.Bool 
Behavior of option "-continue-annot-error"
module SimplifyCfg: Plugin.Bool 
Behavior of option "-simplify-cfg"
module KeepSwitch: Plugin.Bool 
Behavior of option "-keep-switch"
module Keep_unused_specified_functions: Plugin.Bool 
Behavior of option -keep-unused-specified-function.
module Constfold: Plugin.Bool 
Behavior of option "-constfold"
module InitializedPaddingLocals: Plugin.Bool 
Behavior of option "-initialized-padding-locals"
module Files: sig .. end
Analyzed files
val normalization_parameters : Parameter.t list
All the normalization options that influence the AST (in particular, changing one will reset the AST entirely
module WarnDecimalFloat: Plugin.String 
Behavior of option "-warn-decimal-float"
module WarnUndeclared: Plugin.Bool 
Behavior of option "-warn-call-to-undeclared"

Customizing cabs2cil options


module AllowDuplication: Plugin.Bool 
Behavior of option "-allow-duplication".
module DoCollapseCallCast: Plugin.Bool 
Behavior of option "-collapse-call-cast".
module ForceRLArgEval: Plugin.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 UnspecifiedAccess: Plugin.Bool 
Behavior of option "-unspecified-access"
module SafeArrays: Plugin.Bool 
Behavior of option "-safe-arrays".
module SignedOverflow: Plugin.Bool 
Behavior of option "-warn-signed-overflow"
module UnsignedOverflow: Plugin.Bool 
Behavior of option "-warn-unsigned-overflow"
module SignedDowncast: Plugin.Bool 
Behavior of option "-warn-signed-downcast"
module UnsignedDowncast: Plugin.Bool 
Behavior of option "-warn-unsigned-downcast"
module AbsoluteValidRange: Plugin.String 
Behavior of option "-absolute-valid-range"