DATA)Type of a command-line parameter
parameterType::=string
DATA)Range of values for an integer or float parameter, or list of possible values of a string parameter
parameterRange::=null |[number , number]| string[]
DATA)Information about a Frama-C parameter
parameter::= {fields…}
| Field | Format | Description |
|---|---|---|
"name" |
string | parameter name |
"help" |
string | parameter help message |
"state" |
string | name of the synchronized state for this parameter |
"type" |
parameterType |
Parameter type : bool, int, float or string |
"range" |
parameterRange |
Range of values for an integer or float parameter, or list of possible values for a string parameter |
"isSet" |
boolean | Has the parameter been set by the user? |
DATA)Information about a Frama-C plug-in
plugin::= {fields…}
| Field | Format | Description |
|---|---|---|
"name" |
string | Plug-in name |
"shortname" |
string | Plug-in shortname |
"help" |
string | Plug-in help |
GET)Return the list of available Frama-C plug-ins
input
::=null
output
::=plugin[]
GET)Return the list of parameters of a Frama-C plug-in
input
::=string
output
::=[string ,parameter[]][]
GET)Has the given parameter been set?
input
::=string
output
::=boolean
STATE)State of parameter -session
SIGNAL)Signal for state session
GET)Getter for state session
input
::=null
output
::=string
SET)Setter for state session
input
::=string
output
::=null
STATE)State of parameter -typecheck
SIGNAL)Signal for state typecheck
GET)Getter for state typecheck
input
::=null
output
::=boolean
SET)Setter for state typecheck
input
::=boolean
output
::=null
STATE)State of parameter -ast-diff
SIGNAL)Signal for state astDiff
GET)Getter for state astDiff
input
::=null
output
::=boolean
SET)Setter for state astDiff
input
::=boolean
output
::=null
STATE)State of parameter -eager-load-sources
SIGNAL)Signal for state eagerLoadSources
GET)Getter for state eagerLoadSources
input
::=null
output
::=boolean
SET)Setter for state eagerLoadSources
input
::=boolean
output
::=null
STATE)State of parameter -big-ints-hex
SIGNAL)Signal for state bigIntsHex
GET)Getter for state bigIntsHex
input
::=null
output
::=number
SET)Setter for state bigIntsHex
input
::=number
output
::=null
STATE)State of parameter -float-hex
SIGNAL)Signal for state floatHex
GET)Getter for state floatHex
input
::=null
output
::=boolean
SET)Setter for state floatHex
input
::=boolean
output
::=null
STATE)State of parameter -float-normal
SIGNAL)Signal for state floatNormal
GET)Getter for state floatNormal
input
::=null
output
::=boolean
SET)Setter for state floatNormal
input
::=boolean
output
::=null
STATE)State of parameter -float-print
SIGNAL)Signal for state floatPrint
GET)Getter for state floatPrint
input
::=null
output
::=string
SET)Setter for state floatPrint
input
::=string
output
::=null
STATE)State of parameter -ocode
SIGNAL)Signal for state ocode
GET)Getter for state ocode
input
::=null
output
::=string
SET)Setter for state ocode
input
::=string
output
::=null
STATE)State of parameter -print-return
SIGNAL)Signal for state printReturn
GET)Getter for state printReturn
input
::=null
output
::=boolean
SET)Setter for state printReturn
input
::=boolean
output
::=null
STATE)State of parameter -print-libc
SIGNAL)Signal for state printLibc
GET)Getter for state printLibc
input
::=null
output
::=boolean
SET)Setter for state printLibc
input
::=boolean
output
::=null
STATE)State of parameter -keep-comments
SIGNAL)Signal for state keepComments
GET)Getter for state keepComments
input
::=null
output
::=boolean
SET)Setter for state keepComments
input
::=boolean
output
::=null
STATE)State of parameter -print
SIGNAL)Signal for state print
GET)Getter for state print
input
::=null
output
::=boolean
SET)Setter for state print
input
::=boolean
output
::=null
STATE)State of parameter -copy
SIGNAL)Signal for state copy
GET)Getter for state copy
input
::=null
output
::=boolean
SET)Setter for state copy
input
::=boolean
output
::=null
STATE)State of parameter -check
SIGNAL)Signal for state check
GET)Getter for state check
input
::=null
output
::=boolean
SET)Setter for state check
input
::=boolean
output
::=null
STATE)State of parameter -orig-name
SIGNAL)Signal for state origName
GET)Getter for state origName
input
::=null
output
::=boolean
SET)Setter for state origName
input
::=boolean
output
::=null
STATE)State of parameter -print-as-is
SIGNAL)Signal for state printAsIs
GET)Getter for state printAsIs
input
::=null
output
::=boolean
SET)Setter for state printAsIs
input
::=boolean
output
::=null
STATE)State of parameter -debug
SIGNAL)Signal for state debug
GET)Getter for state debug
input
::=null
output
::=number
SET)Setter for state debug
input
::=number
output
::=null
STATE)State of parameter -dump-dependencies
SIGNAL)Signal for state dumpDependencies
GET)Getter for state dumpDependencies
input
::=null
output
::=string
SET)Setter for state dumpDependencies
input
::=string
output
::=null
STATE)State of parameter -kernel-debug
SIGNAL)Signal for state kernelDebug
GET)Getter for state kernelDebug
input
::=null
output
::=number
SET)Setter for state kernelDebug
input
::=number
output
::=null
STATE)State of parameter -remove-projects
SIGNAL)Signal for state removeProjects
GET)Getter for state removeProjects
input
::=null
output
::=string
SET)Setter for state removeProjects
input
::=string
output
::=null
STATE)State of parameter -set-project-as-default
SIGNAL)Signal for state setProjectAsDefault
GET)Getter for state setProjectAsDefault
input
::=null
output
::=boolean
SET)Setter for state setProjectAsDefault
input
::=boolean
output
::=null
STATE)State of parameter -add-symbolic-path
SIGNAL)Signal for state addSymbolicPath
GET)Getter for state addSymbolicPath
input
::=null
output
::=string
SET)Setter for state addSymbolicPath
input
::=string
output
::=null
STATE)State of parameter -time
SIGNAL)Signal for state time
GET)Getter for state time
input
::=null
output
::=string
SET)Setter for state time
input
::=string
output
::=null
STATE)State of parameter -quiet
SIGNAL)Signal for state quiet
GET)Getter for state quiet
input
::=null
output
::=boolean
SET)Setter for state quiet
input
::=boolean
output
::=null
STATE)State of parameter -verbose
SIGNAL)Signal for state verbose
GET)Getter for state verbose
input
::=null
output
::=number
SET)Setter for state verbose
input
::=number
output
::=null
STATE)State of parameter -kernel-warn-key
SIGNAL)Signal for state kernelWarnKey
GET)Getter for state kernelWarnKey
input
::=null
output
::=string
SET)Setter for state kernelWarnKey
input
::=string
output
::=null
STATE)State of parameter -kernel-msg-key
SIGNAL)Signal for state kernelMsgKey
GET)Getter for state kernelMsgKey
input
::=null
output
::=string
SET)Setter for state kernelMsgKey
input
::=string
output
::=null
STATE)State of parameter -kernel-verbose
SIGNAL)Signal for state kernelVerbose
GET)Getter for state kernelVerbose
input
::=null
output
::=number
SET)Setter for state kernelVerbose
input
::=number
output
::=null
STATE)State of parameter -kernel-log
SIGNAL)Signal for state kernelLog
GET)Getter for state kernelLog
input
::=null
output
::=string
SET)Setter for state kernelLog
input
::=string
output
::=null
STATE)State of parameter -state
SIGNAL)Signal for state state
GET)Getter for state state
input
::=null
output
::=string
SET)Setter for state state
input
::=string
output
::=null
STATE)State of parameter -config
SIGNAL)Signal for state config
GET)Getter for state config
input
::=null
output
::=string
SET)Setter for state config
input
::=string
output
::=null
STATE)State of parameter -cache
SIGNAL)Signal for state cache
GET)Getter for state cache
input
::=null
output
::=string
SET)Setter for state cache
input
::=string
output
::=null
STATE)State of parameter -save
SIGNAL)Signal for state save
GET)Getter for state save
input
::=null
output
::=string
SET)Setter for state save
input
::=string
output
::=null
STATE)State of parameter -cache-size
SIGNAL)Signal for state cacheSize
GET)Getter for state cacheSize
input
::=null
output
::=number
SET)Setter for state cacheSize
input
::=number
output
::=null
STATE)State of parameter -mopsa-db
SIGNAL)Signal for state mopsaDb
GET)Getter for state mopsaDb
input
::=null
output
::=string
SET)Setter for state mopsaDb
input
::=string
output
::=null
STATE)State of parameter -mopsa-exclude-sources
SIGNAL)Signal for state mopsaExcludeSources
GET)Getter for state mopsaExcludeSources
input
::=null
output
::=string
SET)Setter for state mopsaExcludeSources
input
::=string
output
::=null
STATE)State of parameter -mopsa-target
SIGNAL)Signal for state mopsaTarget
GET)Getter for state mopsaTarget
input
::=null
output
::=string
SET)Setter for state mopsaTarget
input
::=string
output
::=null
STATE)State of parameter -mopsa-list-deps
SIGNAL)Signal for state mopsaListDeps
GET)Getter for state mopsaListDeps
input
::=null
output
::=string
SET)Setter for state mopsaListDeps
input
::=string
output
::=null
STATE)State of parameter -compilation-db
SIGNAL)Signal for state compilationDb
GET)Getter for state compilationDb
input
::=null
output
::=string
SET)Setter for state compilationDb
input
::=string
output
::=null
STATE)State of parameter -json-compilation-database
SIGNAL)Signal for state jsonCompilationDatabase
GET)Getter for state jsonCompilationDatabase
input
::=null
output
::=string
SET)Setter for state jsonCompilationDatabase
input
::=string
output
::=null
STATE)State of parameter -std
SIGNAL)Signal for state std
GET)Getter for state std
input
::=null
output
::=string
SET)Setter for state std
input
::=string
output
::=null
STATE)State of parameter -frama-c-stdlib
SIGNAL)Signal for state framaCStdlib
GET)Getter for state framaCStdlib
input
::=null
output
::=boolean
SET)Setter for state framaCStdlib
input
::=boolean
output
::=null
STATE)State of parameter -audit-check
SIGNAL)Signal for state auditCheck
GET)Getter for state auditCheck
input
::=null
output
::=string
SET)Setter for state auditCheck
input
::=string
output
::=null
STATE)State of parameter -audit-prepare
SIGNAL)Signal for state auditPrepare
GET)Getter for state auditPrepare
input
::=null
output
::=string
SET)Setter for state auditPrepare
input
::=string
output
::=null
STATE)State of parameter -print-cpp-commands
SIGNAL)Signal for state printCppCommands
GET)Getter for state printCppCommands
input
::=null
output
::=boolean
SET)Setter for state printCppCommands
input
::=boolean
output
::=null
STATE)State of parameter -cpp-frama-c-compliant
SIGNAL)Signal for state cppFramaCCompliant
GET)Getter for state cppFramaCCompliant
input
::=null
output
::=boolean
SET)Setter for state cppFramaCCompliant
input
::=boolean
output
::=null
STATE)State of parameter -cpp-extra-args-per-file
SIGNAL)Signal for state cppExtraArgsPerFile
GET)Getter for state cppExtraArgsPerFile
input
::=null
output
::=string
SET)Setter for state cppExtraArgsPerFile
input
::=string
output
::=null
STATE)State of parameter -cpp-extra-args
SIGNAL)Signal for state cppExtraArgs
GET)Getter for state cppExtraArgs
input
::=null
output
::=string
SET)Setter for state cppExtraArgs
input
::=string
output
::=null
STATE)State of parameter -cpp-command
SIGNAL)Signal for state cppCommand
GET)Getter for state cppCommand
input
::=null
output
::=string
SET)Setter for state cppCommand
input
::=string
output
::=null
STATE)State of parameter -pp-annot
SIGNAL)Signal for state ppAnnot
GET)Getter for state ppAnnot
input
::=null
output
::=boolean
SET)Setter for state ppAnnot
input
::=boolean
output
::=null
STATE)State of parameter -annot
SIGNAL)Signal for state annot
GET)Getter for state annot
input
::=null
output
::=boolean
SET)Setter for state annot
input
::=boolean
output
::=null
STATE)State of parameter -warn-unaligned-pointer
SIGNAL)Signal for state warnUnalignedPointer
GET)Getter for state warnUnalignedPointer
input
::=null
output
::=boolean
SET)Setter for state warnUnalignedPointer
input
::=boolean
output
::=null
STATE)State of parameter -warn-invalid-pointer
SIGNAL)Signal for state warnInvalidPointer
GET)Getter for state warnInvalidPointer
input
::=null
output
::=boolean
SET)Setter for state warnInvalidPointer
input
::=boolean
output
::=null
STATE)State of parameter -warn-invalid-bool
SIGNAL)Signal for state warnInvalidBool
GET)Getter for state warnInvalidBool
input
::=null
output
::=boolean
SET)Setter for state warnInvalidBool
input
::=boolean
output
::=null
STATE)State of parameter -warn-special-float
SIGNAL)Signal for state warnSpecialFloat
GET)Getter for state warnSpecialFloat
input
::=null
output
::=string
SET)Setter for state warnSpecialFloat
input
::=string
output
::=null
STATE)State of parameter -warn-pointer-downcast
SIGNAL)Signal for state warnPointerDowncast
GET)Getter for state warnPointerDowncast
input
::=null
output
::=boolean
SET)Setter for state warnPointerDowncast
input
::=boolean
output
::=null
STATE)State of parameter -warn-unsigned-downcast
SIGNAL)Signal for state warnUnsignedDowncast
GET)Getter for state warnUnsignedDowncast
input
::=null
output
::=boolean
SET)Setter for state warnUnsignedDowncast
input
::=boolean
output
::=null
STATE)State of parameter -warn-signed-downcast
SIGNAL)Signal for state warnSignedDowncast
GET)Getter for state warnSignedDowncast
input
::=null
output
::=boolean
SET)Setter for state warnSignedDowncast
input
::=boolean
output
::=null
STATE)State of parameter -warn-right-shift-negative
SIGNAL)Signal for state warnRightShiftNegative
GET)Getter for state warnRightShiftNegative
input
::=null
output
::=boolean
SET)Setter for state warnRightShiftNegative
input
::=boolean
output
::=null
STATE)State of parameter -warn-left-shift-negative
SIGNAL)Signal for state warnLeftShiftNegative
GET)Getter for state warnLeftShiftNegative
input
::=null
output
::=boolean
SET)Setter for state warnLeftShiftNegative
input
::=boolean
output
::=null
STATE)State of parameter -warn-unsigned-overflow
SIGNAL)Signal for state warnUnsignedOverflow
GET)Getter for state warnUnsignedOverflow
input
::=null
output
::=boolean
SET)Setter for state warnUnsignedOverflow
input
::=boolean
output
::=null
STATE)State of parameter -warn-signed-overflow
SIGNAL)Signal for state warnSignedOverflow
GET)Getter for state warnSignedOverflow
input
::=null
output
::=boolean
SET)Setter for state warnSignedOverflow
input
::=boolean
output
::=null
STATE)State of parameter -absolute-valid-range
SIGNAL)Signal for state absoluteValidRange
GET)Getter for state absoluteValidRange
input
::=null
output
::=string
SET)Setter for state absoluteValidRange
input
::=string
output
::=null
STATE)State of parameter -safe-arrays
SIGNAL)Signal for state safeArrays
GET)Getter for state safeArrays
input
::=null
output
::=boolean
SET)Setter for state safeArrays
input
::=boolean
output
::=null
STATE)State of parameter -unspecified-access
SIGNAL)Signal for state unspecifiedAccess
GET)Getter for state unspecifiedAccess
input
::=null
output
::=boolean
SET)Setter for state unspecifiedAccess
input
::=boolean
output
::=null
STATE)State of parameter -lib-entry
SIGNAL)Signal for state libEntry
GET)Getter for state libEntry
input
::=null
output
::=boolean
SET)Setter for state libEntry
input
::=boolean
output
::=null
STATE)State of parameter -main
SIGNAL)Signal for state main
GET)Getter for state main
input
::=null
output
::=string
SET)Setter for state main
input
::=string
output
::=null
STATE)State of parameter -remove-inlined
SIGNAL)Signal for state removeInlined
GET)Getter for state removeInlined
input
::=null
output
::=string
SET)Setter for state removeInlined
input
::=string
output
::=null
STATE)State of parameter -inline-calls
SIGNAL)Signal for state inlineCalls
GET)Getter for state inlineCalls
input
::=null
output
::=string
SET)Setter for state inlineCalls
input
::=string
output
::=null
STATE)State of parameter -variadic-strict
SIGNAL)Signal for state variadicStrict
GET)Getter for state variadicStrict
input
::=null
output
::=boolean
SET)Setter for state variadicStrict
input
::=boolean
output
::=null
STATE)State of parameter -variadic-translation
SIGNAL)Signal for state variadicTranslation
GET)Getter for state variadicTranslation
input
::=null
output
::=boolean
SET)Setter for state variadicTranslation
input
::=boolean
output
::=null
STATE)State of parameter -generated-spec-custom
SIGNAL)Signal for state generatedSpecCustom
GET)Getter for state generatedSpecCustom
input
::=null
output
::=string
SET)Setter for state generatedSpecCustom
input
::=string
output
::=null
STATE)State of parameter -generated-spec-mode
SIGNAL)Signal for state generatedSpecMode
GET)Getter for state generatedSpecMode
input
::=null
output
::=string
SET)Setter for state generatedSpecMode
input
::=string
output
::=null
STATE)State of parameter -collapse-call-cast
SIGNAL)Signal for state collapseCallCast
GET)Getter for state collapseCallCast
input
::=null
output
::=boolean
SET)Setter for state collapseCallCast
input
::=boolean
output
::=null
STATE)State of parameter -allow-duplication
SIGNAL)Signal for state allowDuplication
GET)Getter for state allowDuplication
input
::=null
output
::=boolean
SET)Setter for state allowDuplication
input
::=boolean
output
::=null
STATE)State of parameter -remove-exn
SIGNAL)Signal for state removeExn
GET)Getter for state removeExn
input
::=null
output
::=boolean
SET)Setter for state removeExn
input
::=boolean
output
::=null
STATE)State of parameter -inline-stmt-contracts
SIGNAL)Signal for state inlineStmtContracts
GET)Getter for state inlineStmtContracts
input
::=null
output
::=boolean
SET)Setter for state inlineStmtContracts
input
::=boolean
output
::=null
STATE)State of parameter -asm-contracts-auto-validate
SIGNAL)Signal for state asmContractsAutoValidate
GET)Getter for state asmContractsAutoValidate
input
::=null
output
::=boolean
SET)Setter for state asmContractsAutoValidate
input
::=boolean
output
::=null
STATE)State of parameter -asm-contracts-ensure-init
SIGNAL)Signal for state asmContractsEnsureInit
GET)Getter for state asmContractsEnsureInit
input
::=null
output
::=boolean
SET)Setter for state asmContractsEnsureInit
input
::=boolean
output
::=null
STATE)State of parameter -asm-contracts
SIGNAL)Signal for state asmContracts
GET)Getter for state asmContracts
input
::=null
output
::=boolean
SET)Setter for state asmContracts
input
::=boolean
output
::=null
STATE)State of parameter -aggressive-merging
SIGNAL)Signal for state aggressiveMerging
GET)Getter for state aggressiveMerging
input
::=null
output
::=boolean
SET)Setter for state aggressiveMerging
input
::=boolean
output
::=null
STATE)State of parameter -initialized-padding-locals
SIGNAL)Signal for state initializedPaddingLocals
GET)Getter for state initializedPaddingLocals
input
::=null
output
::=boolean
SET)Setter for state initializedPaddingLocals
input
::=boolean
output
::=null
STATE)State of parameter -constfold
SIGNAL)Signal for state constfold
GET)Getter for state constfold
input
::=null
output
::=boolean
SET)Setter for state constfold
input
::=boolean
output
::=null
STATE)State of parameter -simplify-trivial-loops
SIGNAL)Signal for state simplifyTrivialLoops
GET)Getter for state simplifyTrivialLoops
input
::=null
output
::=boolean
SET)Setter for state simplifyTrivialLoops
input
::=boolean
output
::=null
STATE)State of parameter -keep-unused-types
SIGNAL)Signal for state keepUnusedTypes
GET)Getter for state keepUnusedTypes
input
::=null
output
::=boolean
SET)Setter for state keepUnusedTypes
input
::=boolean
output
::=null
STATE)State of parameter -keep-unused-functions
SIGNAL)Signal for state keepUnusedFunctions
GET)Getter for state keepUnusedFunctions
input
::=null
output
::=string
SET)Setter for state keepUnusedFunctions
input
::=string
output
::=null
STATE)State of parameter -keep-switch
SIGNAL)Signal for state keepSwitch
GET)Getter for state keepSwitch
input
::=null
output
::=boolean
SET)Setter for state keepSwitch
input
::=boolean
output
::=null
STATE)State of parameter -simplify-cfg
SIGNAL)Signal for state simplifyCfg
GET)Getter for state simplifyCfg
input
::=null
output
::=boolean
SET)Setter for state simplifyCfg
input
::=boolean
output
::=null
STATE)State of parameter -enums
SIGNAL)Signal for state enums
GET)Getter for state enums
input
::=null
output
::=string
SET)Setter for state enums
input
::=string
output
::=null
STATE)State of parameter -ulevel-force
SIGNAL)Signal for state ulevelForce
GET)Getter for state ulevelForce
input
::=null
output
::=boolean
SET)Setter for state ulevelForce
input
::=boolean
output
::=null
STATE)State of parameter -ulevel
SIGNAL)Signal for state ulevel
GET)Getter for state ulevel
input
::=null
output
::=number
SET)Setter for state ulevel
input
::=number
output
::=null
STATE)State of parameter -acsl-import-ulevel-spec
SIGNAL)Signal for state acslImportUlevelSpec
GET)Getter for state acslImportUlevelSpec
input
::=null
output
::=string
SET)Setter for state acslImportUlevelSpec
input
::=string
output
::=null
STATE)State of parameter -acsl-import-unroll-loop-conditions
SIGNAL)Signal for state acslImportUnrollLoopConditions
GET)Getter for state acslImportUnrollLoopConditions
input
::=null
output
::=boolean
SET)Setter for state acslImportUnrollLoopConditions
input
::=boolean
output
::=null
STATE)State of parameter -acsl-import-run
SIGNAL)Signal for state acslImportRun
GET)Getter for state acslImportRun
input
::=null
output
::=boolean
SET)Setter for state acslImportRun
input
::=boolean
output
::=null
STATE)State of parameter -acsl-import-addon-integer-cast
SIGNAL)Signal for state acslImportAddonIntegerCast
GET)Getter for state acslImportAddonIntegerCast
input
::=null
output
::=boolean
SET)Setter for state acslImportAddonIntegerCast
input
::=boolean
output
::=null
STATE)State of parameter -acsl-import-include-dirs
SIGNAL)Signal for state acslImportIncludeDirs
GET)Getter for state acslImportIncludeDirs
input
::=null
output
::=string
SET)Setter for state acslImportIncludeDirs
input
::=string
output
::=null
STATE)State of parameter -acsl-import-addon-ensures-and-exits
SIGNAL)Signal for state acslImportAddonEnsuresAndExits
GET)Getter for state acslImportAddonEnsuresAndExits
input
::=null
output
::=boolean
SET)Setter for state acslImportAddonEnsuresAndExits
input
::=boolean
output
::=null
STATE)State of parameter -acsl-import-keep-unused-symbols
SIGNAL)Signal for state acslImportKeepUnusedSymbols
GET)Getter for state acslImportKeepUnusedSymbols
input
::=null
output
::=boolean
SET)Setter for state acslImportKeepUnusedSymbols
input
::=boolean
output
::=null
STATE)State of parameter -acsl-import
SIGNAL)Signal for state acslImport
GET)Getter for state acslImport
input
::=null
output
::=string
SET)Setter for state acslImport
input
::=string
output
::=null
STATE)State of parameter -acsl-import-parse-only
SIGNAL)Signal for state acslImportParseOnly
GET)Getter for state acslImportParseOnly
input
::=null
output
::=boolean
SET)Setter for state acslImportParseOnly
input
::=boolean
output
::=null
STATE)State of parameter -acsl-import-type-only
SIGNAL)Signal for state acslImportTypeOnly
GET)Getter for state acslImportTypeOnly
input
::=null
output
::=boolean
SET)Setter for state acslImportTypeOnly
input
::=boolean
output
::=null
STATE)State of parameter -acsl-import-debug
SIGNAL)Signal for state acslImportDebug
GET)Getter for state acslImportDebug
input
::=null
output
::=number
SET)Setter for state acslImportDebug
input
::=number
output
::=null
STATE)State of parameter -acsl-import-warn-key
SIGNAL)Signal for state acslImportWarnKey
GET)Getter for state acslImportWarnKey
input
::=null
output
::=string
SET)Setter for state acslImportWarnKey
input
::=string
output
::=null
STATE)State of parameter -acsl-import-msg-key
SIGNAL)Signal for state acslImportMsgKey
GET)Getter for state acslImportMsgKey
input
::=null
output
::=string
SET)Setter for state acslImportMsgKey
input
::=string
output
::=null
STATE)State of parameter -acsl-import-verbose
SIGNAL)Signal for state acslImportVerbose
GET)Getter for state acslImportVerbose
input
::=null
output
::=number
SET)Setter for state acslImportVerbose
input
::=number
output
::=null
STATE)State of parameter -acsl-import-log
SIGNAL)Signal for state acslImportLog
GET)Getter for state acslImportLog
input
::=null
output
::=string
SET)Setter for state acslImportLog
input
::=string
output
::=null
STATE)State of parameter -alias-dot-output
SIGNAL)Signal for state aliasDotOutput
GET)Getter for state aliasDotOutput
input
::=null
output
::=string
SET)Setter for state aliasDotOutput
input
::=string
output
::=null
STATE)State of parameter -alias-debug-table
SIGNAL)Signal for state aliasDebugTable
GET)Getter for state aliasDebugTable
input
::=null
output
::=boolean
SET)Setter for state aliasDebugTable
input
::=boolean
output
::=null
STATE)State of parameter -alias-show-stmt-table
SIGNAL)Signal for state aliasShowStmtTable
GET)Getter for state aliasShowStmtTable
input
::=null
output
::=boolean
SET)Setter for state aliasShowStmtTable
input
::=boolean
output
::=null
STATE)State of parameter -alias-show-function-table
SIGNAL)Signal for state aliasShowFunctionTable
GET)Getter for state aliasShowFunctionTable
input
::=null
output
::=boolean
SET)Setter for state aliasShowFunctionTable
input
::=boolean
output
::=null
STATE)State of parameter -alias
SIGNAL)Signal for state alias
GET)Getter for state alias
input
::=null
output
::=boolean
SET)Setter for state alias
input
::=boolean
output
::=null
STATE)State of parameter -alias-debug
SIGNAL)Signal for state aliasDebug
GET)Getter for state aliasDebug
input
::=null
output
::=number
SET)Setter for state aliasDebug
input
::=number
output
::=null
STATE)State of parameter -alias-warn-key
SIGNAL)Signal for state aliasWarnKey
GET)Getter for state aliasWarnKey
input
::=null
output
::=string
SET)Setter for state aliasWarnKey
input
::=string
output
::=null
STATE)State of parameter -alias-msg-key
SIGNAL)Signal for state aliasMsgKey
GET)Getter for state aliasMsgKey
input
::=null
output
::=string
SET)Setter for state aliasMsgKey
input
::=string
output
::=null
STATE)State of parameter -alias-verbose
SIGNAL)Signal for state aliasVerbose
GET)Getter for state aliasVerbose
input
::=null
output
::=number
SET)Setter for state aliasVerbose
input
::=number
output
::=null
STATE)State of parameter -alias-log
SIGNAL)Signal for state aliasLog
GET)Getter for state aliasLog
input
::=null
output
::=string
SET)Setter for state aliasLog
input
::=string
output
::=null
STATE)State of parameter -e-acsl-widening-output
SIGNAL)Signal for state eAcslWideningOutput
GET)Getter for state eAcslWideningOutput
input
::=null
output
::=string
SET)Setter for state eAcslWideningOutput
input
::=string
output
::=null
STATE)State of parameter -e-acsl-widening-output-base
SIGNAL)Signal for state eAcslWideningOutputBase
GET)Getter for state eAcslWideningOutputBase
input
::=null
output
::=number
SET)Setter for state eAcslWideningOutputBase
input
::=number
output
::=null
STATE)State of parameter -e-acsl-widening-arguments
SIGNAL)Signal for state eAcslWideningArguments
GET)Getter for state eAcslWideningArguments
input
::=null
output
::=string
SET)Setter for state eAcslWideningArguments
input
::=string
output
::=null
STATE)State of parameter -e-acsl-widening-arguments-base
SIGNAL)Signal for state eAcslWideningArgumentsBase
GET)Getter for state eAcslWideningArgumentsBase
input
::=null
output
::=number
SET)Setter for state eAcslWideningArgumentsBase
input
::=number
output
::=null
STATE)State of parameter -e-acsl-interlang-opt
SIGNAL)Signal for state eAcslInterlangOpt
GET)Getter for state eAcslInterlangOpt
input
::=null
output
::=boolean
SET)Setter for state eAcslInterlangOpt
input
::=boolean
output
::=null
STATE)State of parameter -e-acsl-interlang-force
SIGNAL)Signal for state eAcslInterlangForce
GET)Getter for state eAcslInterlangForce
input
::=null
output
::=boolean
SET)Setter for state eAcslInterlangForce
input
::=boolean
output
::=null
STATE)State of parameter -e-acsl-interlang
SIGNAL)Signal for state eAcslInterlang
GET)Getter for state eAcslInterlang
input
::=null
output
::=boolean
SET)Setter for state eAcslInterlang
input
::=boolean
output
::=null
STATE)State of parameter -e-acsl-instrument
SIGNAL)Signal for state eAcslInstrument
GET)Getter for state eAcslInstrument
input
::=null
output
::=string
SET)Setter for state eAcslInstrument
input
::=string
output
::=null
STATE)State of parameter -e-acsl-functions
SIGNAL)Signal for state eAcslFunctions
GET)Getter for state eAcslFunctions
input
::=null
output
::=string
SET)Setter for state eAcslFunctions
input
::=string
output
::=null
STATE)State of parameter -e-acsl-concurrency
SIGNAL)Signal for state eAcslConcurrency
GET)Getter for state eAcslConcurrency
input
::=null
output
::=boolean
SET)Setter for state eAcslConcurrency
input
::=boolean
output
::=null
STATE)State of parameter -e-acsl-assert-print-data
SIGNAL)Signal for state eAcslAssertPrintData
GET)Getter for state eAcslAssertPrintData
input
::=null
output
::=boolean
SET)Setter for state eAcslAssertPrintData
input
::=boolean
output
::=null
STATE)State of parameter -e-acsl-builtins
SIGNAL)Signal for state eAcslBuiltins
GET)Getter for state eAcslBuiltins
input
::=null
output
::=string
SET)Setter for state eAcslBuiltins
input
::=string
output
::=null
STATE)State of parameter -e-acsl-full-mtracking
SIGNAL)Signal for state eAcslFullMtracking
GET)Getter for state eAcslFullMtracking
input
::=null
output
::=boolean
SET)Setter for state eAcslFullMtracking
input
::=boolean
output
::=null
STATE)State of parameter -e-acsl-replace-libc-functions
SIGNAL)Signal for state eAcslReplaceLibcFunctions
GET)Getter for state eAcslReplaceLibcFunctions
input
::=null
output
::=boolean
SET)Setter for state eAcslReplaceLibcFunctions
input
::=boolean
output
::=null
STATE)State of parameter -e-acsl-validate-format-strings
SIGNAL)Signal for state eAcslValidateFormatStrings
GET)Getter for state eAcslValidateFormatStrings
input
::=null
output
::=boolean
SET)Setter for state eAcslValidateFormatStrings
input
::=boolean
output
::=null
STATE)State of parameter -e-acsl-temporal-validity
SIGNAL)Signal for state eAcslTemporalValidity
GET)Getter for state eAcslTemporalValidity
input
::=null
output
::=boolean
SET)Setter for state eAcslTemporalValidity
input
::=boolean
output
::=null
STATE)State of parameter -e-acsl-gmp-only
SIGNAL)Signal for state eAcslGmpOnly
GET)Getter for state eAcslGmpOnly
input
::=null
output
::=boolean
SET)Setter for state eAcslGmpOnly
input
::=boolean
output
::=null
STATE)State of parameter -e-acsl-valid
SIGNAL)Signal for state eAcslValid
GET)Getter for state eAcslValid
input
::=null
output
::=boolean
SET)Setter for state eAcslValid
input
::=boolean
output
::=null
STATE)State of parameter -e-acsl-project
SIGNAL)Signal for state eAcslProject
GET)Getter for state eAcslProject
input
::=null
output
::=string
SET)Setter for state eAcslProject
input
::=string
output
::=null
STATE)State of parameter -e-acsl
SIGNAL)Signal for state eAcsl
GET)Getter for state eAcsl
input
::=null
output
::=boolean
SET)Setter for state eAcsl
input
::=boolean
output
::=null
STATE)State of parameter -e-acsl-share
SIGNAL)Signal for state eAcslShare
GET)Getter for state eAcslShare
input
::=null
output
::=string
SET)Setter for state eAcslShare
input
::=string
output
::=null
STATE)State of parameter -e-acsl-debug
SIGNAL)Signal for state eAcslDebug
GET)Getter for state eAcslDebug
input
::=null
output
::=number
SET)Setter for state eAcslDebug
input
::=number
output
::=null
STATE)State of parameter -e-acsl-warn-key
SIGNAL)Signal for state eAcslWarnKey
GET)Getter for state eAcslWarnKey
input
::=null
output
::=string
SET)Setter for state eAcslWarnKey
input
::=string
output
::=null
STATE)State of parameter -e-acsl-msg-key
SIGNAL)Signal for state eAcslMsgKey
GET)Getter for state eAcslMsgKey
input
::=null
output
::=string
SET)Setter for state eAcslMsgKey
input
::=string
output
::=null
STATE)State of parameter -e-acsl-verbose
SIGNAL)Signal for state eAcslVerbose
GET)Getter for state eAcslVerbose
input
::=null
output
::=number
SET)Setter for state eAcslVerbose
input
::=number
output
::=null
STATE)State of parameter -e-acsl-log
SIGNAL)Signal for state eAcslLog
GET)Getter for state eAcslLog
input
::=null
output
::=string
SET)Setter for state eAcslLog
input
::=string
output
::=null
STATE)State of parameter -eva-precision
SIGNAL)Signal for state evaPrecision
GET)Getter for state evaPrecision
input
::=null
output
::=number
SET)Setter for state evaPrecision
input
::=number
output
::=null
STATE)State of parameter -eva
SIGNAL)Signal for state eva
GET)Getter for state eva
input
::=null
output
::=boolean
SET)Setter for state eva
input
::=boolean
output
::=null
STATE)State of parameter -eva-join-results
SIGNAL)Signal for state evaJoinResults
GET)Getter for state evaJoinResults
input
::=null
output
::=boolean
SET)Setter for state evaJoinResults
input
::=boolean
output
::=null
STATE)State of parameter -eva-results
SIGNAL)Signal for state evaResults
GET)Getter for state evaResults
input
::=null
output
::=boolean
SET)Setter for state evaResults
input
::=boolean
output
::=null
STATE)State of parameter -eva-no-results-function
SIGNAL)Signal for state evaNoResultsFunction
GET)Getter for state evaNoResultsFunction
input
::=null
output
::=string
SET)Setter for state evaNoResultsFunction
input
::=string
output
::=null
STATE)State of parameter -eva-no-results-domain
SIGNAL)Signal for state evaNoResultsDomain
GET)Getter for state evaNoResultsDomain
input
::=null
output
::=string
SET)Setter for state evaNoResultsDomain
input
::=string
output
::=null
STATE)State of parameter -eva-reduction-depth
SIGNAL)Signal for state evaReductionDepth
GET)Getter for state evaReductionDepth
input
::=null
output
::=number
SET)Setter for state evaReductionDepth
input
::=number
output
::=null
STATE)State of parameter -eva-oracle-depth
SIGNAL)Signal for state evaOracleDepth
GET)Getter for state evaOracleDepth
input
::=null
output
::=number
SET)Setter for state evaOracleDepth
input
::=number
output
::=null
STATE)State of parameter -eva-enumerate-cond
SIGNAL)Signal for state evaEnumerateCond
GET)Getter for state evaEnumerateCond
input
::=null
output
::=boolean
SET)Setter for state evaEnumerateCond
input
::=boolean
output
::=null
STATE)State of parameter -eva-plevel
SIGNAL)Signal for state evaPlevel
GET)Getter for state evaPlevel
input
::=null
output
::=number
SET)Setter for state evaPlevel
input
::=number
output
::=null
STATE)State of parameter -eva-memexec
SIGNAL)Signal for state evaMemexec
GET)Getter for state evaMemexec
input
::=null
output
::=boolean
SET)Setter for state evaMemexec
input
::=boolean
output
::=null
STATE)State of parameter -eva-remove-redundant-alarms
SIGNAL)Signal for state evaRemoveRedundantAlarms
GET)Getter for state evaRemoveRedundantAlarms
input
::=null
output
::=boolean
SET)Setter for state evaRemoveRedundantAlarms
input
::=boolean
output
::=null
STATE)State of parameter -eva-skip-stdlib-specs
SIGNAL)Signal for state evaSkipStdlibSpecs
GET)Getter for state evaSkipStdlibSpecs
input
::=null
output
::=boolean
SET)Setter for state evaSkipStdlibSpecs
input
::=boolean
output
::=null
STATE)State of parameter -eva-use-spec
SIGNAL)Signal for state evaUseSpec
GET)Getter for state evaUseSpec
input
::=null
output
::=string
SET)Setter for state evaUseSpec
input
::=string
output
::=null
STATE)State of parameter -eva-subdivide-non-linear-function
SIGNAL)Signal for state evaSubdivideNonLinearFunction
GET)Getter for state evaSubdivideNonLinearFunction
input
::=null
output
::=string
SET)Setter for state evaSubdivideNonLinearFunction
input
::=string
output
::=null
STATE)State of parameter -eva-subdivide-non-linear
SIGNAL)Signal for state evaSubdivideNonLinear
GET)Getter for state evaSubdivideNonLinear
input
::=null
output
::=number
SET)Setter for state evaSubdivideNonLinear
input
::=number
output
::=null
STATE)State of parameter -eva-builtins-list
SIGNAL)Signal for state evaBuiltinsList
GET)Getter for state evaBuiltinsList
input
::=null
output
::=boolean
SET)Setter for state evaBuiltinsList
input
::=boolean
output
::=null
STATE)State of parameter -eva-builtins-auto
SIGNAL)Signal for state evaBuiltinsAuto
GET)Getter for state evaBuiltinsAuto
input
::=null
output
::=boolean
SET)Setter for state evaBuiltinsAuto
input
::=boolean
output
::=null
STATE)State of parameter -eva-builtin
SIGNAL)Signal for state evaBuiltin
GET)Getter for state evaBuiltin
input
::=null
output
::=string
SET)Setter for state evaBuiltin
input
::=string
output
::=null
STATE)State of parameter -eva-ilevel
SIGNAL)Signal for state evaIlevel
GET)Getter for state evaIlevel
input
::=null
output
::=number
SET)Setter for state evaIlevel
input
::=number
output
::=null
STATE)State of parameter -eva-split-return
SIGNAL)Signal for state evaSplitReturn
GET)Getter for state evaSplitReturn
input
::=null
output
::=string
SET)Setter for state evaSplitReturn
input
::=string
output
::=null
STATE)State of parameter -eva-split-return-function
SIGNAL)Signal for state evaSplitReturnFunction
GET)Getter for state evaSplitReturnFunction
input
::=null
output
::=string
SET)Setter for state evaSplitReturnFunction
input
::=string
output
::=null
STATE)State of parameter -eva-interprocedural-history
SIGNAL)Signal for state evaInterproceduralHistory
GET)Getter for state evaInterproceduralHistory
input
::=null
output
::=boolean
SET)Setter for state evaInterproceduralHistory
input
::=boolean
output
::=null
STATE)State of parameter -eva-interprocedural-splits
SIGNAL)Signal for state evaInterproceduralSplits
GET)Getter for state evaInterproceduralSplits
input
::=null
output
::=boolean
SET)Setter for state evaInterproceduralSplits
input
::=boolean
output
::=null
STATE)State of parameter -eva-split-limit
SIGNAL)Signal for state evaSplitLimit
GET)Getter for state evaSplitLimit
input
::=null
output
::=number
SET)Setter for state evaSplitLimit
input
::=number
output
::=null
STATE)State of parameter -eva-partition-value
SIGNAL)Signal for state evaPartitionValue
GET)Getter for state evaPartitionValue
input
::=null
output
::=string
SET)Setter for state evaPartitionValue
input
::=string
output
::=null
STATE)State of parameter -eva-partition-history-function
SIGNAL)Signal for state evaPartitionHistoryFunction
GET)Getter for state evaPartitionHistoryFunction
input
::=null
output
::=string
SET)Setter for state evaPartitionHistoryFunction
input
::=string
output
::=null
STATE)State of parameter -eva-partition-history
SIGNAL)Signal for state evaPartitionHistory
GET)Getter for state evaPartitionHistory
input
::=null
output
::=number
SET)Setter for state evaPartitionHistory
input
::=number
output
::=null
STATE)State of parameter -eva-default-loop-unroll
SIGNAL)Signal for state evaDefaultLoopUnroll
GET)Getter for state evaDefaultLoopUnroll
input
::=null
output
::=number
SET)Setter for state evaDefaultLoopUnroll
input
::=number
output
::=null
STATE)State of parameter -eva-auto-loop-unroll
SIGNAL)Signal for state evaAutoLoopUnroll
GET)Getter for state evaAutoLoopUnroll
input
::=null
output
::=number
SET)Setter for state evaAutoLoopUnroll
input
::=number
output
::=null
STATE)State of parameter -eva-min-loop-unroll
SIGNAL)Signal for state evaMinLoopUnroll
GET)Getter for state evaMinLoopUnroll
input
::=null
output
::=number
SET)Setter for state evaMinLoopUnroll
input
::=number
output
::=null
STATE)State of parameter -eva-slevel-merge-after-loop
SIGNAL)Signal for state evaSlevelMergeAfterLoop
GET)Getter for state evaSlevelMergeAfterLoop
input
::=null
output
::=string
SET)Setter for state evaSlevelMergeAfterLoop
input
::=string
output
::=null
STATE)State of parameter -eva-slevel-function
SIGNAL)Signal for state evaSlevelFunction
GET)Getter for state evaSlevelFunction
input
::=null
output
::=string
SET)Setter for state evaSlevelFunction
input
::=string
output
::=null
STATE)State of parameter -eva-slevel
SIGNAL)Signal for state evaSlevel
GET)Getter for state evaSlevel
input
::=null
output
::=number
SET)Setter for state evaSlevel
input
::=number
output
::=null
STATE)State of parameter -eva-unroll-recursive-calls
SIGNAL)Signal for state evaUnrollRecursiveCalls
GET)Getter for state evaUnrollRecursiveCalls
input
::=null
output
::=number
SET)Setter for state evaUnrollRecursiveCalls
input
::=number
output
::=null
STATE)State of parameter -eva-widening-period
SIGNAL)Signal for state evaWideningPeriod
GET)Getter for state evaWideningPeriod
input
::=null
output
::=number
SET)Setter for state evaWideningPeriod
input
::=number
output
::=null
STATE)State of parameter -eva-widening-delay
SIGNAL)Signal for state evaWideningDelay
GET)Getter for state evaWideningDelay
input
::=null
output
::=number
SET)Setter for state evaWideningDelay
input
::=number
output
::=null
STATE)State of parameter -eva-debug
SIGNAL)Signal for state evaDebug
GET)Getter for state evaDebug
input
::=null
output
::=number
SET)Setter for state evaDebug
input
::=number
output
::=null
STATE)State of parameter -eva-annot
SIGNAL)Signal for state evaAnnot
GET)Getter for state evaAnnot
input
::=null
output
::=string
SET)Setter for state evaAnnot
input
::=string
output
::=null
STATE)State of parameter -eva-force-print-summary
SIGNAL)Signal for state evaForcePrintSummary
GET)Getter for state evaForcePrintSummary
input
::=null
output
::=boolean
SET)Setter for state evaForcePrintSummary
input
::=boolean
output
::=null
STATE)State of parameter -eva-statistics-file
SIGNAL)Signal for state evaStatisticsFile
GET)Getter for state evaStatisticsFile
input
::=null
output
::=string
SET)Setter for state evaStatisticsFile
input
::=string
output
::=null
STATE)State of parameter -eva-report-red-statuses
SIGNAL)Signal for state evaReportRedStatuses
GET)Getter for state evaReportRedStatuses
input
::=null
output
::=string
SET)Setter for state evaReportRedStatuses
input
::=string
output
::=null
STATE)State of parameter -eva-print-callstacks
SIGNAL)Signal for state evaPrintCallstacks
GET)Getter for state evaPrintCallstacks
input
::=null
output
::=boolean
SET)Setter for state evaPrintCallstacks
input
::=boolean
output
::=null
STATE)State of parameter -eva-show-slevel
SIGNAL)Signal for state evaShowSlevel
GET)Getter for state evaShowSlevel
input
::=null
output
::=number
SET)Setter for state evaShowSlevel
input
::=number
output
::=null
STATE)State of parameter -eva-flamegraph
SIGNAL)Signal for state evaFlamegraph
GET)Getter for state evaFlamegraph
input
::=null
output
::=string
SET)Setter for state evaFlamegraph
input
::=string
output
::=null
STATE)State of parameter -eva-show-perf
SIGNAL)Signal for state evaShowPerf
GET)Getter for state evaShowPerf
input
::=null
output
::=boolean
SET)Setter for state evaShowPerf
input
::=boolean
output
::=null
STATE)State of parameter -eva-show-progress
SIGNAL)Signal for state evaShowProgress
GET)Getter for state evaShowProgress
input
::=null
output
::=boolean
SET)Setter for state evaShowProgress
input
::=boolean
output
::=null
STATE)State of parameter -eva-print
SIGNAL)Signal for state evaPrint
GET)Getter for state evaPrint
input
::=null
output
::=boolean
SET)Setter for state evaPrint
input
::=boolean
output
::=null
STATE)State of parameter -eva-warn-key
SIGNAL)Signal for state evaWarnKey
GET)Getter for state evaWarnKey
input
::=null
output
::=string
SET)Setter for state evaWarnKey
input
::=string
output
::=null
STATE)State of parameter -eva-msg-key
SIGNAL)Signal for state evaMsgKey
GET)Getter for state evaMsgKey
input
::=null
output
::=string
SET)Setter for state evaMsgKey
input
::=string
output
::=null
STATE)State of parameter -eva-verbose
SIGNAL)Signal for state evaVerbose
GET)Getter for state evaVerbose
input
::=null
output
::=number
SET)Setter for state evaVerbose
input
::=number
output
::=null
STATE)State of parameter -eva-log
SIGNAL)Signal for state evaLog
GET)Getter for state evaLog
input
::=null
output
::=string
SET)Setter for state evaLog
input
::=string
output
::=null
STATE)State of parameter -eva-initialization-padding-globals
SIGNAL)Signal for state evaInitializationPaddingGlobals
GET)Getter for state evaInitializationPaddingGlobals
input
::=null
output
::=string
SET)Setter for state evaInitializationPaddingGlobals
input
::=string
output
::=null
STATE)State of parameter -eva-context-valid-pointers
SIGNAL)Signal for state evaContextValidPointers
GET)Getter for state evaContextValidPointers
input
::=null
output
::=boolean
SET)Setter for state evaContextValidPointers
input
::=boolean
output
::=null
STATE)State of parameter -eva-context-width
SIGNAL)Signal for state evaContextWidth
GET)Getter for state evaContextWidth
input
::=null
output
::=number
SET)Setter for state evaContextWidth
input
::=number
output
::=null
STATE)State of parameter -eva-context-depth
SIGNAL)Signal for state evaContextDepth
GET)Getter for state evaContextDepth
input
::=null
output
::=number
SET)Setter for state evaContextDepth
input
::=number
output
::=null
STATE)State of parameter -eva-mlevel
SIGNAL)Signal for state evaMlevel
GET)Getter for state evaMlevel
input
::=null
output
::=number
SET)Setter for state evaMlevel
input
::=number
output
::=null
STATE)State of parameter -eva-alloc-returns-null
SIGNAL)Signal for state evaAllocReturnsNull
GET)Getter for state evaAllocReturnsNull
input
::=null
output
::=boolean
SET)Setter for state evaAllocReturnsNull
input
::=boolean
output
::=null
STATE)State of parameter -eva-alloc-functions
SIGNAL)Signal for state evaAllocFunctions
GET)Getter for state evaAllocFunctions
input
::=null
output
::=string
SET)Setter for state evaAllocFunctions
input
::=string
output
::=null
STATE)State of parameter -eva-alloc-builtin
SIGNAL)Signal for state evaAllocBuiltin
GET)Getter for state evaAllocBuiltin
input
::=null
output
::=string
SET)Setter for state evaAllocBuiltin
input
::=string
output
::=null
STATE)State of parameter -eva-initialized-locals
SIGNAL)Signal for state evaInitializedLocals
GET)Getter for state evaInitializedLocals
input
::=null
output
::=boolean
SET)Setter for state evaInitializedLocals
input
::=boolean
output
::=null
STATE)State of parameter -eva-reduce-on-logic-alarms
SIGNAL)Signal for state evaReduceOnLogicAlarms
GET)Getter for state evaReduceOnLogicAlarms
input
::=null
output
::=boolean
SET)Setter for state evaReduceOnLogicAlarms
input
::=boolean
output
::=null
STATE)State of parameter -eva-warn-copy-indeterminate
SIGNAL)Signal for state evaWarnCopyIndeterminate
GET)Getter for state evaWarnCopyIndeterminate
input
::=null
output
::=string
SET)Setter for state evaWarnCopyIndeterminate
input
::=string
output
::=null
STATE)State of parameter -eva-warn-pointer-subtraction
SIGNAL)Signal for state evaWarnPointerSubtraction
GET)Getter for state evaWarnPointerSubtraction
input
::=null
output
::=boolean
SET)Setter for state evaWarnPointerSubtraction
input
::=boolean
output
::=null
STATE)State of parameter -eva-warn-signed-converted-downcast
SIGNAL)Signal for state evaWarnSignedConvertedDowncast
GET)Getter for state evaWarnSignedConvertedDowncast
input
::=null
output
::=boolean
SET)Setter for state evaWarnSignedConvertedDowncast
input
::=boolean
output
::=null
STATE)State of parameter -eva-warn-undefined-pointer-comparison
SIGNAL)Signal for state evaWarnUndefinedPointerComparison
GET)Getter for state evaWarnUndefinedPointerComparison
input
::=null
output
::=string
SET)Setter for state evaWarnUndefinedPointerComparison
input
::=string
output
::=null
STATE)State of parameter -eva-undefined-pointer-comparison-propagate-all
SIGNAL)Signal for state evaUndefinedPointerComparisonPropagateAll
GET)Getter for state evaUndefinedPointerComparisonPropagateAll
input
::=null
output
::=boolean
SET)Setter for state evaUndefinedPointerComparisonPropagateAll
input
::=boolean
output
::=null
STATE)State of parameter -eva-multidim-disjunctive-invariants
SIGNAL)Signal for state evaMultidimDisjunctiveInvariants
GET)Getter for state evaMultidimDisjunctiveInvariants
input
::=null
output
::=boolean
SET)Setter for state evaMultidimDisjunctiveInvariants
input
::=boolean
output
::=null
STATE)State of parameter -eva-multidim-segment-limit
SIGNAL)Signal for state evaMultidimSegmentLimit
GET)Getter for state evaMultidimSegmentLimit
input
::=null
output
::=number
SET)Setter for state evaMultidimSegmentLimit
input
::=number
output
::=null
STATE)State of parameter -eva-traces-project
SIGNAL)Signal for state evaTracesProject
GET)Getter for state evaTracesProject
input
::=null
output
::=boolean
SET)Setter for state evaTracesProject
input
::=boolean
output
::=null
STATE)State of parameter -eva-traces-dot
SIGNAL)Signal for state evaTracesDot
GET)Getter for state evaTracesDot
input
::=null
output
::=string
SET)Setter for state evaTracesDot
input
::=string
output
::=null
STATE)State of parameter -eva-traces-unify-loop
SIGNAL)Signal for state evaTracesUnifyLoop
GET)Getter for state evaTracesUnifyLoop
input
::=null
output
::=boolean
SET)Setter for state evaTracesUnifyLoop
input
::=boolean
output
::=null
STATE)State of parameter -eva-traces-unroll-loop
SIGNAL)Signal for state evaTracesUnrollLoop
GET)Getter for state evaTracesUnrollLoop
input
::=null
output
::=boolean
SET)Setter for state evaTracesUnrollLoop
input
::=boolean
output
::=null
STATE)State of parameter -eva-numerors-interaction
SIGNAL)Signal for state evaNumerorsInteraction
GET)Getter for state evaNumerorsInteraction
input
::=null
output
::=string
SET)Setter for state evaNumerorsInteraction
input
::=string
output
::=null
STATE)State of parameter -eva-auto-taint
SIGNAL)Signal for state evaAutoTaint
GET)Getter for state evaAutoTaint
input
::=null
output
::=boolean
SET)Setter for state evaAutoTaint
input
::=boolean
output
::=null
STATE)State of parameter -eva-octagon-through-calls
SIGNAL)Signal for state evaOctagonThroughCalls
GET)Getter for state evaOctagonThroughCalls
input
::=null
output
::=boolean
SET)Setter for state evaOctagonThroughCalls
input
::=boolean
output
::=null
STATE)State of parameter -eva-equality-through-calls-function
SIGNAL)Signal for state evaEqualityThroughCallsFunction
GET)Getter for state evaEqualityThroughCallsFunction
input
::=null
output
::=string
SET)Setter for state evaEqualityThroughCallsFunction
input
::=string
output
::=null
STATE)State of parameter -eva-equality-through-calls
SIGNAL)Signal for state evaEqualityThroughCalls
GET)Getter for state evaEqualityThroughCalls
input
::=null
output
::=string
SET)Setter for state evaEqualityThroughCalls
input
::=string
output
::=null
STATE)State of parameter -eva-domains-function
SIGNAL)Signal for state evaDomainsFunction
GET)Getter for state evaDomainsFunction
input
::=null
output
::=string
SET)Setter for state evaDomainsFunction
input
::=string
output
::=null
STATE)State of parameter -eva-domains
SIGNAL)Signal for state evaDomains
GET)Getter for state evaDomains
input
::=null
output
::=string
SET)Setter for state evaDomains
input
::=string
output
::=null
STATE)State of parameter -eva-stop-at-nth-alarm
SIGNAL)Signal for state evaStopAtNthAlarm
GET)Getter for state evaStopAtNthAlarm
input
::=null
output
::=number
SET)Setter for state evaStopAtNthAlarm
input
::=number
output
::=null
STATE)State of parameter -eva-interpreter-mode
SIGNAL)Signal for state evaInterpreterMode
GET)Getter for state evaInterpreterMode
input
::=null
output
::=boolean
SET)Setter for state evaInterpreterMode
input
::=boolean
output
::=null
STATE)State of parameter -instantiate-calloc
SIGNAL)Signal for state instantiateCalloc
GET)Getter for state instantiateCalloc
input
::=null
output
::=boolean
SET)Setter for state instantiateCalloc
input
::=boolean
output
::=null
STATE)State of parameter -instantiate-free
SIGNAL)Signal for state instantiateFree
GET)Getter for state instantiateFree
input
::=null
output
::=boolean
SET)Setter for state instantiateFree
input
::=boolean
output
::=null
STATE)State of parameter -instantiate-malloc
SIGNAL)Signal for state instantiateMalloc
GET)Getter for state instantiateMalloc
input
::=null
output
::=boolean
SET)Setter for state instantiateMalloc
input
::=boolean
output
::=null
STATE)State of parameter -instantiate-memcmp
SIGNAL)Signal for state instantiateMemcmp
GET)Getter for state instantiateMemcmp
input
::=null
output
::=boolean
SET)Setter for state instantiateMemcmp
input
::=boolean
output
::=null
STATE)State of parameter -instantiate-memcpy
SIGNAL)Signal for state instantiateMemcpy
GET)Getter for state instantiateMemcpy
input
::=null
output
::=boolean
SET)Setter for state instantiateMemcpy
input
::=boolean
output
::=null
STATE)State of parameter -instantiate-memmove
SIGNAL)Signal for state instantiateMemmove
GET)Getter for state instantiateMemmove
input
::=null
output
::=boolean
SET)Setter for state instantiateMemmove
input
::=boolean
output
::=null
STATE)State of parameter -instantiate-memset
SIGNAL)Signal for state instantiateMemset
GET)Getter for state instantiateMemset
input
::=null
output
::=boolean
SET)Setter for state instantiateMemset
input
::=boolean
output
::=null
STATE)State of parameter -instantiate-fct
SIGNAL)Signal for state instantiateFct
GET)Getter for state instantiateFct
input
::=null
output
::=string
SET)Setter for state instantiateFct
input
::=string
output
::=null
STATE)State of parameter -instantiate
SIGNAL)Signal for state instantiate
GET)Getter for state instantiate
input
::=null
output
::=boolean
SET)Setter for state instantiate
input
::=boolean
output
::=null
STATE)State of parameter -instantiate-debug
SIGNAL)Signal for state instantiateDebug
GET)Getter for state instantiateDebug
input
::=null
output
::=number
SET)Setter for state instantiateDebug
input
::=number
output
::=null
STATE)State of parameter -instantiate-warn-key
SIGNAL)Signal for state instantiateWarnKey
GET)Getter for state instantiateWarnKey
input
::=null
output
::=string
SET)Setter for state instantiateWarnKey
input
::=string
output
::=null
STATE)State of parameter -instantiate-msg-key
SIGNAL)Signal for state instantiateMsgKey
GET)Getter for state instantiateMsgKey
input
::=null
output
::=string
SET)Setter for state instantiateMsgKey
input
::=string
output
::=null
STATE)State of parameter -instantiate-verbose
SIGNAL)Signal for state instantiateVerbose
GET)Getter for state instantiateVerbose
input
::=null
output
::=number
SET)Setter for state instantiateVerbose
input
::=number
output
::=null
STATE)State of parameter -instantiate-log
SIGNAL)Signal for state instantiateLog
GET)Getter for state instantiateLog
input
::=null
output
::=string
SET)Setter for state instantiateLog
input
::=string
output
::=null
STATE)State of parameter -mdr-sarif-deterministic
SIGNAL)Signal for state mdrSarifDeterministic
GET)Getter for state mdrSarifDeterministic
input
::=null
output
::=boolean
SET)Setter for state mdrSarifDeterministic
input
::=boolean
output
::=null
STATE)State of parameter -mdr-print-libc
SIGNAL)Signal for state mdrPrintLibc
GET)Getter for state mdrPrintLibc
input
::=null
output
::=boolean
SET)Setter for state mdrPrintLibc
input
::=boolean
output
::=null
STATE)State of parameter -mdr-stubs
SIGNAL)Signal for state mdrStubs
GET)Getter for state mdrStubs
input
::=null
output
::=string
SET)Setter for state mdrStubs
input
::=string
output
::=null
STATE)State of parameter -mdr-date
SIGNAL)Signal for state mdrDate
GET)Getter for state mdrDate
input
::=null
output
::=string
SET)Setter for state mdrDate
input
::=string
output
::=null
STATE)State of parameter -mdr-title
SIGNAL)Signal for state mdrTitle
GET)Getter for state mdrTitle
input
::=null
output
::=string
SET)Setter for state mdrTitle
input
::=string
output
::=null
STATE)State of parameter -mdr-authors
SIGNAL)Signal for state mdrAuthors
GET)Getter for state mdrAuthors
input
::=null
output
::=string
SET)Setter for state mdrAuthors
input
::=string
output
::=null
STATE)State of parameter -mdr-flamegraph
SIGNAL)Signal for state mdrFlamegraph
GET)Getter for state mdrFlamegraph
input
::=null
output
::=string
SET)Setter for state mdrFlamegraph
input
::=string
output
::=null
STATE)State of parameter -mdr-remarks
SIGNAL)Signal for state mdrRemarks
GET)Getter for state mdrRemarks
input
::=null
output
::=string
SET)Setter for state mdrRemarks
input
::=string
output
::=null
STATE)State of parameter -mdr-out
SIGNAL)Signal for state mdrOut
GET)Getter for state mdrOut
input
::=null
output
::=string
SET)Setter for state mdrOut
input
::=string
output
::=null
STATE)State of parameter -mdr-gen
SIGNAL)Signal for state mdrGen
GET)Getter for state mdrGen
input
::=null
output
::=string
SET)Setter for state mdrGen
input
::=string
output
::=null
STATE)State of parameter -mdr-debug
SIGNAL)Signal for state mdrDebug
GET)Getter for state mdrDebug
input
::=null
output
::=number
SET)Setter for state mdrDebug
input
::=number
output
::=null
STATE)State of parameter -mdr-warn-key
SIGNAL)Signal for state mdrWarnKey
GET)Getter for state mdrWarnKey
input
::=null
output
::=string
SET)Setter for state mdrWarnKey
input
::=string
output
::=null
STATE)State of parameter -mdr-msg-key
SIGNAL)Signal for state mdrMsgKey
GET)Getter for state mdrMsgKey
input
::=null
output
::=string
SET)Setter for state mdrMsgKey
input
::=string
output
::=null
STATE)State of parameter -mdr-verbose
SIGNAL)Signal for state mdrVerbose
GET)Getter for state mdrVerbose
input
::=null
output
::=number
SET)Setter for state mdrVerbose
input
::=number
output
::=null
STATE)State of parameter -mdr-log
SIGNAL)Signal for state mdrLog
GET)Getter for state mdrLog
input
::=null
output
::=string
SET)Setter for state mdrLog
input
::=string
output
::=null
STATE)State of parameter -reduc-gen-annot
SIGNAL)Signal for state reducGenAnnot
GET)Getter for state reducGenAnnot
input
::=null
output
::=string
SET)Setter for state reducGenAnnot
input
::=string
output
::=null
STATE)State of parameter -reduc
SIGNAL)Signal for state reduc
GET)Getter for state reduc
input
::=null
output
::=boolean
SET)Setter for state reduc
input
::=boolean
output
::=null
STATE)State of parameter -reduc-debug
SIGNAL)Signal for state reducDebug
GET)Getter for state reducDebug
input
::=null
output
::=number
SET)Setter for state reducDebug
input
::=number
output
::=null
STATE)State of parameter -reduc-warn-key
SIGNAL)Signal for state reducWarnKey
GET)Getter for state reducWarnKey
input
::=null
output
::=string
SET)Setter for state reducWarnKey
input
::=string
output
::=null
STATE)State of parameter -reduc-msg-key
SIGNAL)Signal for state reducMsgKey
GET)Getter for state reducMsgKey
input
::=null
output
::=string
SET)Setter for state reducMsgKey
input
::=string
output
::=null
STATE)State of parameter -reduc-verbose
SIGNAL)Signal for state reducVerbose
GET)Getter for state reducVerbose
input
::=null
output
::=number
SET)Setter for state reducVerbose
input
::=number
output
::=null
STATE)State of parameter -reduc-log
SIGNAL)Signal for state reducLog
GET)Getter for state reducLog
input
::=null
output
::=string
SET)Setter for state reducLog
input
::=string
output
::=null
STATE)State of parameter -region
SIGNAL)Signal for state region
GET)Getter for state region
input
::=null
output
::=boolean
SET)Setter for state region
input
::=boolean
output
::=null
STATE)State of parameter -region-debug
SIGNAL)Signal for state regionDebug
GET)Getter for state regionDebug
input
::=null
output
::=number
SET)Setter for state regionDebug
input
::=number
output
::=null
STATE)State of parameter -region-warn-key
SIGNAL)Signal for state regionWarnKey
GET)Getter for state regionWarnKey
input
::=null
output
::=string
SET)Setter for state regionWarnKey
input
::=string
output
::=null
STATE)State of parameter -region-msg-key
SIGNAL)Signal for state regionMsgKey
GET)Getter for state regionMsgKey
input
::=null
output
::=string
SET)Setter for state regionMsgKey
input
::=string
output
::=null
STATE)State of parameter -region-verbose
SIGNAL)Signal for state regionVerbose
GET)Getter for state regionVerbose
input
::=null
output
::=number
SET)Setter for state regionVerbose
input
::=number
output
::=null
STATE)State of parameter -region-log
SIGNAL)Signal for state regionLog
GET)Getter for state regionLog
input
::=null
output
::=string
SET)Setter for state regionLog
input
::=string
output
::=null
STATE)State of parameter -server-auto-log
SIGNAL)Signal for state serverAutoLog
GET)Getter for state serverAutoLog
input
::=null
output
::=boolean
SET)Setter for state serverAutoLog
input
::=boolean
output
::=null
STATE)State of parameter -server-polling
SIGNAL)Signal for state serverPolling
GET)Getter for state serverPolling
input
::=null
output
::=number
SET)Setter for state serverPolling
input
::=number
output
::=null
STATE)State of parameter -server-debug
SIGNAL)Signal for state serverDebug
GET)Getter for state serverDebug
input
::=null
output
::=number
SET)Setter for state serverDebug
input
::=number
output
::=null
STATE)State of parameter -server-warn-key
SIGNAL)Signal for state serverWarnKey
GET)Getter for state serverWarnKey
input
::=null
output
::=string
SET)Setter for state serverWarnKey
input
::=string
output
::=null
STATE)State of parameter -server-msg-key
SIGNAL)Signal for state serverMsgKey
GET)Getter for state serverMsgKey
input
::=null
output
::=string
SET)Setter for state serverMsgKey
input
::=string
output
::=null
STATE)State of parameter -server-verbose
SIGNAL)Signal for state serverVerbose
GET)Getter for state serverVerbose
input
::=null
output
::=number
SET)Setter for state serverVerbose
input
::=number
output
::=null
STATE)State of parameter -server-log
SIGNAL)Signal for state serverLog
GET)Getter for state serverLog
input
::=null
output
::=string
SET)Setter for state serverLog
input
::=string
output
::=null
STATE)State of parameter -server-batch-output-dir
SIGNAL)Signal for state serverBatchOutputDir
GET)Getter for state serverBatchOutputDir
input
::=null
output
::=string
SET)Setter for state serverBatchOutputDir
input
::=string
output
::=null
STATE)State of parameter -server-batch
SIGNAL)Signal for state serverBatch
GET)Getter for state serverBatch
input
::=null
output
::=string
SET)Setter for state serverBatch
input
::=string
output
::=null
STATE)State of parameter -server-doc
SIGNAL)Signal for state serverDoc
GET)Getter for state serverDoc
input
::=null
output
::=string
SET)Setter for state serverDoc
input
::=string
output
::=null
STATE)State of parameter -server-socket-port
SIGNAL)Signal for state serverSocketPort
GET)Getter for state serverSocketPort
input
::=null
output
::=number
SET)Setter for state serverSocketPort
input
::=number
output
::=null
STATE)State of parameter -server-socket-domain
SIGNAL)Signal for state serverSocketDomain
GET)Getter for state serverSocketDomain
input
::=null
output
::=string
SET)Setter for state serverSocketDomain
input
::=string
output
::=null
STATE)State of parameter -server-socket-size
SIGNAL)Signal for state serverSocketSize
GET)Getter for state serverSocketSize
input
::=null
output
::=number
SET)Setter for state serverSocketSize
input
::=number
output
::=null
STATE)State of parameter -server-gui
SIGNAL)Signal for state serverGui
GET)Getter for state serverGui
input
::=null
output
::=string
SET)Setter for state serverGui
input
::=string
output
::=null
STATE)State of parameter -server-zmq
SIGNAL)Signal for state serverZmq
GET)Getter for state serverZmq
input
::=null
output
::=string
SET)Setter for state serverZmq
input
::=string
output
::=null
STATE)State of parameter -server-tsc-out
SIGNAL)Signal for state serverTscOut
GET)Getter for state serverTscOut
input
::=null
output
::=string
SET)Setter for state serverTscOut
input
::=string
output
::=null
STATE)State of parameter -server-tsc
SIGNAL)Signal for state serverTsc
GET)Getter for state serverTsc
input
::=null
output
::=boolean
SET)Setter for state serverTsc
input
::=boolean
output
::=null
STATE)State of parameter -server-tsc-debug
SIGNAL)Signal for state serverTscDebug
GET)Getter for state serverTscDebug
input
::=null
output
::=number
SET)Setter for state serverTscDebug
input
::=number
output
::=null
STATE)State of parameter -server-tsc-warn-key
SIGNAL)Signal for state serverTscWarnKey
GET)Getter for state serverTscWarnKey
input
::=null
output
::=string
SET)Setter for state serverTscWarnKey
input
::=string
output
::=null
STATE)State of parameter -server-tsc-msg-key
SIGNAL)Signal for state serverTscMsgKey
GET)Getter for state serverTscMsgKey
input
::=null
output
::=string
SET)Setter for state serverTscMsgKey
input
::=string
output
::=null
STATE)State of parameter -server-tsc-verbose
SIGNAL)Signal for state serverTscVerbose
GET)Getter for state serverTscVerbose
input
::=null
output
::=number
SET)Setter for state serverTscVerbose
input
::=number
output
::=null
STATE)State of parameter -server-tsc-log
SIGNAL)Signal for state serverTscLog
GET)Getter for state serverTscLog
input
::=null
output
::=string
SET)Setter for state serverTscLog
input
::=string
output
::=null
STATE)State of parameter -studia-debug
SIGNAL)Signal for state studiaDebug
GET)Getter for state studiaDebug
input
::=null
output
::=number
SET)Setter for state studiaDebug
input
::=number
output
::=null
STATE)State of parameter -studia-warn-key
SIGNAL)Signal for state studiaWarnKey
GET)Getter for state studiaWarnKey
input
::=null
output
::=string
SET)Setter for state studiaWarnKey
input
::=string
output
::=null
STATE)State of parameter -studia-msg-key
SIGNAL)Signal for state studiaMsgKey
GET)Getter for state studiaMsgKey
input
::=null
output
::=string
SET)Setter for state studiaMsgKey
input
::=string
output
::=null
STATE)State of parameter -studia-verbose
SIGNAL)Signal for state studiaVerbose
GET)Getter for state studiaVerbose
input
::=null
output
::=number
SET)Setter for state studiaVerbose
input
::=number
output
::=null
STATE)State of parameter -studia-log
SIGNAL)Signal for state studiaLog
GET)Getter for state studiaLog
input
::=null
output
::=string
SET)Setter for state studiaLog
input
::=string
output
::=null
STATE)State of parameter -volatile-binding-prefix
SIGNAL)Signal for state volatileBindingPrefix
GET)Getter for state volatileBindingPrefix
input
::=null
output
::=string
SET)Setter for state volatileBindingPrefix
input
::=string
output
::=null
STATE)State of parameter -volatile-binding-call-pointer
SIGNAL)Signal for state volatileBindingCallPointer
GET)Getter for state volatileBindingCallPointer
input
::=null
output
::=boolean
SET)Setter for state volatileBindingCallPointer
input
::=boolean
output
::=null
STATE)State of parameter -volatile-binding-auto
SIGNAL)Signal for state volatileBindingAuto
GET)Getter for state volatileBindingAuto
input
::=null
output
::=boolean
SET)Setter for state volatileBindingAuto
input
::=boolean
output
::=null
STATE)State of parameter -volatile-binding
SIGNAL)Signal for state volatileBinding
GET)Getter for state volatileBinding
input
::=null
output
::=string
SET)Setter for state volatileBinding
input
::=string
output
::=null
STATE)State of parameter -volatile-basetype
SIGNAL)Signal for state volatileBasetype
GET)Getter for state volatileBasetype
input
::=null
output
::=boolean
SET)Setter for state volatileBasetype
input
::=boolean
output
::=null
STATE)State of parameter -volatile-call-pointer
SIGNAL)Signal for state volatileCallPointer
GET)Getter for state volatileCallPointer
input
::=null
output
::=string
SET)Setter for state volatileCallPointer
input
::=string
output
::=null
STATE)State of parameter -volatile-fct
SIGNAL)Signal for state volatileFct
GET)Getter for state volatileFct
input
::=null
output
::=string
SET)Setter for state volatileFct
input
::=string
output
::=null
STATE)State of parameter -volatile
SIGNAL)Signal for state volatile
GET)Getter for state volatile
input
::=null
output
::=boolean
SET)Setter for state volatile
input
::=boolean
output
::=null
STATE)State of parameter -volatile-debug
SIGNAL)Signal for state volatileDebug
GET)Getter for state volatileDebug
input
::=null
output
::=number
SET)Setter for state volatileDebug
input
::=number
output
::=null
STATE)State of parameter -volatile-warn-key
SIGNAL)Signal for state volatileWarnKey
GET)Getter for state volatileWarnKey
input
::=null
output
::=string
SET)Setter for state volatileWarnKey
input
::=string
output
::=null
STATE)State of parameter -volatile-msg-key
SIGNAL)Signal for state volatileMsgKey
GET)Getter for state volatileMsgKey
input
::=null
output
::=string
SET)Setter for state volatileMsgKey
input
::=string
output
::=null
STATE)State of parameter -volatile-verbose
SIGNAL)Signal for state volatileVerbose
GET)Getter for state volatileVerbose
input
::=null
output
::=number
SET)Setter for state volatileVerbose
input
::=number
output
::=null
STATE)State of parameter -volatile-log
SIGNAL)Signal for state volatileLog
GET)Getter for state volatileLog
input
::=null
output
::=string
SET)Setter for state volatileLog
input
::=string
output
::=null
STATE)State of parameter -wp-session
SIGNAL)Signal for state wpSession
GET)Getter for state wpSession
input
::=null
output
::=string
SET)Setter for state wpSession
input
::=string
output
::=null
STATE)State of parameter -wp-share
SIGNAL)Signal for state wpShare
GET)Getter for state wpShare
input
::=null
output
::=string
SET)Setter for state wpShare
input
::=string
output
::=null
STATE)State of parameter -wp-counter-examples
SIGNAL)Signal for state wpCounterExamples
GET)Getter for state wpCounterExamples
input
::=null
output
::=boolean
SET)Setter for state wpCounterExamples
input
::=boolean
output
::=null
STATE)State of parameter -wp-probes
SIGNAL)Signal for state wpProbes
GET)Getter for state wpProbes
input
::=null
output
::=boolean
SET)Setter for state wpProbes
input
::=boolean
output
::=null
STATE)State of parameter -wp-out
SIGNAL)Signal for state wpOut
GET)Getter for state wpOut
input
::=null
output
::=string
SET)Setter for state wpOut
input
::=string
output
::=null
STATE)State of parameter -wp-check-memory-model
SIGNAL)Signal for state wpCheckMemoryModel
GET)Getter for state wpCheckMemoryModel
input
::=null
output
::=boolean
SET)Setter for state wpCheckMemoryModel
input
::=boolean
output
::=null
STATE)State of parameter -wp-warn-memory-model
SIGNAL)Signal for state wpWarnMemoryModel
GET)Getter for state wpWarnMemoryModel
input
::=null
output
::=boolean
SET)Setter for state wpWarnMemoryModel
input
::=boolean
output
::=null
STATE)State of parameter -wp-report-basename
SIGNAL)Signal for state wpReportBasename
GET)Getter for state wpReportBasename
input
::=null
output
::=string
SET)Setter for state wpReportBasename
input
::=string
output
::=null
STATE)State of parameter -wp-deprecated-report-json
SIGNAL)Signal for state wpDeprecatedReportJson
GET)Getter for state wpDeprecatedReportJson
input
::=null
output
::=string
SET)Setter for state wpDeprecatedReportJson
input
::=string
output
::=null
STATE)State of parameter -wp-report-json
SIGNAL)Signal for state wpReportJson
GET)Getter for state wpReportJson
input
::=null
output
::=string
SET)Setter for state wpReportJson
input
::=string
output
::=null
STATE)State of parameter -wp-report
SIGNAL)Signal for state wpReport
GET)Getter for state wpReport
input
::=null
output
::=string
SET)Setter for state wpReport
input
::=string
output
::=null
STATE)State of parameter -wp-status
SIGNAL)Signal for state wpStatus
GET)Getter for state wpStatus
input
::=null
output
::=boolean
SET)Setter for state wpStatus
input
::=boolean
output
::=null
STATE)State of parameter -wp-print
SIGNAL)Signal for state wpPrint
GET)Getter for state wpPrint
input
::=null
output
::=boolean
SET)Setter for state wpPrint
input
::=boolean
output
::=null
STATE)State of parameter -wp-filename-truncation
SIGNAL)Signal for state wpFilenameTruncation
GET)Getter for state wpFilenameTruncation
input
::=null
output
::=number
SET)Setter for state wpFilenameTruncation
input
::=number
output
::=null
STATE)State of parameter -wp-debug
SIGNAL)Signal for state wpDebug
GET)Getter for state wpDebug
input
::=null
output
::=number
SET)Setter for state wpDebug
input
::=number
output
::=null
STATE)State of parameter -wp-variant-with-terminates
SIGNAL)Signal for state wpVariantWithTerminates
GET)Getter for state wpVariantWithTerminates
input
::=null
output
::=boolean
SET)Setter for state wpVariantWithTerminates
input
::=boolean
output
::=null
STATE)State of parameter -wp-precond-weakening
SIGNAL)Signal for state wpPrecondWeakening
GET)Getter for state wpPrecondWeakening
input
::=null
output
::=boolean
SET)Setter for state wpPrecondWeakening
input
::=boolean
output
::=null
STATE)State of parameter -wp-havoc
SIGNAL)Signal for state wpHavoc
GET)Getter for state wpHavoc
input
::=null
output
::=boolean
SET)Setter for state wpHavoc
input
::=boolean
output
::=null
STATE)State of parameter -wp-unfold-assigns
SIGNAL)Signal for state wpUnfoldAssigns
GET)Getter for state wpUnfoldAssigns
input
::=null
output
::=number
SET)Setter for state wpUnfoldAssigns
input
::=number
output
::=null
STATE)State of parameter -wp-max-split
SIGNAL)Signal for state wpMaxSplit
GET)Getter for state wpMaxSplit
input
::=null
output
::=number
SET)Setter for state wpMaxSplit
input
::=number
output
::=null
STATE)State of parameter -wp-split-cnf
SIGNAL)Signal for state wpSplitCnf
GET)Getter for state wpSplitCnf
input
::=null
output
::=number
SET)Setter for state wpSplitCnf
input
::=number
output
::=null
STATE)State of parameter -wp-split-conj
SIGNAL)Signal for state wpSplitConj
GET)Getter for state wpSplitConj
input
::=null
output
::=boolean
SET)Setter for state wpSplitConj
input
::=boolean
output
::=null
STATE)State of parameter -wp-split-switch
SIGNAL)Signal for state wpSplitSwitch
GET)Getter for state wpSplitSwitch
input
::=null
output
::=boolean
SET)Setter for state wpSplitSwitch
input
::=boolean
output
::=null
STATE)State of parameter -wp-split
SIGNAL)Signal for state wpSplit
GET)Getter for state wpSplit
input
::=null
output
::=boolean
SET)Setter for state wpSplit
input
::=boolean
output
::=null
STATE)State of parameter -wp-smoke-dead-loop
SIGNAL)Signal for state wpSmokeDeadLoop
GET)Getter for state wpSmokeDeadLoop
input
::=null
output
::=boolean
SET)Setter for state wpSmokeDeadLoop
input
::=boolean
output
::=null
STATE)State of parameter -wp-smoke-dead-local-init
SIGNAL)Signal for state wpSmokeDeadLocalInit
GET)Getter for state wpSmokeDeadLocalInit
input
::=null
output
::=boolean
SET)Setter for state wpSmokeDeadLocalInit
input
::=boolean
output
::=null
STATE)State of parameter -wp-smoke-dead-call
SIGNAL)Signal for state wpSmokeDeadCall
GET)Getter for state wpSmokeDeadCall
input
::=null
output
::=boolean
SET)Setter for state wpSmokeDeadCall
input
::=boolean
output
::=null
STATE)State of parameter -wp-smoke-dead-code
SIGNAL)Signal for state wpSmokeDeadCode
GET)Getter for state wpSmokeDeadCode
input
::=null
output
::=boolean
SET)Setter for state wpSmokeDeadCode
input
::=boolean
output
::=null
STATE)State of parameter -wp-smoke-dead-assumes
SIGNAL)Signal for state wpSmokeDeadAssumes
GET)Getter for state wpSmokeDeadAssumes
input
::=null
output
::=boolean
SET)Setter for state wpSmokeDeadAssumes
input
::=boolean
output
::=null
STATE)State of parameter -wp-smoke-tests
SIGNAL)Signal for state wpSmokeTests
GET)Getter for state wpSmokeTests
input
::=null
output
::=boolean
SET)Setter for state wpSmokeTests
input
::=boolean
output
::=null
STATE)State of parameter -wp-rte
SIGNAL)Signal for state wpRte
GET)Getter for state wpRte
input
::=null
output
::=boolean
SET)Setter for state wpRte
input
::=boolean
output
::=null
STATE)State of parameter -wp-callee-precond
SIGNAL)Signal for state wpCalleePrecond
GET)Getter for state wpCalleePrecond
input
::=null
output
::=boolean
SET)Setter for state wpCalleePrecond
input
::=boolean
output
::=null
STATE)State of parameter -wp-init-const
SIGNAL)Signal for state wpInitConst
GET)Getter for state wpInitConst
input
::=null
output
::=boolean
SET)Setter for state wpInitConst
input
::=boolean
output
::=null
STATE)State of parameter -wp-bound-forall-unfolding
SIGNAL)Signal for state wpBoundForallUnfolding
GET)Getter for state wpBoundForallUnfolding
input
::=null
output
::=number
SET)Setter for state wpBoundForallUnfolding
input
::=number
output
::=null
STATE)State of parameter -wp-init-summarize-array
SIGNAL)Signal for state wpInitSummarizeArray
GET)Getter for state wpInitSummarizeArray
input
::=null
output
::=boolean
SET)Setter for state wpInitSummarizeArray
input
::=boolean
output
::=null
STATE)State of parameter -wp-simplify-type
SIGNAL)Signal for state wpSimplifyType
GET)Getter for state wpSimplifyType
input
::=null
output
::=boolean
SET)Setter for state wpSimplifyType
input
::=boolean
output
::=null
STATE)State of parameter -wp-simplify-forall
SIGNAL)Signal for state wpSimplifyForall
GET)Getter for state wpSimplifyForall
input
::=null
output
::=boolean
SET)Setter for state wpSimplifyForall
input
::=boolean
output
::=null
STATE)State of parameter -wp-simplify-land-mask
SIGNAL)Signal for state wpSimplifyLandMask
GET)Getter for state wpSimplifyLandMask
input
::=null
output
::=boolean
SET)Setter for state wpSimplifyLandMask
input
::=boolean
output
::=null
STATE)State of parameter -wp-simplify-is-cint
SIGNAL)Signal for state wpSimplifyIsCint
GET)Getter for state wpSimplifyIsCint
input
::=null
output
::=boolean
SET)Setter for state wpSimplifyIsCint
input
::=boolean
output
::=null
STATE)State of parameter -wp-prenex
SIGNAL)Signal for state wpPrenex
GET)Getter for state wpPrenex
input
::=null
output
::=boolean
SET)Setter for state wpPrenex
input
::=boolean
output
::=null
STATE)State of parameter -wp-parasite
SIGNAL)Signal for state wpParasite
GET)Getter for state wpParasite
input
::=null
output
::=boolean
SET)Setter for state wpParasite
input
::=boolean
output
::=null
STATE)State of parameter -wp-filter
SIGNAL)Signal for state wpFilter
GET)Getter for state wpFilter
input
::=null
output
::=boolean
SET)Setter for state wpFilter
input
::=boolean
output
::=null
STATE)State of parameter -wp-extensional
SIGNAL)Signal for state wpExtensional
GET)Getter for state wpExtensional
input
::=null
output
::=boolean
SET)Setter for state wpExtensional
input
::=boolean
output
::=null
STATE)State of parameter -wp-reduce
SIGNAL)Signal for state wpReduce
GET)Getter for state wpReduce
input
::=null
output
::=boolean
SET)Setter for state wpReduce
input
::=boolean
output
::=null
STATE)State of parameter -wp-ground
SIGNAL)Signal for state wpGround
GET)Getter for state wpGround
input
::=null
output
::=boolean
SET)Setter for state wpGround
input
::=boolean
output
::=null
STATE)State of parameter -wp-clean
SIGNAL)Signal for state wpClean
GET)Getter for state wpClean
input
::=null
output
::=boolean
SET)Setter for state wpClean
input
::=boolean
output
::=null
STATE)State of parameter -wp-filter-init
SIGNAL)Signal for state wpFilterInit
GET)Getter for state wpFilterInit
input
::=null
output
::=boolean
SET)Setter for state wpFilterInit
input
::=boolean
output
::=null
STATE)State of parameter -wp-pruning
SIGNAL)Signal for state wpPruning
GET)Getter for state wpPruning
input
::=null
output
::=boolean
SET)Setter for state wpPruning
input
::=boolean
output
::=null
STATE)State of parameter -wp-core
SIGNAL)Signal for state wpCore
GET)Getter for state wpCore
input
::=null
output
::=boolean
SET)Setter for state wpCore
input
::=boolean
output
::=null
STATE)State of parameter -wp-let
SIGNAL)Signal for state wpLet
GET)Getter for state wpLet
input
::=null
output
::=boolean
SET)Setter for state wpLet
input
::=boolean
output
::=null
STATE)State of parameter -wp-simpl
SIGNAL)Signal for state wpSimpl
GET)Getter for state wpSimpl
input
::=null
output
::=boolean
SET)Setter for state wpSimpl
input
::=boolean
output
::=null
STATE)State of parameter -wp-why3-extra-config
SIGNAL)Signal for state wpWhy3ExtraConfig
GET)Getter for state wpWhy3ExtraConfig
input
::=null
output
::=string
SET)Setter for state wpWhy3ExtraConfig
input
::=string
output
::=null
STATE)State of parameter -wp-why3-opt
SIGNAL)Signal for state wpWhy3Opt
GET)Getter for state wpWhy3Opt
input
::=null
output
::=string
SET)Setter for state wpWhy3Opt
input
::=string
output
::=null
STATE)State of parameter -wp-tactic
SIGNAL)Signal for state wpTactic
GET)Getter for state wpTactic
input
::=null
output
::=string
SET)Setter for state wpTactic
input
::=string
output
::=null
STATE)State of parameter -wp-warn-key
SIGNAL)Signal for state wpWarnKey
GET)Getter for state wpWarnKey
input
::=null
output
::=string
SET)Setter for state wpWarnKey
input
::=string
output
::=null
STATE)State of parameter -wp-msg-key
SIGNAL)Signal for state wpMsgKey
GET)Getter for state wpMsgKey
input
::=null
output
::=string
SET)Setter for state wpMsgKey
input
::=string
output
::=null
STATE)State of parameter -wp-verbose
SIGNAL)Signal for state wpVerbose
GET)Getter for state wpVerbose
input
::=null
output
::=number
SET)Setter for state wpVerbose
input
::=number
output
::=null
STATE)State of parameter -wp-log
SIGNAL)Signal for state wpLog
GET)Getter for state wpLog
input
::=null
output
::=string
SET)Setter for state wpLog
input
::=string
output
::=null
STATE)State of parameter -wp-volatile
SIGNAL)Signal for state wpVolatile
GET)Getter for state wpVolatile
input
::=null
output
::=boolean
SET)Setter for state wpVolatile
input
::=boolean
output
::=null
STATE)State of parameter -wp-literals
SIGNAL)Signal for state wpLiterals
GET)Getter for state wpLiterals
input
::=null
output
::=boolean
SET)Setter for state wpLiterals
input
::=boolean
output
::=null
STATE)State of parameter -wp-weak-int-model
SIGNAL)Signal for state wpWeakIntModel
GET)Getter for state wpWeakIntModel
input
::=null
output
::=boolean
SET)Setter for state wpWeakIntModel
input
::=boolean
output
::=null
STATE)State of parameter -wp-extern-arrays
SIGNAL)Signal for state wpExternArrays
GET)Getter for state wpExternArrays
input
::=null
output
::=boolean
SET)Setter for state wpExternArrays
input
::=boolean
output
::=null
STATE)State of parameter -wp-context-vars
SIGNAL)Signal for state wpContextVars
GET)Getter for state wpContextVars
input
::=null
output
::=string
SET)Setter for state wpContextVars
input
::=string
output
::=null
STATE)State of parameter -wp-alias-init
SIGNAL)Signal for state wpAliasInit
GET)Getter for state wpAliasInit
input
::=null
output
::=boolean
SET)Setter for state wpAliasInit
input
::=boolean
output
::=null
STATE)State of parameter -wp-alias-vars
SIGNAL)Signal for state wpAliasVars
GET)Getter for state wpAliasVars
input
::=null
output
::=string
SET)Setter for state wpAliasVars
input
::=string
output
::=null
STATE)State of parameter -wp-ref-vars
SIGNAL)Signal for state wpRefVars
GET)Getter for state wpRefVars
input
::=null
output
::=string
SET)Setter for state wpRefVars
input
::=string
output
::=null
STATE)State of parameter -wp-unalias-vars
SIGNAL)Signal for state wpUnaliasVars
GET)Getter for state wpUnaliasVars
input
::=null
output
::=string
SET)Setter for state wpUnaliasVars
input
::=string
output
::=null
STATE)State of parameter -wp-model
SIGNAL)Signal for state wpModel
GET)Getter for state wpModel
input
::=null
output
::=string
SET)Setter for state wpModel
input
::=string
output
::=null
STATE)State of parameter -wp-auto-backtrack
SIGNAL)Signal for state wpAutoBacktrack
GET)Getter for state wpAutoBacktrack
input
::=null
output
::=number
SET)Setter for state wpAutoBacktrack
input
::=number
output
::=null
STATE)State of parameter -wp-auto-width
SIGNAL)Signal for state wpAutoWidth
GET)Getter for state wpAutoWidth
input
::=null
output
::=number
SET)Setter for state wpAutoWidth
input
::=number
output
::=null
STATE)State of parameter -wp-auto-depth
SIGNAL)Signal for state wpAutoDepth
GET)Getter for state wpAutoDepth
input
::=null
output
::=number
SET)Setter for state wpAutoDepth
input
::=number
output
::=null
STATE)State of parameter -wp-auto
SIGNAL)Signal for state wpAuto
GET)Getter for state wpAuto
input
::=null
output
::=string
SET)Setter for state wpAuto
input
::=string
output
::=null
STATE)State of parameter -wp-proof-trace
SIGNAL)Signal for state wpProofTrace
GET)Getter for state wpProofTrace
input
::=null
output
::=boolean
SET)Setter for state wpProofTrace
input
::=boolean
output
::=null
STATE)State of parameter -wp-par
SIGNAL)Signal for state wpPar
GET)Getter for state wpPar
input
::=null
output
::=number
SET)Setter for state wpPar
input
::=number
output
::=null
STATE)State of parameter -wp-time-margin
SIGNAL)Signal for state wpTimeMargin
GET)Getter for state wpTimeMargin
input
::=null
output
::=string
SET)Setter for state wpTimeMargin
input
::=string
output
::=null
STATE)State of parameter -wp-time-extra
SIGNAL)Signal for state wpTimeExtra
GET)Getter for state wpTimeExtra
input
::=null
output
::=number
SET)Setter for state wpTimeExtra
input
::=number
output
::=null
STATE)State of parameter -wp-interactive-timeout
SIGNAL)Signal for state wpInteractiveTimeout
GET)Getter for state wpInteractiveTimeout
input
::=null
output
::=number
SET)Setter for state wpInteractiveTimeout
input
::=number
output
::=null
STATE)State of parameter -wp-smoke-timeout
SIGNAL)Signal for state wpSmokeTimeout
GET)Getter for state wpSmokeTimeout
input
::=null
output
::=number
SET)Setter for state wpSmokeTimeout
input
::=number
output
::=null
STATE)State of parameter -wp-fct-timeout
SIGNAL)Signal for state wpFctTimeout
GET)Getter for state wpFctTimeout
input
::=null
output
::=string
SET)Setter for state wpFctTimeout
input
::=string
output
::=null
STATE)State of parameter -wp-memlimit
SIGNAL)Signal for state wpMemlimit
GET)Getter for state wpMemlimit
input
::=null
output
::=number
SET)Setter for state wpMemlimit
input
::=number
output
::=null
STATE)State of parameter -wp-timeout
SIGNAL)Signal for state wpTimeout
GET)Getter for state wpTimeout
input
::=null
output
::=number
SET)Setter for state wpTimeout
input
::=number
output
::=null
STATE)State of parameter -wp-steps
SIGNAL)Signal for state wpSteps
GET)Getter for state wpSteps
input
::=null
output
::=number
SET)Setter for state wpSteps
input
::=number
output
::=null
STATE)State of parameter -wp-driver
SIGNAL)Signal for state wpDriver
GET)Getter for state wpDriver
input
::=null
output
::=string
SET)Setter for state wpDriver
input
::=string
output
::=null
STATE)State of parameter -wp-library
SIGNAL)Signal for state wpLibrary
GET)Getter for state wpLibrary
input
::=null
output
::=string
SET)Setter for state wpLibrary
input
::=string
output
::=null
STATE)State of parameter -wp-detect
SIGNAL)Signal for state wpDetect
GET)Getter for state wpDetect
input
::=null
output
::=boolean
SET)Setter for state wpDetect
input
::=boolean
output
::=null
STATE)State of parameter -wp-dry-finalize-scripts
SIGNAL)Signal for state wpDryFinalizeScripts
GET)Getter for state wpDryFinalizeScripts
input
::=null
output
::=boolean
SET)Setter for state wpDryFinalizeScripts
input
::=boolean
output
::=null
STATE)State of parameter -wp-finalize-scripts
SIGNAL)Signal for state wpFinalizeScripts
GET)Getter for state wpFinalizeScripts
input
::=null
output
::=boolean
SET)Setter for state wpFinalizeScripts
input
::=boolean
output
::=null
STATE)State of parameter -wp-prepare-scripts
SIGNAL)Signal for state wpPrepareScripts
GET)Getter for state wpPrepareScripts
input
::=null
output
::=boolean
SET)Setter for state wpPrepareScripts
input
::=boolean
output
::=null
STATE)State of parameter -wp-script-on-stdout
SIGNAL)Signal for state wpScriptOnStdout
GET)Getter for state wpScriptOnStdout
input
::=null
output
::=boolean
SET)Setter for state wpScriptOnStdout
input
::=boolean
output
::=null
STATE)State of parameter -wp-gen
SIGNAL)Signal for state wpGen
GET)Getter for state wpGen
input
::=null
output
::=boolean
SET)Setter for state wpGen
input
::=boolean
output
::=null
STATE)State of parameter -wp-cache-print
SIGNAL)Signal for state wpCachePrint
GET)Getter for state wpCachePrint
input
::=null
output
::=boolean
SET)Setter for state wpCachePrint
input
::=boolean
output
::=null
STATE)State of parameter -wp-cache-env
SIGNAL)Signal for state wpCacheEnv
GET)Getter for state wpCacheEnv
input
::=null
output
::=boolean
SET)Setter for state wpCacheEnv
input
::=boolean
output
::=null
STATE)State of parameter -wp-cache-dir
SIGNAL)Signal for state wpCacheDir
GET)Getter for state wpCacheDir
input
::=null
output
::=string
SET)Setter for state wpCacheDir
input
::=string
output
::=null
STATE)State of parameter -wp-cache
SIGNAL)Signal for state wpCache
GET)Getter for state wpCache
input
::=null
output
::=string
SET)Setter for state wpCache
input
::=string
output
::=null
STATE)State of parameter -wp-run-all-provers
SIGNAL)Signal for state wpRunAllProvers
GET)Getter for state wpRunAllProvers
input
::=null
output
::=boolean
SET)Setter for state wpRunAllProvers
input
::=boolean
output
::=null
STATE)State of parameter -wp-strategy
SIGNAL)Signal for state wpStrategy
GET)Getter for state wpStrategy
input
::=null
output
::=string
SET)Setter for state wpStrategy
input
::=string
output
::=null
STATE)State of parameter -wp-strategy-engine
SIGNAL)Signal for state wpStrategyEngine
GET)Getter for state wpStrategyEngine
input
::=null
output
::=boolean
SET)Setter for state wpStrategyEngine
input
::=boolean
output
::=null
STATE)State of parameter -wp-script
SIGNAL)Signal for state wpScript
GET)Getter for state wpScript
input
::=null
output
::=string
SET)Setter for state wpScript
input
::=string
output
::=null
STATE)State of parameter -wp-interactive
SIGNAL)Signal for state wpInteractive
GET)Getter for state wpInteractive
input
::=null
output
::=string
SET)Setter for state wpInteractive
input
::=string
output
::=null
STATE)State of parameter -wp-prover
SIGNAL)Signal for state wpProver
GET)Getter for state wpProver
input
::=null
output
::=string
SET)Setter for state wpProver
input
::=string
output
::=null
STATE)State of parameter -wp-status-maybe
SIGNAL)Signal for state wpStatusMaybe
GET)Getter for state wpStatusMaybe
input
::=null
output
::=boolean
SET)Setter for state wpStatusMaybe
input
::=boolean
output
::=null
STATE)State of parameter -wp-status-invalid
SIGNAL)Signal for state wpStatusInvalid
GET)Getter for state wpStatusInvalid
input
::=null
output
::=boolean
SET)Setter for state wpStatusInvalid
input
::=boolean
output
::=null
STATE)State of parameter -wp-status-valid
SIGNAL)Signal for state wpStatusValid
GET)Getter for state wpStatusValid
input
::=null
output
::=boolean
SET)Setter for state wpStatusValid
input
::=boolean
output
::=null
STATE)State of parameter -wp-status-all
SIGNAL)Signal for state wpStatusAll
GET)Getter for state wpStatusAll
input
::=null
output
::=boolean
SET)Setter for state wpStatusAll
input
::=boolean
output
::=null
STATE)State of parameter -wp-prop
SIGNAL)Signal for state wpProp
GET)Getter for state wpProp
input
::=null
output
::=string
SET)Setter for state wpProp
input
::=string
output
::=null
STATE)State of parameter -wp-bhv
SIGNAL)Signal for state wpBhv
GET)Getter for state wpBhv
input
::=null
output
::=string
SET)Setter for state wpBhv
input
::=string
output
::=null
STATE)State of parameter -wp-skip-fct
SIGNAL)Signal for state wpSkipFct
GET)Getter for state wpSkipFct
input
::=null
output
::=string
SET)Setter for state wpSkipFct
input
::=string
output
::=null
STATE)State of parameter -wp-fct
SIGNAL)Signal for state wpFct
GET)Getter for state wpFct
input
::=null
output
::=string
SET)Setter for state wpFct
input
::=string
output
::=null
STATE)State of parameter -wp-dump
SIGNAL)Signal for state wpDump
GET)Getter for state wpDump
input
::=null
output
::=boolean
SET)Setter for state wpDump
input
::=boolean
output
::=null
STATE)State of parameter -wp
SIGNAL)Signal for state wp
GET)Getter for state wp
input
::=null
output
::=boolean
SET)Setter for state wp
input
::=boolean
output
::=null
STATE)State of parameter -aorai-instrumentation-history
SIGNAL)Signal for state aoraiInstrumentationHistory
GET)Getter for state aoraiInstrumentationHistory
input
::=null
output
::=number
SET)Setter for state aoraiInstrumentationHistory
input
::=number
output
::=null
STATE)State of parameter -aorai-smoke-tests
SIGNAL)Signal for state aoraiSmokeTests
GET)Getter for state aoraiSmokeTests
input
::=null
output
::=boolean
SET)Setter for state aoraiSmokeTests
input
::=boolean
output
::=null
STATE)State of parameter -aorai-add-oper
SIGNAL)Signal for state aoraiAddOper
GET)Getter for state aoraiAddOper
input
::=null
output
::=boolean
SET)Setter for state aoraiAddOper
input
::=boolean
output
::=null
STATE)State of parameter -aorai-simplified-auto
SIGNAL)Signal for state aoraiSimplifiedAuto
GET)Getter for state aoraiSimplifiedAuto
input
::=null
output
::=boolean
SET)Setter for state aoraiSimplifiedAuto
input
::=boolean
output
::=null
STATE)State of parameter -aorai-acceptance
SIGNAL)Signal for state aoraiAcceptance
GET)Getter for state aoraiAcceptance
input
::=null
output
::=boolean
SET)Setter for state aoraiAcceptance
input
::=boolean
output
::=null
STATE)State of parameter -aorai-generate-deterministic-lemmas
SIGNAL)Signal for state aoraiGenerateDeterministicLemmas
GET)Getter for state aoraiGenerateDeterministicLemmas
input
::=null
output
::=boolean
SET)Setter for state aoraiGenerateDeterministicLemmas
input
::=boolean
output
::=null
STATE)State of parameter -aorai-generate-annotations
SIGNAL)Signal for state aoraiGenerateAnnotations
GET)Getter for state aoraiGenerateAnnotations
input
::=null
output
::=boolean
SET)Setter for state aoraiGenerateAnnotations
input
::=boolean
output
::=null
STATE)State of parameter -aorai-spec-on
SIGNAL)Signal for state aoraiSpecOn
GET)Getter for state aoraiSpecOn
input
::=null
output
::=boolean
SET)Setter for state aoraiSpecOn
input
::=boolean
output
::=null
STATE)State of parameter -aorai-AI-off
SIGNAL)Signal for state aoraiAIOff
GET)Getter for state aoraiAIOff
input
::=null
output
::=boolean
SET)Setter for state aoraiAIOff
input
::=boolean
output
::=null
STATE)State of parameter -aorai-simple-AI
SIGNAL)Signal for state aoraiSimpleAI
GET)Getter for state aoraiSimpleAI
input
::=null
output
::=boolean
SET)Setter for state aoraiSimpleAI
input
::=boolean
output
::=null
STATE)State of parameter -aorai-dot-sep-labels
SIGNAL)Signal for state aoraiDotSepLabels
GET)Getter for state aoraiDotSepLabels
input
::=null
output
::=boolean
SET)Setter for state aoraiDotSepLabels
input
::=boolean
output
::=null
STATE)State of parameter -aorai-dot
SIGNAL)Signal for state aoraiDot
GET)Getter for state aoraiDot
input
::=null
output
::=boolean
SET)Setter for state aoraiDot
input
::=boolean
output
::=null
STATE)State of parameter -aorai-automata
SIGNAL)Signal for state aoraiAutomata
GET)Getter for state aoraiAutomata
input
::=null
output
::=string
SET)Setter for state aoraiAutomata
input
::=string
output
::=null
STATE)State of parameter -aorai-debug
SIGNAL)Signal for state aoraiDebug
GET)Getter for state aoraiDebug
input
::=null
output
::=number
SET)Setter for state aoraiDebug
input
::=number
output
::=null
STATE)State of parameter -aorai-warn-key
SIGNAL)Signal for state aoraiWarnKey
GET)Getter for state aoraiWarnKey
input
::=null
output
::=string
SET)Setter for state aoraiWarnKey
input
::=string
output
::=null
STATE)State of parameter -aorai-msg-key
SIGNAL)Signal for state aoraiMsgKey
GET)Getter for state aoraiMsgKey
input
::=null
output
::=string
SET)Setter for state aoraiMsgKey
input
::=string
output
::=null
STATE)State of parameter -aorai-verbose
SIGNAL)Signal for state aoraiVerbose
GET)Getter for state aoraiVerbose
input
::=null
output
::=number
SET)Setter for state aoraiVerbose
input
::=number
output
::=null
STATE)State of parameter -aorai-log
SIGNAL)Signal for state aoraiLog
GET)Getter for state aoraiLog
input
::=null
output
::=string
SET)Setter for state aoraiLog
input
::=string
output
::=null
STATE)State of parameter -cg-uncalled-leaf
SIGNAL)Signal for state cgUncalledLeaf
GET)Getter for state cgUncalledLeaf
input
::=null
output
::=boolean
SET)Setter for state cgUncalledLeaf
input
::=boolean
output
::=null
STATE)State of parameter -cg-uncalled
SIGNAL)Signal for state cgUncalled
GET)Getter for state cgUncalled
input
::=null
output
::=boolean
SET)Setter for state cgUncalled
input
::=boolean
output
::=null
STATE)State of parameter -cg-function-pointers
SIGNAL)Signal for state cgFunctionPointers
GET)Getter for state cgFunctionPointers
input
::=null
output
::=boolean
SET)Setter for state cgFunctionPointers
input
::=boolean
output
::=null
STATE)State of parameter -cg-service-roots
SIGNAL)Signal for state cgServiceRoots
GET)Getter for state cgServiceRoots
input
::=null
output
::=string
SET)Setter for state cgServiceRoots
input
::=string
output
::=null
STATE)State of parameter -cg-roots
SIGNAL)Signal for state cgRoots
GET)Getter for state cgRoots
input
::=null
output
::=string
SET)Setter for state cgRoots
input
::=string
output
::=null
STATE)State of parameter -cg-services
SIGNAL)Signal for state cgServices
GET)Getter for state cgServices
input
::=null
output
::=boolean
SET)Setter for state cgServices
input
::=boolean
output
::=null
STATE)State of parameter -cg
SIGNAL)Signal for state cg
GET)Getter for state cg
input
::=null
output
::=string
SET)Setter for state cg
input
::=string
output
::=null
STATE)State of parameter -cg-debug
SIGNAL)Signal for state cgDebug
GET)Getter for state cgDebug
input
::=null
output
::=number
SET)Setter for state cgDebug
input
::=number
output
::=null
STATE)State of parameter -cg-warn-key
SIGNAL)Signal for state cgWarnKey
GET)Getter for state cgWarnKey
input
::=null
output
::=string
SET)Setter for state cgWarnKey
input
::=string
output
::=null
STATE)State of parameter -cg-msg-key
SIGNAL)Signal for state cgMsgKey
GET)Getter for state cgMsgKey
input
::=null
output
::=string
SET)Setter for state cgMsgKey
input
::=string
output
::=null
STATE)State of parameter -cg-verbose
SIGNAL)Signal for state cgVerbose
GET)Getter for state cgVerbose
input
::=null
output
::=number
SET)Setter for state cgVerbose
input
::=number
output
::=null
STATE)State of parameter -cg-log
SIGNAL)Signal for state cgLog
GET)Getter for state cgLog
input
::=null
output
::=string
SET)Setter for state cgLog
input
::=string
output
::=null
STATE)State of parameter -dive-hide
SIGNAL)Signal for state diveHide
GET)Getter for state diveHide
input
::=null
output
::=string
SET)Setter for state diveHide
input
::=string
output
::=null
STATE)State of parameter -dive-unfold
SIGNAL)Signal for state diveUnfold
GET)Getter for state diveUnfold
input
::=null
output
::=string
SET)Setter for state diveUnfold
input
::=string
output
::=null
STATE)State of parameter -dive-from-variables
SIGNAL)Signal for state diveFromVariables
GET)Getter for state diveFromVariables
input
::=null
output
::=string
SET)Setter for state diveFromVariables
input
::=string
output
::=null
STATE)State of parameter -dive-from-alarms
SIGNAL)Signal for state diveFromAlarms
GET)Getter for state diveFromAlarms
input
::=null
output
::=string
SET)Setter for state diveFromAlarms
input
::=string
output
::=null
STATE)State of parameter -dive-depth-limit
SIGNAL)Signal for state diveDepthLimit
GET)Getter for state diveDepthLimit
input
::=null
output
::=number
SET)Setter for state diveDepthLimit
input
::=number
output
::=null
STATE)State of parameter -dive-output-json
SIGNAL)Signal for state diveOutputJson
GET)Getter for state diveOutputJson
input
::=null
output
::=string
SET)Setter for state diveOutputJson
input
::=string
output
::=null
STATE)State of parameter -dive-output-dot
SIGNAL)Signal for state diveOutputDot
GET)Getter for state diveOutputDot
input
::=null
output
::=string
SET)Setter for state diveOutputDot
input
::=string
output
::=null
STATE)State of parameter -dive-debug
SIGNAL)Signal for state diveDebug
GET)Getter for state diveDebug
input
::=null
output
::=number
SET)Setter for state diveDebug
input
::=number
output
::=null
STATE)State of parameter -dive-warn-key
SIGNAL)Signal for state diveWarnKey
GET)Getter for state diveWarnKey
input
::=null
output
::=string
SET)Setter for state diveWarnKey
input
::=string
output
::=null
STATE)State of parameter -dive-msg-key
SIGNAL)Signal for state diveMsgKey
GET)Getter for state diveMsgKey
input
::=null
output
::=string
SET)Setter for state diveMsgKey
input
::=string
output
::=null
STATE)State of parameter -dive-verbose
SIGNAL)Signal for state diveVerbose
GET)Getter for state diveVerbose
input
::=null
output
::=number
SET)Setter for state diveVerbose
input
::=number
output
::=null
STATE)State of parameter -dive-log
SIGNAL)Signal for state diveLog
GET)Getter for state diveLog
input
::=null
output
::=string
SET)Setter for state diveLog
input
::=string
output
::=null
STATE)State of parameter -from-verify-assigns
SIGNAL)Signal for state fromVerifyAssigns
GET)Getter for state fromVerifyAssigns
input
::=null
output
::=boolean
SET)Setter for state fromVerifyAssigns
input
::=boolean
output
::=null
STATE)State of parameter -show-indirect-deps
SIGNAL)Signal for state showIndirectDeps
GET)Getter for state showIndirectDeps
input
::=null
output
::=boolean
SET)Setter for state showIndirectDeps
input
::=boolean
output
::=null
STATE)State of parameter -calldeps
SIGNAL)Signal for state calldeps
GET)Getter for state calldeps
input
::=null
output
::=boolean
SET)Setter for state calldeps
input
::=boolean
output
::=null
STATE)State of parameter -deps
SIGNAL)Signal for state deps
GET)Getter for state deps
input
::=null
output
::=boolean
SET)Setter for state deps
input
::=boolean
output
::=null
STATE)State of parameter -from-debug
SIGNAL)Signal for state fromDebug
GET)Getter for state fromDebug
input
::=null
output
::=number
SET)Setter for state fromDebug
input
::=number
output
::=null
STATE)State of parameter -calldeps-print
SIGNAL)Signal for state calldepsPrint
GET)Getter for state calldepsPrint
input
::=null
output
::=boolean
SET)Setter for state calldepsPrint
input
::=boolean
output
::=null
STATE)State of parameter -deps-print
SIGNAL)Signal for state depsPrint
GET)Getter for state depsPrint
input
::=null
output
::=boolean
SET)Setter for state depsPrint
input
::=boolean
output
::=null
STATE)State of parameter -from-warn-key
SIGNAL)Signal for state fromWarnKey
GET)Getter for state fromWarnKey
input
::=null
output
::=string
SET)Setter for state fromWarnKey
input
::=string
output
::=null
STATE)State of parameter -from-msg-key
SIGNAL)Signal for state fromMsgKey
GET)Getter for state fromMsgKey
input
::=null
output
::=string
SET)Setter for state fromMsgKey
input
::=string
output
::=null
STATE)State of parameter -from-verbose
SIGNAL)Signal for state fromVerbose
GET)Getter for state fromVerbose
input
::=null
output
::=number
SET)Setter for state fromVerbose
input
::=number
output
::=null
STATE)State of parameter -from-log
SIGNAL)Signal for state fromLog
GET)Getter for state fromLog
input
::=null
output
::=string
SET)Setter for state fromLog
input
::=string
output
::=null
STATE)State of parameter -impact-in-callers
SIGNAL)Signal for state impactInCallers
GET)Getter for state impactInCallers
input
::=null
output
::=boolean
SET)Setter for state impactInCallers
input
::=boolean
output
::=null
STATE)State of parameter -impact-skip
SIGNAL)Signal for state impactSkip
GET)Getter for state impactSkip
input
::=null
output
::=string
SET)Setter for state impactSkip
input
::=string
output
::=null
STATE)State of parameter -impact-slicing
SIGNAL)Signal for state impactSlicing
GET)Getter for state impactSlicing
input
::=null
output
::=boolean
SET)Setter for state impactSlicing
input
::=boolean
output
::=null
STATE)State of parameter -impact-graph
SIGNAL)Signal for state impactGraph
GET)Getter for state impactGraph
input
::=null
output
::=boolean
SET)Setter for state impactGraph
input
::=boolean
output
::=null
STATE)State of parameter -impact-print
SIGNAL)Signal for state impactPrint
GET)Getter for state impactPrint
input
::=null
output
::=boolean
SET)Setter for state impactPrint
input
::=boolean
output
::=null
STATE)State of parameter -impact-annot
SIGNAL)Signal for state impactAnnot
GET)Getter for state impactAnnot
input
::=null
output
::=string
SET)Setter for state impactAnnot
input
::=string
output
::=null
STATE)State of parameter -impact-debug
SIGNAL)Signal for state impactDebug
GET)Getter for state impactDebug
input
::=null
output
::=number
SET)Setter for state impactDebug
input
::=number
output
::=null
STATE)State of parameter -impact-warn-key
SIGNAL)Signal for state impactWarnKey
GET)Getter for state impactWarnKey
input
::=null
output
::=string
SET)Setter for state impactWarnKey
input
::=string
output
::=null
STATE)State of parameter -impact-msg-key
SIGNAL)Signal for state impactMsgKey
GET)Getter for state impactMsgKey
input
::=null
output
::=string
SET)Setter for state impactMsgKey
input
::=string
output
::=null
STATE)State of parameter -impact-verbose
SIGNAL)Signal for state impactVerbose
GET)Getter for state impactVerbose
input
::=null
output
::=number
SET)Setter for state impactVerbose
input
::=number
output
::=null
STATE)State of parameter -impact-log
SIGNAL)Signal for state impactLog
GET)Getter for state impactLog
input
::=null
output
::=string
SET)Setter for state impactLog
input
::=string
output
::=null
STATE)State of parameter -inout-with-formals
SIGNAL)Signal for state inoutWithFormals
GET)Getter for state inoutWithFormals
input
::=null
output
::=boolean
SET)Setter for state inoutWithFormals
input
::=boolean
output
::=null
STATE)State of parameter -inout
SIGNAL)Signal for state inout
GET)Getter for state inout
input
::=null
output
::=boolean
SET)Setter for state inout
input
::=boolean
output
::=null
STATE)State of parameter -input-with-formals
SIGNAL)Signal for state inputWithFormals
GET)Getter for state inputWithFormals
input
::=null
output
::=boolean
SET)Setter for state inputWithFormals
input
::=boolean
output
::=null
STATE)State of parameter -input
SIGNAL)Signal for state input
GET)Getter for state input
input
::=null
output
::=boolean
SET)Setter for state input
input
::=boolean
output
::=null
STATE)State of parameter -out-external
SIGNAL)Signal for state outExternal
GET)Getter for state outExternal
input
::=null
output
::=boolean
SET)Setter for state outExternal
input
::=boolean
output
::=null
STATE)State of parameter -out
SIGNAL)Signal for state out
GET)Getter for state out
input
::=null
output
::=boolean
SET)Setter for state out
input
::=boolean
output
::=null
STATE)State of parameter -access-path
SIGNAL)Signal for state accessPath
GET)Getter for state accessPath
input
::=null
output
::=boolean
SET)Setter for state accessPath
input
::=boolean
output
::=null
STATE)State of parameter -deref
SIGNAL)Signal for state deref
GET)Getter for state deref
input
::=null
output
::=boolean
SET)Setter for state deref
input
::=boolean
output
::=null
STATE)State of parameter -inout-debug
SIGNAL)Signal for state inoutDebug
GET)Getter for state inoutDebug
input
::=null
output
::=number
SET)Setter for state inoutDebug
input
::=number
output
::=null
STATE)State of parameter -inout-print
SIGNAL)Signal for state inoutPrint
GET)Getter for state inoutPrint
input
::=null
output
::=boolean
SET)Setter for state inoutPrint
input
::=boolean
output
::=null
STATE)State of parameter -inout-warn-key
SIGNAL)Signal for state inoutWarnKey
GET)Getter for state inoutWarnKey
input
::=null
output
::=string
SET)Setter for state inoutWarnKey
input
::=string
output
::=null
STATE)State of parameter -inout-msg-key
SIGNAL)Signal for state inoutMsgKey
GET)Getter for state inoutMsgKey
input
::=null
output
::=string
SET)Setter for state inoutMsgKey
input
::=string
output
::=null
STATE)State of parameter -inout-verbose
SIGNAL)Signal for state inoutVerbose
GET)Getter for state inoutVerbose
input
::=null
output
::=number
SET)Setter for state inoutVerbose
input
::=number
output
::=null
STATE)State of parameter -inout-log
SIGNAL)Signal for state inoutLog
GET)Getter for state inoutLog
input
::=null
output
::=string
SET)Setter for state inoutLog
input
::=string
output
::=null
STATE)State of parameter -loop
SIGNAL)Signal for state loop
GET)Getter for state loop
input
::=null
output
::=boolean
SET)Setter for state loop
input
::=boolean
output
::=null
STATE)State of parameter -loop-debug
SIGNAL)Signal for state loopDebug
GET)Getter for state loopDebug
input
::=null
output
::=number
SET)Setter for state loopDebug
input
::=number
output
::=null
STATE)State of parameter -loop-warn-key
SIGNAL)Signal for state loopWarnKey
GET)Getter for state loopWarnKey
input
::=null
output
::=string
SET)Setter for state loopWarnKey
input
::=string
output
::=null
STATE)State of parameter -loop-msg-key
SIGNAL)Signal for state loopMsgKey
GET)Getter for state loopMsgKey
input
::=null
output
::=string
SET)Setter for state loopMsgKey
input
::=string
output
::=null
STATE)State of parameter -loop-verbose
SIGNAL)Signal for state loopVerbose
GET)Getter for state loopVerbose
input
::=null
output
::=number
SET)Setter for state loopVerbose
input
::=number
output
::=null
STATE)State of parameter -loop-log
SIGNAL)Signal for state loopLog
GET)Getter for state loopLog
input
::=null
output
::=string
SET)Setter for state loopLog
input
::=string
output
::=null
STATE)State of parameter -metrics-used-files
SIGNAL)Signal for state metricsUsedFiles
GET)Getter for state metricsUsedFiles
input
::=null
output
::=boolean
SET)Setter for state metricsUsedFiles
input
::=boolean
output
::=null
STATE)State of parameter -metrics-locals-size
SIGNAL)Signal for state metricsLocalsSize
GET)Getter for state metricsLocalsSize
input
::=null
output
::=string
SET)Setter for state metricsLocalsSize
input
::=string
output
::=null
STATE)State of parameter -metrics-cover
SIGNAL)Signal for state metricsCover
GET)Getter for state metricsCover
input
::=null
output
::=string
SET)Setter for state metricsCover
input
::=string
output
::=null
STATE)State of parameter -metrics-libc
SIGNAL)Signal for state metricsLibc
GET)Getter for state metricsLibc
input
::=null
output
::=boolean
SET)Setter for state metricsLibc
input
::=boolean
output
::=null
STATE)State of parameter -metrics-ast
SIGNAL)Signal for state metricsAst
GET)Getter for state metricsAst
input
::=null
output
::=string
SET)Setter for state metricsAst
input
::=string
output
::=null
STATE)State of parameter -metrics-eva-cover
SIGNAL)Signal for state metricsEvaCover
GET)Getter for state metricsEvaCover
input
::=null
output
::=boolean
SET)Setter for state metricsEvaCover
input
::=boolean
output
::=null
STATE)State of parameter -metrics-output
SIGNAL)Signal for state metricsOutput
GET)Getter for state metricsOutput
input
::=null
output
::=string
SET)Setter for state metricsOutput
input
::=string
output
::=null
STATE)State of parameter -metrics-by-function
SIGNAL)Signal for state metricsByFunction
GET)Getter for state metricsByFunction
input
::=null
output
::=boolean
SET)Setter for state metricsByFunction
input
::=boolean
output
::=null
STATE)State of parameter -metrics
SIGNAL)Signal for state metrics
GET)Getter for state metrics
input
::=null
output
::=boolean
SET)Setter for state metrics
input
::=boolean
output
::=null
STATE)State of parameter -metrics-debug
SIGNAL)Signal for state metricsDebug
GET)Getter for state metricsDebug
input
::=null
output
::=number
SET)Setter for state metricsDebug
input
::=number
output
::=null
STATE)State of parameter -metrics-eva-cover-print
SIGNAL)Signal for state metricsEvaCoverPrint
GET)Getter for state metricsEvaCoverPrint
input
::=null
output
::=boolean
SET)Setter for state metricsEvaCoverPrint
input
::=boolean
output
::=null
STATE)State of parameter -metrics-by-function-print
SIGNAL)Signal for state metricsByFunctionPrint
GET)Getter for state metricsByFunctionPrint
input
::=null
output
::=boolean
SET)Setter for state metricsByFunctionPrint
input
::=boolean
output
::=null
STATE)State of parameter -metrics-print
SIGNAL)Signal for state metricsPrint
GET)Getter for state metricsPrint
input
::=null
output
::=boolean
SET)Setter for state metricsPrint
input
::=boolean
output
::=null
STATE)State of parameter -metrics-warn-key
SIGNAL)Signal for state metricsWarnKey
GET)Getter for state metricsWarnKey
input
::=null
output
::=string
SET)Setter for state metricsWarnKey
input
::=string
output
::=null
STATE)State of parameter -metrics-msg-key
SIGNAL)Signal for state metricsMsgKey
GET)Getter for state metricsMsgKey
input
::=null
output
::=string
SET)Setter for state metricsMsgKey
input
::=string
output
::=null
STATE)State of parameter -metrics-verbose
SIGNAL)Signal for state metricsVerbose
GET)Getter for state metricsVerbose
input
::=null
output
::=number
SET)Setter for state metricsVerbose
input
::=number
output
::=null
STATE)State of parameter -metrics-log
SIGNAL)Signal for state metricsLog
GET)Getter for state metricsLog
input
::=null
output
::=string
SET)Setter for state metricsLog
input
::=string
output
::=null
STATE)State of parameter -mthread
SIGNAL)Signal for state mthread
GET)Getter for state mthread
input
::=null
output
::=boolean
SET)Setter for state mthread
input
::=boolean
output
::=null
STATE)State of parameter -mt-share
SIGNAL)Signal for state mtShare
GET)Getter for state mtShare
input
::=null
output
::=string
SET)Setter for state mtShare
input
::=string
output
::=null
STATE)State of parameter -mt-keep-dot-files
SIGNAL)Signal for state mtKeepDotFiles
GET)Getter for state mtKeepDotFiles
input
::=null
output
::=boolean
SET)Setter for state mtKeepDotFiles
input
::=boolean
output
::=null
STATE)State of parameter -mt-concat-dot-files-to
SIGNAL)Signal for state mtConcatDotFilesTo
GET)Getter for state mtConcatDotFilesTo
input
::=null
output
::=string
SET)Setter for state mtConcatDotFilesTo
input
::=string
output
::=null
STATE)State of parameter -mt-stop-after
SIGNAL)Signal for state mtStopAfter
GET)Getter for state mtStopAfter
input
::=null
output
::=number
SET)Setter for state mtStopAfter
input
::=number
output
::=null
STATE)State of parameter -mt-only-threads
SIGNAL)Signal for state mtOnlyThreads
GET)Getter for state mtOnlyThreads
input
::=null
output
::=string
SET)Setter for state mtOnlyThreads
input
::=string
output
::=null
STATE)State of parameter -mt-skip-threads
SIGNAL)Signal for state mtSkipThreads
GET)Getter for state mtSkipThreads
input
::=null
output
::=string
SET)Setter for state mtSkipThreads
input
::=string
output
::=null
STATE)State of parameter -mt-time
SIGNAL)Signal for state mtTime
GET)Getter for state mtTime
input
::=null
output
::=boolean
SET)Setter for state mtTime
input
::=boolean
output
::=null
STATE)State of parameter -mt-projects-on-disk-prefix
SIGNAL)Signal for state mtProjectsOnDiskPrefix
GET)Getter for state mtProjectsOnDiskPrefix
input
::=null
output
::=string
SET)Setter for state mtProjectsOnDiskPrefix
input
::=string
output
::=null
STATE)State of parameter -mt-ignore-null
SIGNAL)Signal for state mtIgnoreNull
GET)Getter for state mtIgnoreNull
input
::=null
output
::=boolean
SET)Setter for state mtIgnoreNull
input
::=boolean
output
::=null
STATE)State of parameter -mt-projects-on-disk
SIGNAL)Signal for state mtProjectsOnDisk
GET)Getter for state mtProjectsOnDisk
input
::=null
output
::=boolean
SET)Setter for state mtProjectsOnDisk
input
::=boolean
output
::=null
STATE)State of parameter -mt-keep-analyses
SIGNAL)Signal for state mtKeepAnalyses
GET)Getter for state mtKeepAnalyses
input
::=null
output
::=string
SET)Setter for state mtKeepAnalyses
input
::=string
output
::=null
STATE)State of parameter -mt-debug
SIGNAL)Signal for state mtDebug
GET)Getter for state mtDebug
input
::=null
output
::=number
SET)Setter for state mtDebug
input
::=number
output
::=null
STATE)State of parameter -mt-return-edges
SIGNAL)Signal for state mtReturnEdges
GET)Getter for state mtReturnEdges
input
::=null
output
::=boolean
SET)Setter for state mtReturnEdges
input
::=boolean
output
::=null
STATE)State of parameter -mt-non-concurrent-accesses
SIGNAL)Signal for state mtNonConcurrentAccesses
GET)Getter for state mtNonConcurrentAccesses
input
::=null
output
::=boolean
SET)Setter for state mtNonConcurrentAccesses
input
::=boolean
output
::=null
STATE)State of parameter -mt-non-shared-accesses
SIGNAL)Signal for state mtNonSharedAccesses
GET)Getter for state mtNonSharedAccesses
input
::=null
output
::=boolean
SET)Setter for state mtNonSharedAccesses
input
::=boolean
output
::=null
STATE)State of parameter -mt-full-cfg
SIGNAL)Signal for state mtFullCfg
GET)Getter for state mtFullCfg
input
::=null
output
::=boolean
SET)Setter for state mtFullCfg
input
::=boolean
output
::=null
STATE)State of parameter -mt-print-callstacks
SIGNAL)Signal for state mtPrintCallstacks
GET)Getter for state mtPrintCallstacks
input
::=null
output
::=boolean
SET)Setter for state mtPrintCallstacks
input
::=boolean
output
::=null
STATE)State of parameter -mt-moderate-warnings
SIGNAL)Signal for state mtModerateWarnings
GET)Getter for state mtModerateWarnings
input
::=null
output
::=boolean
SET)Setter for state mtModerateWarnings
input
::=boolean
output
::=null
STATE)State of parameter -mt-warn-key
SIGNAL)Signal for state mtWarnKey
GET)Getter for state mtWarnKey
input
::=null
output
::=string
SET)Setter for state mtWarnKey
input
::=string
output
::=null
STATE)State of parameter -mt-msg-key
SIGNAL)Signal for state mtMsgKey
GET)Getter for state mtMsgKey
input
::=null
output
::=string
SET)Setter for state mtMsgKey
input
::=string
output
::=null
STATE)State of parameter -mt-verbose
SIGNAL)Signal for state mtVerbose
GET)Getter for state mtVerbose
input
::=null
output
::=number
SET)Setter for state mtVerbose
input
::=number
output
::=null
STATE)State of parameter -mt-log
SIGNAL)Signal for state mtLog
GET)Getter for state mtLog
input
::=null
output
::=string
SET)Setter for state mtLog
input
::=string
output
::=null
STATE)State of parameter -mt-extract
SIGNAL)Signal for state mtExtract
GET)Getter for state mtExtract
input
::=null
output
::=string
SET)Setter for state mtExtract
input
::=string
output
::=null
STATE)State of parameter -mt-interrupt-handlers
SIGNAL)Signal for state mtInterruptHandlers
GET)Getter for state mtInterruptHandlers
input
::=null
output
::=string
SET)Setter for state mtInterruptHandlers
input
::=string
output
::=null
STATE)State of parameter -mt-shared-accesses-synchronization
SIGNAL)Signal for state mtSharedAccessesSynchronization
GET)Getter for state mtSharedAccessesSynchronization
input
::=null
output
::=boolean
SET)Setter for state mtSharedAccessesSynchronization
input
::=boolean
output
::=null
STATE)State of parameter -mt-shared-values
SIGNAL)Signal for state mtSharedValues
GET)Getter for state mtSharedValues
input
::=null
output
::=number
SET)Setter for state mtSharedValues
input
::=number
output
::=null
STATE)State of parameter -mt-write-races
SIGNAL)Signal for state mtWriteRaces
GET)Getter for state mtWriteRaces
input
::=null
output
::=boolean
SET)Setter for state mtWriteRaces
input
::=boolean
output
::=null
STATE)State of parameter -mt-threads-lib
SIGNAL)Signal for state mtThreadsLib
GET)Getter for state mtThreadsLib
input
::=null
output
::=string
SET)Setter for state mtThreadsLib
input
::=string
output
::=null
STATE)State of parameter -nonterm-dead-code
SIGNAL)Signal for state nontermDeadCode
GET)Getter for state nontermDeadCode
input
::=null
output
::=boolean
SET)Setter for state nontermDeadCode
input
::=boolean
output
::=null
STATE)State of parameter -nonterm-ignore
SIGNAL)Signal for state nontermIgnore
GET)Getter for state nontermIgnore
input
::=null
output
::=string
SET)Setter for state nontermIgnore
input
::=string
output
::=null
STATE)State of parameter -nonterm
SIGNAL)Signal for state nonterm
GET)Getter for state nonterm
input
::=null
output
::=boolean
SET)Setter for state nonterm
input
::=boolean
output
::=null
STATE)State of parameter -nonterm-debug
SIGNAL)Signal for state nontermDebug
GET)Getter for state nontermDebug
input
::=null
output
::=number
SET)Setter for state nontermDebug
input
::=number
output
::=null
STATE)State of parameter -nonterm-print
SIGNAL)Signal for state nontermPrint
GET)Getter for state nontermPrint
input
::=null
output
::=boolean
SET)Setter for state nontermPrint
input
::=boolean
output
::=null
STATE)State of parameter -nonterm-warn-key
SIGNAL)Signal for state nontermWarnKey
GET)Getter for state nontermWarnKey
input
::=null
output
::=string
SET)Setter for state nontermWarnKey
input
::=string
output
::=null
STATE)State of parameter -nonterm-msg-key
SIGNAL)Signal for state nontermMsgKey
GET)Getter for state nontermMsgKey
input
::=null
output
::=string
SET)Setter for state nontermMsgKey
input
::=string
output
::=null
STATE)State of parameter -nonterm-verbose
SIGNAL)Signal for state nontermVerbose
GET)Getter for state nontermVerbose
input
::=null
output
::=number
SET)Setter for state nontermVerbose
input
::=number
output
::=null
STATE)State of parameter -nonterm-log
SIGNAL)Signal for state nontermLog
GET)Getter for state nontermLog
input
::=null
output
::=string
SET)Setter for state nontermLog
input
::=string
output
::=null
STATE)State of parameter -obfuscator-string-dictionary
SIGNAL)Signal for state obfuscatorStringDictionary
GET)Getter for state obfuscatorStringDictionary
input
::=null
output
::=string
SET)Setter for state obfuscatorStringDictionary
input
::=string
output
::=null
STATE)State of parameter -obfuscator-dictionary
SIGNAL)Signal for state obfuscatorDictionary
GET)Getter for state obfuscatorDictionary
input
::=null
output
::=string
SET)Setter for state obfuscatorDictionary
input
::=string
output
::=null
STATE)State of parameter -obfuscate
SIGNAL)Signal for state obfuscate
GET)Getter for state obfuscate
input
::=null
output
::=boolean
SET)Setter for state obfuscate
input
::=boolean
output
::=null
STATE)State of parameter -obfuscator-debug
SIGNAL)Signal for state obfuscatorDebug
GET)Getter for state obfuscatorDebug
input
::=null
output
::=number
SET)Setter for state obfuscatorDebug
input
::=number
output
::=null
STATE)State of parameter -obfuscator-warn-key
SIGNAL)Signal for state obfuscatorWarnKey
GET)Getter for state obfuscatorWarnKey
input
::=null
output
::=string
SET)Setter for state obfuscatorWarnKey
input
::=string
output
::=null
STATE)State of parameter -obfuscator-msg-key
SIGNAL)Signal for state obfuscatorMsgKey
GET)Getter for state obfuscatorMsgKey
input
::=null
output
::=string
SET)Setter for state obfuscatorMsgKey
input
::=string
output
::=null
STATE)State of parameter -obfuscator-verbose
SIGNAL)Signal for state obfuscatorVerbose
GET)Getter for state obfuscatorVerbose
input
::=null
output
::=number
SET)Setter for state obfuscatorVerbose
input
::=number
output
::=null
STATE)State of parameter -obfuscator-log
SIGNAL)Signal for state obfuscatorLog
GET)Getter for state obfuscatorLog
input
::=null
output
::=string
SET)Setter for state obfuscatorLog
input
::=string
output
::=null
STATE)State of parameter -occurrence
SIGNAL)Signal for state occurrence
GET)Getter for state occurrence
input
::=null
output
::=boolean
SET)Setter for state occurrence
input
::=boolean
output
::=null
STATE)State of parameter -occurrence-debug
SIGNAL)Signal for state occurrenceDebug
GET)Getter for state occurrenceDebug
input
::=null
output
::=number
SET)Setter for state occurrenceDebug
input
::=number
output
::=null
STATE)State of parameter -occurrence-warn-key
SIGNAL)Signal for state occurrenceWarnKey
GET)Getter for state occurrenceWarnKey
input
::=null
output
::=string
SET)Setter for state occurrenceWarnKey
input
::=string
output
::=null
STATE)State of parameter -occurrence-msg-key
SIGNAL)Signal for state occurrenceMsgKey
GET)Getter for state occurrenceMsgKey
input
::=null
output
::=string
SET)Setter for state occurrenceMsgKey
input
::=string
output
::=null
STATE)State of parameter -occurrence-verbose
SIGNAL)Signal for state occurrenceVerbose
GET)Getter for state occurrenceVerbose
input
::=null
output
::=number
SET)Setter for state occurrenceVerbose
input
::=number
output
::=null
STATE)State of parameter -occurrence-log
SIGNAL)Signal for state occurrenceLog
GET)Getter for state occurrenceLog
input
::=null
output
::=string
SET)Setter for state occurrenceLog
input
::=string
output
::=null
STATE)State of parameter -fct-pdg
SIGNAL)Signal for state fctPdg
GET)Getter for state fctPdg
input
::=null
output
::=string
SET)Setter for state fctPdg
input
::=string
output
::=null
STATE)State of parameter -pdg
SIGNAL)Signal for state pdg
GET)Getter for state pdg
input
::=null
output
::=boolean
SET)Setter for state pdg
input
::=boolean
output
::=null
STATE)State of parameter -pdg-debug
SIGNAL)Signal for state pdgDebug
GET)Getter for state pdgDebug
input
::=null
output
::=number
SET)Setter for state pdgDebug
input
::=number
output
::=null
STATE)State of parameter -pdg-print
SIGNAL)Signal for state pdgPrint
GET)Getter for state pdgPrint
input
::=null
output
::=boolean
SET)Setter for state pdgPrint
input
::=boolean
output
::=null
STATE)State of parameter -pdg-warn-key
SIGNAL)Signal for state pdgWarnKey
GET)Getter for state pdgWarnKey
input
::=null
output
::=string
SET)Setter for state pdgWarnKey
input
::=string
output
::=null
STATE)State of parameter -pdg-msg-key
SIGNAL)Signal for state pdgMsgKey
GET)Getter for state pdgMsgKey
input
::=null
output
::=string
SET)Setter for state pdgMsgKey
input
::=string
output
::=null
STATE)State of parameter -pdg-verbose
SIGNAL)Signal for state pdgVerbose
GET)Getter for state pdgVerbose
input
::=null
output
::=number
SET)Setter for state pdgVerbose
input
::=number
output
::=null
STATE)State of parameter -pdg-log
SIGNAL)Signal for state pdgLog
GET)Getter for state pdgLog
input
::=null
output
::=string
SET)Setter for state pdgLog
input
::=string
output
::=null
STATE)State of parameter -pdg-dot
SIGNAL)Signal for state pdgDot
GET)Getter for state pdgDot
input
::=null
output
::=string
SET)Setter for state pdgDot
input
::=string
output
::=null
STATE)State of parameter -codpds
SIGNAL)Signal for state codpds
GET)Getter for state codpds
input
::=null
output
::=boolean
SET)Setter for state codpds
input
::=boolean
output
::=null
STATE)State of parameter -report
SIGNAL)Signal for state report
GET)Getter for state report
input
::=null
output
::=boolean
SET)Setter for state report
input
::=boolean
output
::=null
STATE)State of parameter -report-debug
SIGNAL)Signal for state reportDebug
GET)Getter for state reportDebug
input
::=null
output
::=number
SET)Setter for state reportDebug
input
::=number
output
::=null
STATE)State of parameter -report-exit
SIGNAL)Signal for state reportExit
GET)Getter for state reportExit
input
::=null
output
::=boolean
SET)Setter for state reportExit
input
::=boolean
output
::=null
STATE)State of parameter -report-stdout
SIGNAL)Signal for state reportStdout
GET)Getter for state reportStdout
input
::=null
output
::=boolean
SET)Setter for state reportStdout
input
::=boolean
output
::=null
STATE)State of parameter -report-stderr
SIGNAL)Signal for state reportStderr
GET)Getter for state reportStderr
input
::=null
output
::=boolean
SET)Setter for state reportStderr
input
::=boolean
output
::=null
STATE)State of parameter -report-output-unclassified
SIGNAL)Signal for state reportOutputUnclassified
GET)Getter for state reportOutputUnclassified
input
::=null
output
::=string
SET)Setter for state reportOutputUnclassified
input
::=string
output
::=null
STATE)State of parameter -report-output-errors
SIGNAL)Signal for state reportOutputErrors
GET)Getter for state reportOutputErrors
input
::=null
output
::=string
SET)Setter for state reportOutputErrors
input
::=string
output
::=null
STATE)State of parameter -report-output-reviews
SIGNAL)Signal for state reportOutputReviews
GET)Getter for state reportOutputReviews
input
::=null
output
::=string
SET)Setter for state reportOutputReviews
input
::=string
output
::=null
STATE)State of parameter -report-absolute-path
SIGNAL)Signal for state reportAbsolutePath
GET)Getter for state reportAbsolutePath
input
::=null
output
::=boolean
SET)Setter for state reportAbsolutePath
input
::=boolean
output
::=null
STATE)State of parameter -report-output
SIGNAL)Signal for state reportOutput
GET)Getter for state reportOutput
input
::=null
output
::=string
SET)Setter for state reportOutput
input
::=string
output
::=null
STATE)State of parameter -report-unclassified-invalid
SIGNAL)Signal for state reportUnclassifiedInvalid
GET)Getter for state reportUnclassifiedInvalid
input
::=null
output
::=string
SET)Setter for state reportUnclassifiedInvalid
input
::=string
output
::=null
STATE)State of parameter -report-unclassified-unknown
SIGNAL)Signal for state reportUnclassifiedUnknown
GET)Getter for state reportUnclassifiedUnknown
input
::=null
output
::=string
SET)Setter for state reportUnclassifiedUnknown
input
::=string
output
::=null
STATE)State of parameter -report-unclassified-untried
SIGNAL)Signal for state reportUnclassifiedUntried
GET)Getter for state reportUnclassifiedUntried
input
::=null
output
::=string
SET)Setter for state reportUnclassifiedUntried
input
::=string
output
::=null
STATE)State of parameter -report-status
SIGNAL)Signal for state reportStatus
GET)Getter for state reportStatus
input
::=null
output
::=boolean
SET)Setter for state reportStatus
input
::=boolean
output
::=null
STATE)State of parameter -report-unclassified-error
SIGNAL)Signal for state reportUnclassifiedError
GET)Getter for state reportUnclassifiedError
input
::=null
output
::=string
SET)Setter for state reportUnclassifiedError
input
::=string
output
::=null
STATE)State of parameter -report-unclassified-warning
SIGNAL)Signal for state reportUnclassifiedWarning
GET)Getter for state reportUnclassifiedWarning
input
::=null
output
::=string
SET)Setter for state reportUnclassifiedWarning
input
::=string
output
::=null
STATE)State of parameter -report-rules
SIGNAL)Signal for state reportRules
GET)Getter for state reportRules
input
::=null
output
::=string
SET)Setter for state reportRules
input
::=string
output
::=null
STATE)State of parameter -report-classify
SIGNAL)Signal for state reportClassify
GET)Getter for state reportClassify
input
::=null
output
::=boolean
SET)Setter for state reportClassify
input
::=boolean
output
::=null
STATE)State of parameter -report-warn-key
SIGNAL)Signal for state reportWarnKey
GET)Getter for state reportWarnKey
input
::=null
output
::=string
SET)Setter for state reportWarnKey
input
::=string
output
::=null
STATE)State of parameter -report-msg-key
SIGNAL)Signal for state reportMsgKey
GET)Getter for state reportMsgKey
input
::=null
output
::=string
SET)Setter for state reportMsgKey
input
::=string
output
::=null
STATE)State of parameter -report-verbose
SIGNAL)Signal for state reportVerbose
GET)Getter for state reportVerbose
input
::=null
output
::=number
SET)Setter for state reportVerbose
input
::=number
output
::=null
STATE)State of parameter -report-log
SIGNAL)Signal for state reportLog
GET)Getter for state reportLog
input
::=null
output
::=string
SET)Setter for state reportLog
input
::=string
output
::=null
STATE)State of parameter -report-csv
SIGNAL)Signal for state reportCsv
GET)Getter for state reportCsv
input
::=null
output
::=string
SET)Setter for state reportCsv
input
::=string
output
::=null
STATE)State of parameter -report-proven
SIGNAL)Signal for state reportProven
GET)Getter for state reportProven
input
::=null
output
::=boolean
SET)Setter for state reportProven
input
::=boolean
output
::=null
STATE)State of parameter -report-specialized
SIGNAL)Signal for state reportSpecialized
GET)Getter for state reportSpecialized
input
::=null
output
::=boolean
SET)Setter for state reportSpecialized
input
::=boolean
output
::=null
STATE)State of parameter -report-untried
SIGNAL)Signal for state reportUntried
GET)Getter for state reportUntried
input
::=null
output
::=boolean
SET)Setter for state reportUntried
input
::=boolean
output
::=null
STATE)State of parameter -report-print-properties
SIGNAL)Signal for state reportPrintProperties
GET)Getter for state reportPrintProperties
input
::=null
output
::=boolean
SET)Setter for state reportPrintProperties
input
::=boolean
output
::=null
STATE)State of parameter -rte-select
SIGNAL)Signal for state rteSelect
GET)Getter for state rteSelect
input
::=null
output
::=string
SET)Setter for state rteSelect
input
::=string
output
::=null
STATE)State of parameter -rte-warn
SIGNAL)Signal for state rteWarn
GET)Getter for state rteWarn
input
::=null
output
::=boolean
SET)Setter for state rteWarn
input
::=boolean
output
::=null
STATE)State of parameter -rte-trivial-annotations
SIGNAL)Signal for state rteTrivialAnnotations
GET)Getter for state rteTrivialAnnotations
input
::=null
output
::=boolean
SET)Setter for state rteTrivialAnnotations
input
::=boolean
output
::=null
STATE)State of parameter -rte-pointer-call
SIGNAL)Signal for state rtePointerCall
GET)Getter for state rtePointerCall
input
::=null
output
::=boolean
SET)Setter for state rtePointerCall
input
::=boolean
output
::=null
STATE)State of parameter -rte-mem
SIGNAL)Signal for state rteMem
GET)Getter for state rteMem
input
::=null
output
::=boolean
SET)Setter for state rteMem
input
::=boolean
output
::=null
STATE)State of parameter -rte-initialized
SIGNAL)Signal for state rteInitialized
GET)Getter for state rteInitialized
input
::=null
output
::=string
SET)Setter for state rteInitialized
input
::=string
output
::=null
STATE)State of parameter -rte-float-to-int
SIGNAL)Signal for state rteFloatToInt
GET)Getter for state rteFloatToInt
input
::=null
output
::=boolean
SET)Setter for state rteFloatToInt
input
::=boolean
output
::=null
STATE)State of parameter -rte-shift
SIGNAL)Signal for state rteShift
GET)Getter for state rteShift
input
::=null
output
::=boolean
SET)Setter for state rteShift
input
::=boolean
output
::=null
STATE)State of parameter -rte-div
SIGNAL)Signal for state rteDiv
GET)Getter for state rteDiv
input
::=null
output
::=boolean
SET)Setter for state rteDiv
input
::=boolean
output
::=null
STATE)State of parameter -rte
SIGNAL)Signal for state rte
GET)Getter for state rte
input
::=null
output
::=boolean
SET)Setter for state rte
input
::=boolean
output
::=null
STATE)State of parameter -rte-debug
SIGNAL)Signal for state rteDebug
GET)Getter for state rteDebug
input
::=null
output
::=number
SET)Setter for state rteDebug
input
::=number
output
::=null
STATE)State of parameter -rte-warn-key
SIGNAL)Signal for state rteWarnKey
GET)Getter for state rteWarnKey
input
::=null
output
::=string
SET)Setter for state rteWarnKey
input
::=string
output
::=null
STATE)State of parameter -rte-msg-key
SIGNAL)Signal for state rteMsgKey
GET)Getter for state rteMsgKey
input
::=null
output
::=string
SET)Setter for state rteMsgKey
input
::=string
output
::=null
STATE)State of parameter -rte-verbose
SIGNAL)Signal for state rteVerbose
GET)Getter for state rteVerbose
input
::=null
output
::=number
SET)Setter for state rteVerbose
input
::=number
output
::=null
STATE)State of parameter -rte-log
SIGNAL)Signal for state rteLog
GET)Getter for state rteLog
input
::=null
output
::=string
SET)Setter for state rteLog
input
::=string
output
::=null
STATE)State of parameter -scope-defs-interproc
SIGNAL)Signal for state scopeDefsInterproc
GET)Getter for state scopeDefsInterproc
input
::=null
output
::=boolean
SET)Setter for state scopeDefsInterproc
input
::=boolean
output
::=null
STATE)State of parameter -scope-debug
SIGNAL)Signal for state scopeDebug
GET)Getter for state scopeDebug
input
::=null
output
::=number
SET)Setter for state scopeDebug
input
::=number
output
::=null
STATE)State of parameter -scope-warn-key
SIGNAL)Signal for state scopeWarnKey
GET)Getter for state scopeWarnKey
input
::=null
output
::=string
SET)Setter for state scopeWarnKey
input
::=string
output
::=null
STATE)State of parameter -scope-msg-key
SIGNAL)Signal for state scopeMsgKey
GET)Getter for state scopeMsgKey
input
::=null
output
::=string
SET)Setter for state scopeMsgKey
input
::=string
output
::=null
STATE)State of parameter -scope-verbose
SIGNAL)Signal for state scopeVerbose
GET)Getter for state scopeVerbose
input
::=null
output
::=number
SET)Setter for state scopeVerbose
input
::=number
output
::=null
STATE)State of parameter -scope-log
SIGNAL)Signal for state scopeLog
GET)Getter for state scopeLog
input
::=null
output
::=string
SET)Setter for state scopeLog
input
::=string
output
::=null
STATE)State of parameter -security-slicing
SIGNAL)Signal for state securitySlicing
GET)Getter for state securitySlicing
input
::=null
output
::=boolean
SET)Setter for state securitySlicing
input
::=boolean
output
::=null
STATE)State of parameter -security-slicing-debug
SIGNAL)Signal for state securitySlicingDebug
GET)Getter for state securitySlicingDebug
input
::=null
output
::=number
SET)Setter for state securitySlicingDebug
input
::=number
output
::=null
STATE)State of parameter -security-slicing-warn-key
SIGNAL)Signal for state securitySlicingWarnKey
GET)Getter for state securitySlicingWarnKey
input
::=null
output
::=string
SET)Setter for state securitySlicingWarnKey
input
::=string
output
::=null
STATE)State of parameter -security-slicing-msg-key
SIGNAL)Signal for state securitySlicingMsgKey
GET)Getter for state securitySlicingMsgKey
input
::=null
output
::=string
SET)Setter for state securitySlicingMsgKey
input
::=string
output
::=null
STATE)State of parameter -security-slicing-verbose
SIGNAL)Signal for state securitySlicingVerbose
GET)Getter for state securitySlicingVerbose
input
::=null
output
::=number
SET)Setter for state securitySlicingVerbose
input
::=number
output
::=null
STATE)State of parameter -security-slicing-log
SIGNAL)Signal for state securitySlicingLog
GET)Getter for state securitySlicingLog
input
::=null
output
::=string
SET)Setter for state securitySlicingLog
input
::=string
output
::=null
STATE)State of parameter -scf-project-name
SIGNAL)Signal for state scfProjectName
GET)Getter for state scfProjectName
input
::=null
output
::=string
SET)Setter for state scfProjectName
input
::=string
output
::=null
STATE)State of parameter -scf-logic
SIGNAL)Signal for state scfLogic
GET)Getter for state scfLogic
input
::=null
output
::=boolean
SET)Setter for state scfLogic
input
::=boolean
output
::=null
STATE)State of parameter -scf-allow-cast
SIGNAL)Signal for state scfAllowCast
GET)Getter for state scfAllowCast
input
::=null
output
::=boolean
SET)Setter for state scfAllowCast
input
::=boolean
output
::=null
STATE)State of parameter -scf-fct
SIGNAL)Signal for state scfFct
GET)Getter for state scfFct
input
::=null
output
::=string
SET)Setter for state scfFct
input
::=string
output
::=null
STATE)State of parameter -scf
SIGNAL)Signal for state scf
GET)Getter for state scf
input
::=null
output
::=boolean
SET)Setter for state scf
input
::=boolean
output
::=null
STATE)State of parameter -scf-debug
SIGNAL)Signal for state scfDebug
GET)Getter for state scfDebug
input
::=null
output
::=number
SET)Setter for state scfDebug
input
::=number
output
::=null
STATE)State of parameter -scf-warn-key
SIGNAL)Signal for state scfWarnKey
GET)Getter for state scfWarnKey
input
::=null
output
::=string
SET)Setter for state scfWarnKey
input
::=string
output
::=null
STATE)State of parameter -scf-msg-key
SIGNAL)Signal for state scfMsgKey
GET)Getter for state scfMsgKey
input
::=null
output
::=string
SET)Setter for state scfMsgKey
input
::=string
output
::=null
STATE)State of parameter -scf-verbose
SIGNAL)Signal for state scfVerbose
GET)Getter for state scfVerbose
input
::=null
output
::=number
SET)Setter for state scfVerbose
input
::=number
output
::=null
STATE)State of parameter -scf-log
SIGNAL)Signal for state scfLog
GET)Getter for state scfLog
input
::=null
output
::=string
SET)Setter for state scfLog
input
::=string
output
::=null
STATE)State of parameter -slice-force
SIGNAL)Signal for state sliceForce
GET)Getter for state sliceForce
input
::=null
output
::=boolean
SET)Setter for state sliceForce
input
::=boolean
output
::=null
STATE)State of parameter -slicing-exported-project-postfix
SIGNAL)Signal for state slicingExportedProjectPostfix
GET)Getter for state slicingExportedProjectPostfix
input
::=null
output
::=string
SET)Setter for state slicingExportedProjectPostfix
input
::=string
output
::=null
STATE)State of parameter -slicing-project-name
SIGNAL)Signal for state slicingProjectName
GET)Getter for state slicingProjectName
input
::=null
output
::=string
SET)Setter for state slicingProjectName
input
::=string
output
::=null
STATE)State of parameter -slicing-keep-annotations
SIGNAL)Signal for state slicingKeepAnnotations
GET)Getter for state slicingKeepAnnotations
input
::=null
output
::=boolean
SET)Setter for state slicingKeepAnnotations
input
::=boolean
output
::=null
STATE)State of parameter -slice-undef-functions
SIGNAL)Signal for state sliceUndefFunctions
GET)Getter for state sliceUndefFunctions
input
::=null
output
::=boolean
SET)Setter for state sliceUndefFunctions
input
::=boolean
output
::=null
STATE)State of parameter -slicing-level
SIGNAL)Signal for state slicingLevel
GET)Getter for state slicingLevel
input
::=null
output
::=number
SET)Setter for state slicingLevel
input
::=number
output
::=null
STATE)State of parameter -slice-callers
SIGNAL)Signal for state sliceCallers
GET)Getter for state sliceCallers
input
::=null
output
::=boolean
SET)Setter for state sliceCallers
input
::=boolean
output
::=null
STATE)State of parameter -slice-value
SIGNAL)Signal for state sliceValue
GET)Getter for state sliceValue
input
::=null
output
::=string
SET)Setter for state sliceValue
input
::=string
output
::=null
STATE)State of parameter -slice-wr
SIGNAL)Signal for state sliceWr
GET)Getter for state sliceWr
input
::=null
output
::=string
SET)Setter for state sliceWr
input
::=string
output
::=null
STATE)State of parameter -slice-rd
SIGNAL)Signal for state sliceRd
GET)Getter for state sliceRd
input
::=null
output
::=string
SET)Setter for state sliceRd
input
::=string
output
::=null
STATE)State of parameter -slice-annot
SIGNAL)Signal for state sliceAnnot
GET)Getter for state sliceAnnot
input
::=null
output
::=string
SET)Setter for state sliceAnnot
input
::=string
output
::=null
STATE)State of parameter -slice-loop-var
SIGNAL)Signal for state sliceLoopVar
GET)Getter for state sliceLoopVar
input
::=null
output
::=string
SET)Setter for state sliceLoopVar
input
::=string
output
::=null
STATE)State of parameter -slice-loop-inv
SIGNAL)Signal for state sliceLoopInv
GET)Getter for state sliceLoopInv
input
::=null
output
::=string
SET)Setter for state sliceLoopInv
input
::=string
output
::=null
STATE)State of parameter -slice-assert
SIGNAL)Signal for state sliceAssert
GET)Getter for state sliceAssert
input
::=null
output
::=string
SET)Setter for state sliceAssert
input
::=string
output
::=null
STATE)State of parameter -slice-threat
SIGNAL)Signal for state sliceThreat
GET)Getter for state sliceThreat
input
::=null
output
::=string
SET)Setter for state sliceThreat
input
::=string
output
::=null
STATE)State of parameter -slice-return
SIGNAL)Signal for state sliceReturn
GET)Getter for state sliceReturn
input
::=null
output
::=string
SET)Setter for state sliceReturn
input
::=string
output
::=null
STATE)State of parameter -slice-calls
SIGNAL)Signal for state sliceCalls
GET)Getter for state sliceCalls
input
::=null
output
::=string
SET)Setter for state sliceCalls
input
::=string
output
::=null
STATE)State of parameter -slicing-debug
SIGNAL)Signal for state slicingDebug
GET)Getter for state slicingDebug
input
::=null
output
::=number
SET)Setter for state slicingDebug
input
::=number
output
::=null
STATE)State of parameter -slicing-warn-key
SIGNAL)Signal for state slicingWarnKey
GET)Getter for state slicingWarnKey
input
::=null
output
::=string
SET)Setter for state slicingWarnKey
input
::=string
output
::=null
STATE)State of parameter -slicing-msg-key
SIGNAL)Signal for state slicingMsgKey
GET)Getter for state slicingMsgKey
input
::=null
output
::=string
SET)Setter for state slicingMsgKey
input
::=string
output
::=null
STATE)State of parameter -slicing-verbose
SIGNAL)Signal for state slicingVerbose
GET)Getter for state slicingVerbose
input
::=null
output
::=number
SET)Setter for state slicingVerbose
input
::=number
output
::=null
STATE)State of parameter -slicing-log
SIGNAL)Signal for state slicingLog
GET)Getter for state slicingLog
input
::=null
output
::=string
SET)Setter for state slicingLog
input
::=string
output
::=null
STATE)State of parameter -sparecode-rm-unused-globals
SIGNAL)Signal for state sparecodeRmUnusedGlobals
GET)Getter for state sparecodeRmUnusedGlobals
input
::=null
output
::=boolean
SET)Setter for state sparecodeRmUnusedGlobals
input
::=boolean
output
::=null
STATE)State of parameter -sparecode-annot
SIGNAL)Signal for state sparecodeAnnot
GET)Getter for state sparecodeAnnot
input
::=null
output
::=boolean
SET)Setter for state sparecodeAnnot
input
::=boolean
output
::=null
STATE)State of parameter -sparecode
SIGNAL)Signal for state sparecode
GET)Getter for state sparecode
input
::=null
output
::=boolean
SET)Setter for state sparecode
input
::=boolean
output
::=null
STATE)State of parameter -sparecode-debug
SIGNAL)Signal for state sparecodeDebug
GET)Getter for state sparecodeDebug
input
::=null
output
::=number
SET)Setter for state sparecodeDebug
input
::=number
output
::=null
STATE)State of parameter -sparecode-warn-key
SIGNAL)Signal for state sparecodeWarnKey
GET)Getter for state sparecodeWarnKey
input
::=null
output
::=string
SET)Setter for state sparecodeWarnKey
input
::=string
output
::=null
STATE)State of parameter -sparecode-msg-key
SIGNAL)Signal for state sparecodeMsgKey
GET)Getter for state sparecodeMsgKey
input
::=null
output
::=string
SET)Setter for state sparecodeMsgKey
input
::=string
output
::=null
STATE)State of parameter -sparecode-verbose
SIGNAL)Signal for state sparecodeVerbose
GET)Getter for state sparecodeVerbose
input
::=null
output
::=number
SET)Setter for state sparecodeVerbose
input
::=number
output
::=null
STATE)State of parameter -sparecode-log
SIGNAL)Signal for state sparecodeLog
GET)Getter for state sparecodeLog
input
::=null
output
::=string
SET)Setter for state sparecodeLog
input
::=string
output
::=null
STATE)State of parameter -users
SIGNAL)Signal for state users
GET)Getter for state users
input
::=null
output
::=boolean
SET)Setter for state users
input
::=boolean
output
::=null
STATE)State of parameter -users-debug
SIGNAL)Signal for state usersDebug
GET)Getter for state usersDebug
input
::=null
output
::=number
SET)Setter for state usersDebug
input
::=number
output
::=null
STATE)State of parameter -users-warn-key
SIGNAL)Signal for state usersWarnKey
GET)Getter for state usersWarnKey
input
::=null
output
::=string
SET)Setter for state usersWarnKey
input
::=string
output
::=null
STATE)State of parameter -users-msg-key
SIGNAL)Signal for state usersMsgKey
GET)Getter for state usersMsgKey
input
::=null
output
::=string
SET)Setter for state usersMsgKey
input
::=string
output
::=null
STATE)State of parameter -users-verbose
SIGNAL)Signal for state usersVerbose
GET)Getter for state usersVerbose
input
::=null
output
::=number
SET)Setter for state usersVerbose
input
::=number
output
::=null
STATE)State of parameter -users-log
SIGNAL)Signal for state usersLog
GET)Getter for state usersLog
input
::=null
output
::=string
SET)Setter for state usersLog
input
::=string
output
::=null