module Parameters: sig
.. end
Kernel parameters and access to the plug-in parameters.
Since Beryllium-20090601-beta1
val check_range : string -> min:int -> max:int -> int -> unit
Deprecated.Beryllium-20090601-beta1+dev
Since Beryllium-20090601-beta1
val get_selection_context : unit -> Project.Selection.t
Selection of all the options which define the context of analyses.
Access to plug-in parameters
module Dynamic: sig
.. end
Module to use for accessing parameters of plug-ins.
Kernel parameters
module AddPath: Plugin.STRING_SET
module LoadModule: Plugin.STRING_SET
module LoadScript: Plugin.STRING_SET
module PrintVersion: Plugin.BOOL
module PrintShare: Plugin.BOOL
module PrintLib: Plugin.BOOL
module PrintPluginPath: Plugin.BOOL
module CodeOutput: sig
.. end
module UseUnicode: Plugin.BOOL
module SaveState: Plugin.STRING
module LoadState: Plugin.STRING
module Time: Plugin.STRING
module MainFunction: sig
.. end
module LibEntry: sig
.. end
module Machdep: sig
.. end
include Plugin.S
module Journal: sig
.. end
Parameters for journalization.
module PrintCode: Plugin.BOOL
module SimplifyCfg: Plugin.BOOL
Call Cil.prepareCFG on all functions.
module KeepSwitch: Plugin.BOOL
Allows to keep switch statements, even if -simplify-cfg is used.
module PrintComments: Plugin.BOOL
module UnrollingLevel: Plugin.INT
module Constfold: Plugin.BOOL
module Obfuscate: Plugin.BOOL
Parameters for files
module CppCommand: Plugin.STRING
module CppExtraArgs: Plugin.STRING_SET
module ReadAnnot: Plugin.BOOL
module PreprocessAnnot: Plugin.BOOL
module TypeCheck: Plugin.BOOL
Performs type-checking.
module ContinueOnAnnotError: Plugin.BOOL
Do not stop for type-checking errors in annotations.
module Files: sig
.. end
Parameters for analysis (should be used by all relevant plug-ins
for consistency
module AbsoluteValidRange: Plugin.STRING
Absolute address out of this range are considered as
invalid: this is a threat to write or read at these addresses.
module FloatDigits: Plugin.INT
Value Analysis
module Overflow: Plugin.BOOL
module UnspecifiedAccess: Plugin.BOOL
Whether emit alarms related to read/write accesses in
UnspecifiedSequence.
module SafeArrays: Plugin.BOOL