ABooleanValue
DefaultTypeLevelIntegerValues
AByteValue
DefaultTypeLevelIntegerValues
ACharValue
DefaultTypeLevelIntegerValues
ADoubleValue
DefaultTypeLevelDoubleValues
AFloatValue
DefaultTypeLevelFloatValues
AI
ai
AIAborted
ai
AICompleted
ai
AIException
ai
AIProject
project
AIResult
ai
AIResultBuilder
ai
AITracer
ai
ALocalsArray
ai
ALongValue
DefaultTypeLevelLongValues DefaultLongSetValues DefaultLongValues LongSetValues LongValues DefaultPreciseLongValues PreciseLongValues
AReferenceValue
DefaultReferenceValuesBinding TypeLevelReferenceValues DefaultReferenceValuesBinding ReferenceValues
AShortValue
DefaultTypeLevelIntegerValues
AbsoluteMaxCardinalityOfIntegerRanges
IntegerRangeValues
AllCategories
IssueCategory
AllKinds
IssueKind
AnIntegerValue
DefaultTypeLevelIntegerValues DefaultIntegerRangeValues DefaultIntegerSetValues IntegerRangeValues IntegerSetValues IntegerValues DefaultPreciseIntegerValues PreciseIntegerValues
AnOperandsArray
ai
AnalysisMode
opalj
ArithmeticException
ExceptionsFactory DefaultExceptionsFactory
ArrayAbstraction
TypeLevelReferenceValues
ArrayIndexOutOfBoundsException
ExceptionsFactory DefaultExceptionsFactory
ArrayLength
tac
ArrayLoad
tac
ArrayLoadResult
ReferenceValuesDomain
ArrayStore
tac
ArrayStoreException
ExceptionsFactory DefaultExceptionsFactory
ArrayStoreResult
ReferenceValuesDomain
ArrayValue
DefaultReferenceValuesBinding DefaultTypeLevelReferenceValues TypeLevelReferenceValues ArrayValues DefaultArrayValuesBinding DefaultReferenceValuesBinding ReferenceValues
ArrayValues
l1
AsDomainValue
domain
AsJavaObject
domain
AsQuadruples
tac
Assignment
tac
aaload
ReferenceValuesDomain GeneralizedArrayHandling
aastore
ReferenceValuesDomain GeneralizedArrayHandling
aborted
AIResultBuilder
abortedAfter
TimeBoundedAI
abruptMethodExecution
AITracer MultiTracer ReturnInstructionsDomain DefaultHandlingForThrownExceptions RecordCFG RecordReturnFromMethodInstructions RecordThrownExceptions ValuesCoordinatingDomain
abruptSubroutineTermination
AITracer MultiTracer
absoluteToRelative
issues
abstractInterpretationEnded
CoreDomainFunctionality RecordDefUse
abstractsOver
Value ADoubleValue AFloatValue ABooleanValue AByteValue ACharValue AShortValue AnIntegerValue ALongValue ArrayValue NullValue SObjectValue InitializedArrayValue ClassValue AnIntegerValue IntegerRange AnIntegerValue IntegerSet ALongValue LongSet ALongValue TheLongValue ArrayValue MObjectValue NullValue SObjectValue StringBuilderValue StringValue TheIntegerValue
adapt
IllegalValue ReturnAddressValue Value ADoubleValue AFloatValue ALongValue ArrayValue MObjectValue SObjectValue BooleanValue ByteValue CharValue IntegerValue ShortValue NullValue ConcreteArrayValue InitializedArrayValue ClassValue AnIntegerValue IntegerRange AnIntegerValue IntegerSet ALongValue LongSet ALongValue TheLongValue ArrayValue MObjectValue MultipleReferenceValues SObjectValue StringBuilderValue StringValue AnIntegerValue TheIntegerValue ALongValue LongRange
addValue
MultipleReferenceValues
address
ReturnAddressValue
afterBaseJoin
CoreDomainFunctionality JoinStabilization
afterEvaluation
CoreDomainFunctionality PostEvaluationMemoryManagement NullPropertyRefinement
ai
opalj InterpretationFailedException TheAI BaseMethodReturnValuesAnalysisDomain AIProject
allConstraints
RecordConstraints
allExitPCs
RecordCFG
allReturnFromMethodInstructions
RecordReturnFromMethodInstructions
allReturnVoidInstructions
RecordVoidReturns
allReturnedValues
RecordReturnedValues
allSuccessorsOf
RecordCFG
allThrownExceptions
RecordThrownExceptions
analyses
ai
analysis
Issue
analyze
AIProject
analyzeInParallel
AIProject
annotationsAsXHTML
XHTML
apply
AI InterpretationFailedException MetaInformationUpdateType NoUpdateType StructuralUpdateType UpdateType DomainValues CalledMethodsStore AsQuadruples OperandVar RegisterVar TempVar ToJavaLike
areturn
ReturnInstructionsDomain DefaultHandlingForReturnInstructions RecordCFG RecordReturnFromMethodInstructions RecordReturnedValuesInfrastructure ValuesCoordinatingDomain
arrayRef
ArrayLength ArrayLoad ArrayStore
arraycopyDescriptor
SpecialMethodsHandling
arraylength
ReferenceValuesDomain TypeLevelReferenceValues MaxArrayLengthRefinement
arrayload
GeneralizedArrayHandling TypeLevelReferenceValues
arraystore
GeneralizedArrayHandling TypeLevelReferenceValues
asArrayAbstraction
TypeLevelReferenceValues
asDomainValue
IsAReferenceValue ReferenceValue
asObjectValue
TypeLevelReferenceValues
asReferenceValue
TypeLevelReferenceValues
asStructuralUpdate
ObjectValue