ABooleanValue
DefaultTypeLevelIntegerValues
AByteValue
DefaultTypeLevelIntegerValues
ACharValue
DefaultTypeLevelIntegerValues
ADoubleValue
DefaultTypeLevelDoubleValues
AFloatValue
DefaultTypeLevelFloatValues
AI
ai
AIAborted
ai
AICompleted
ai
AIException
ai
AIKey
common
AIProject
project
AIResult
ai
AIResultBuilder
ai
AITracer
ai
ALocalsArray
ai
ALongValue
DefaultTypeLevelLongValues DefaultLongSetValues DefaultLongValues LongSetValues LongValues DefaultPreciseLongValues PreciseLongValues
AReferenceValue
DefaultReferenceValuesBinding TypeLevelReferenceValues DefaultReferenceValuesBinding ReferenceValues
ASTID
ArrayLength ArrayLoad ArrayStore Assignment BinaryExpr Checkcast ClassConst Compare DoubleConst ExprStmt FailingExpression FailingStatement FloatConst GetField GetStatic Goto If InstanceOf IntConst Invokedynamic JumpToSubroutine LongConst MethodHandleConst MethodTypeConst MonitorEnter MonitorExit New NewArray NonVirtualFunctionCall NonVirtualMethodCall Nop NullExpr Param PrefixExpr PrimitiveTypecastExpr PutField PutStatic Ret Return ReturnValue StaticFunctionCall StaticMethodCall StringConst Switch Throw Var VirtualFunctionCall VirtualMethodCall
ASTNode
tac
AShortValue
DefaultTypeLevelIntegerValues
AbsoluteMaxCardinalityOfIntegerRanges
IntegerRangeValues
AdditionalCallTargets
cg
AllCategories
IssueCategory
AllExplicitlyHandled
ExceptionsRaisedByCalledMethods
AllKinds
IssueKind
AllTACNaiveOptimizations
tac
AnIntegerValue
DefaultTypeLevelIntegerValues DefaultIntegerRangeValues DefaultIntegerSetValues DefaultIntegerValues IntegerRangeValues IntegerSetValues IntegerValues DefaultPreciseIntegerValues PreciseIntegerValues
AnOperandsArray
ai
AnalysisContext
CHACallGraphExtractor CHACallGraphExtractorWithCBS CallGraphExtractor VTACallGraphExtractor
AnalysisMode
opalj
Any
ExceptionsRaisedByCalledMethods
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
Assignment
tac
aaload
ReferenceValuesDomain GeneralizedArrayHandling
aastore
ReferenceValuesDomain GeneralizedArrayHandling
aborted
AIResultBuilder
abortedAfter
TimeBoundedAI
abruptMethodExecution
AITracer MultiTracer ReturnInstructionsDomain DefaultHandlingForThrownExceptions RecordCFG RecordReturnFromMethodInstructions RecordThrownExceptions ValuesCoordinatingDomain DefaultTypeLevelHandlingForThrownExceptions
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 BaseTypesBasedSet IntegerSet AnIntegerValue TheIntegerValue ALongValue LongSet ALongValue TheLongValue ArrayValue MObjectValue NullValue SObjectValue StringBuilderValue StringValue TheIntegerValue
adapt
IllegalValue ReturnAddressValue ReturnAddressValues Value ADoubleValue AFloatValue ALongValue ArrayValue MObjectValue SObjectValue BooleanValue ByteValue CharValue IntegerValue ShortValue NullValue ConcreteArrayValue InitializedArrayValue ClassValue AnIntegerValue IntegerRange AnIntegerValue ByteSet CharSet IntegerSet ShortSet U15BitSet U7BitSet AnIntegerValue TheIntegerValue ALongValue LongSet ALongValue TheLongValue ArrayValue MObjectValue MultipleReferenceValues SObjectValue StringBuilderValue StringValue AnIntegerValue TheIntegerValue ALongValue LongRange
addCallEdge
AnalysisContext
addCallEdges
CallGraphBuilder
addCallToNullPointerExceptionConstructor
AnalysisContext
addUnresolvedMethodCall
AnalysisContext
addValue
MultipleReferenceValues
address
ReturnAddressValue
afterBaseJoin
CoreDomainFunctionality JoinStabilization
afterEvaluation
CoreDomainFunctionality PostEvaluationMemoryManagement NullPropertyRefinement
ai
opalj InterpretationFailedException TheAI BaseMethodReturnValuesAnalysisDomain AIProject
allCallEdges
AnalysisContext
allConstraints
RecordConstraints
allExitPCs
RecordCFG
allReturnFromMethodInstructions
RecordReturnFromMethodInstructions
allReturnVoidInstructions
RecordVoidReturns
allReturnedValues
RecordReturnedValues
allSubroutineStartPCs
RecordCFG
allSuccessorsOf
RecordCFG
allThrownExceptions
RecordThrownExceptions
allUnresolvableMethodCalls
AnalysisContext
allValues
IsReferenceValue
analyses
ai
analysis
fpcf Issue
analyze
AIProject
analyzeInParallel
AIProject
annotationsAsXHTML
XHTML
annotationsIndicatingImplicitUsage
CallGraphFactory
apply
AI InterpretationFailedException MetaInformationUpdateType NoUpdateType StructuralUpdateType UpdateType CallGraphComparison ComputedCallGraph DomainValues PerformAI BaseDomain CalledMethodsStore MethodComplexityAnalysis DVar OperandVar RegisterVar SimplePropagation TACAI TACNaive TACOptimization TempVar ToTxt UVar
approximateSet
IntegerSetValues
areturn
ReturnInstructionsDomain DefaultHandlingForReturnInstructions RecordCFG RecordReturnFromMethodInstructions RecordReturnedValuesInfrastructure ValuesCoordinatingDomain DefaultTypeLevelHandlingForReturnInstructions
arrayRef
ArrayLength ArrayLoad ArrayStore
arraycopyDescriptor
SpecialMethodsHandling
arraylength
ReferenceValuesDomain TypeLevelReferenceValues MaxArrayLengthRefinement
arrayload
GeneralizedArrayHandling TypeLevelReferenceValues
arraystore
GeneralizedArrayHandling TypeLevelReferenceValues
asArrayAbstraction
TypeLevelReferenceValues
asDomainReferenceValue
ReferenceValue Value
asObjectValue
TypeLevelReferenceValues
asReferenceValue
TypeLevelReferenceValues
asStructuralUpdate
ObjectValue
astID
ASTNode ArrayLength ArrayLoad ArrayStore Assignment BinaryExpr Checkcast ClassConst Compare DoubleConst ExprStmt FailingExpression FailingStatement FloatConst GetField GetStatic Goto If InstanceOf IntConst Invokedynamic JumpToSubroutine LongConst MethodHandleConst MethodTypeConst MonitorEnter MonitorExit New NewArray NonVirtualFunctionCall NonVirtualMethodCall Nop NullExpr Param PrefixExpr PrimitiveTypecastExpr PutField PutStatic Ret Return ReturnValue StaticFunctionCall StaticMethodCall StringConst Switch Throw Var VirtualFunctionCall VirtualMethodCall