Version 31.0
kernel.ast
kernel.data
kernel.parameters
kernel.parameters.evaUndefinedPointerComparisonPropagateAll
(STATE
)
kernel.parameters.getEvaUndefinedPointerComparisonPropagateAll
(GET
)
kernel.parameters.getEvaWarnUndefinedPointerComparison
(GET
)
kernel.parameters.setEvaUndefinedPointerComparisonPropagateAll
(SET
)
kernel.parameters.setEvaWarnUndefinedPointerComparison
(SET
)
kernel.parameters.signalEvaEqualityThroughCallsFunction
(SIGNAL
)
kernel.parameters.signalEvaInitializationPaddingGlobals
(SIGNAL
)
kernel.parameters.signalEvaMultidimDisjunctiveInvariants
(SIGNAL
)
kernel.parameters.signalEvaPartitionHistoryFunction
(SIGNAL
)
kernel.parameters.signalEvaSubdivideNonLinearFunction
(SIGNAL
)
kernel.parameters.signalEvaUndefinedPointerComparisonPropagateAll
(SIGNAL
)
kernel.parameters.signalEvaWarnSignedConvertedDowncast
(SIGNAL
)
kernel.parameters.signalEvaWarnUndefinedPointerComparison
(SIGNAL
)
kernel.project
kernel.properties
kernel.services
GET
)GET
)GET
)SET
)DATA
)DATA
)GET
)ARRAY
)DATA
)GET
)SET
)SET
)SIGNAL
)plugins.callgraph
plugins.dive
plugins.eva.general
plugins.eva.values
plugins.impact.impact
plugins.pivot.general
plugins.region
EXEC
)GET
)DATA
)DATA
)DATA
)GET
)GET
)DATA
)SIGNAL
)plugins.studia.studia
plugins.wp
plugins.wp.tac
plugins.wp.tip