Module Parameters


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