Id
DomainId BaseConfigurableDomain DefaultConfigurableDomain DefaultConfigurableIntervalValuesDomain DefaultConfigurableReferenceValuesDomain DefaultConfigurableDomain
IdBasedVar
tac
IdentifyDeadVariables
AI
IdentityBasedCorrelationChangeDetection
ai
If
tac
IgnoreSynchronization
domain
IllegalMonitorStateException
ExceptionsFactory DefaultExceptionsFactory
IllegalValue
ValuesDomain
ImpossibleRefinement
domain
InconsistentSynchronization
IssueKind
InitializedArrayValue
ReferenceValuesFactory TypeLevelReferenceValues ArrayValues DefaultArrayValuesBinding ReferenceValues
InitializedObjectValue
ReferenceValuesFactory TypeLevelReferenceValues ReferenceValues
InstanceFunctionCall
tac
InstanceMethodCall
tac
InstanceOf
tac
InstructionCountBoundedAI
ai
InstructionLocation
issues
IntConst
tac
IntReturnValue
OperandVar
IntegerConstant0
IntegerValuesFactory
IntegerLikeValue
IntegerRangeValues IntegerSetValues IntegerValues PreciseIntegerValues
IntegerRange
IntegerRangeValuesFactory DefaultIntegerRangeValues IntegerRangeValues IntegerSetValues
IntegerRangeValues
l1
IntegerRangeValuesFactory
ai
IntegerSet
DefaultIntegerSetValues IntegerSetValues
IntegerSetValues
l1
IntegerValue
IntegerValuesFactory DefaultTypeLevelIntegerValues TypeLevelIntegerValues DefaultIntegerRangeValues DefaultIntegerSetValues DefaultIntegerValues DefaultPreciseIntegerValues PreciseIntegerValues
IntegerValueOrArithmeticException
IntegerValuesDomain
IntegerValues
l1
IntegerValuesDomain
ai
IntegerValuesFactory
ai
InterpretationFailedException
ai
InterruptableAI
ai
Invokedynamic
tac
IsBooleanValue
ai
IsByteValue
ai
IsCharValue
ai
IsDoubleValue
ai
IsFloatValue
ai
IsIntegerValue
ai
IsLongValue
ai
IsNull
TypeLevelReferenceValues
IsNullValue
ai
IsPrecise
TypeLevelReferenceValues
IsPrimitiveValue
ai
IsReferenceValue
ai
IsShortValue
ai
Issue
issues
IssueCategory
issues
IssueDetails
issues
IssueDetailsWrites
issues
IssueKind
issues
IssueLocation
issues
IssueLocationWrites
issues
IssueOrdering
issues
IssueRepresentations
issues
i2b
IntegerValuesDomain TypeLevelIntegerValues IntegerRangeValues IntegerSetValues IntegerValues PreciseIntegerValues
i2c
IntegerValuesDomain TypeLevelIntegerValues IntegerRangeValues IntegerSetValues IntegerValues PreciseIntegerValues
i2d
PrimitiveValuesConversionsDomain ValuesCoordinatingDomain TypeLevelPrimitiveValuesConversions ConcretePrimitiveValuesConversions
i2f
PrimitiveValuesConversionsDomain ValuesCoordinatingDomain TypeLevelPrimitiveValuesConversions ConcretePrimitiveValuesConversions
i2l
PrimitiveValuesConversionsDomain ValuesCoordinatingDomain TypeLevelPrimitiveValuesConversions ConcretePrimitiveValuesConversions
i2lBitMask
opalj
i2s
IntegerValuesDomain TypeLevelIntegerValues IntegerRangeValues IntegerSetValues IntegerValues PreciseIntegerValues
iadd
IntegerValuesDomain TypeLevelIntegerValues IntegerRangeValues IntegerSetValues IntegerValues PreciseIntegerValues
iaload
ReferenceValuesDomain GeneralizedArrayHandling
iand
IntegerValuesDomain TypeLevelIntegerValues IntegerRangeValues IntegerSetValues IntegerValues PreciseIntegerValues
iastore
ReferenceValuesDomain GeneralizedArrayHandling
id
DomainId BaseConfigurableDomain DefaultConfigurableDomain DefaultConfigurableIntervalValuesDomain DefaultConfigurableReferenceValuesDomain SingleOriginReferenceValue DefaultConfigurableDomain IdBasedVar SimpleVar
idiv
IntegerValuesDomain TypeLevelIntegerValues IntegerRangeValues IntegerSetValues IntegerValues PreciseIntegerValues
iinc
IntegerValuesDomain TypeLevelIntegerValues IntegerRangeValues IntegerSetValues IntegerValues PreciseIntegerValues
imul
IntegerValuesDomain TypeLevelIntegerValues IntegerRangeValues IntegerSetValues IntegerValues PreciseIntegerValues
index
ArrayLoad ArrayStore Switch
ineg
IntegerValuesDomain TypeLevelIntegerValues IntegerRangeValues IntegerSetValues IntegerValues PreciseIntegerValues
initExtractor
CHACallGraphAlgorithmConfiguration
initProperties
CustomInitialization CurrentCode MonitorInstructionsTracker RecordCFG RecordDefUse RecordReturnedValues PropertyTracing
initial
LongRange DefiniteLongValue
initialLocals
AI AITracer MultiTracer
initialOperands
AI
initialPropertyValue
PropertyTracing SimpleBooleanPropertyTracing
injectAnnotation
JavaEEEntryPointsAnalysis
insertBefore
util
insertBeforeIfNew
util
instruction
CodeComprehension
instructionEvalution
AITracer MultiTracer
instructions
TheCodeStructure
instructionsToXHTML
XHTML
intAreEqual
IntegerValuesDomain TypeLevelIntegerValues ConstraintsBetweenIntegerValues IntegerRangeValues IntegerSetValues IntegerValues PreciseIntegerValues
intAreNotEqual
IntegerValuesDomain
intEstablishAreEqual
IntegerValuesDomain ReifiedConstraints ConstraintsBetweenIntegerValues IntegerRangeValues IntegerSetValues PreciseIntegerValues
intEstablishAreNotEqual
IntegerValuesDomain ReifiedConstraints ConstraintsBetweenIntegerValues IntegerRangeValues IntegerSetValues
intEstablishIsLessThan
IntegerValuesDomain ReifiedConstraints ConstraintsBetweenIntegerValues IntegerRangeValues IntegerSetValues
intEstablishIsLessThanOrEqualTo
IntegerValuesDomain ReifiedConstraints ConstraintsBetweenIntegerValues IntegerRangeValues IntegerSetValues
intEstablishValue
IntegerValuesDomain ReifiedConstraints ConstraintsBetweenIntegerValues IntegerRangeValues IntegerSetValues PreciseIntegerValues
intIs0
IntegerValuesDomain
intIsGreaterThan
IntegerValuesDomain
intIsGreaterThan0
IntegerValuesDomain
intIsGreaterThanOrEqualTo
IntegerValuesDomain
intIsGreaterThanOrEqualTo0
IntegerValuesDomain
intIsLessThan
IntegerValuesDomain TypeLevelIntegerValues ConstraintsBetweenIntegerValues IntegerRangeValues IntegerSetValues IntegerValues PreciseIntegerValues
intIsLessThan0
IntegerValuesDomain
intIsLessThanOrEqualTo
IntegerValuesDomain TypeLevelIntegerValues ConstraintsBetweenIntegerValues IntegerRangeValues IntegerSetValues IntegerValues PreciseIntegerValues
intIsLessThanOrEqualTo0
IntegerValuesDomain
intIsNot0
IntegerValuesDomain
intIsSomeValueInRange
IntegerValuesDomain TypeLevelIntegerValues IntegerRangeValues IntegerSetValues IntegerValues PreciseIntegerValues
intIsSomeValueNotInRange
IntegerValuesDomain TypeLevelIntegerValues IntegerRangeValues IntegerSetValues IntegerValues PreciseIntegerValues
intValue
ConcreteIntegerValues IntegerRangeValues IntegerSetValues IntegerValues PreciseIntegerValues
intValueOption
ConcreteIntegerValues IntegerRangeValues IntegerSetValues IntegerValues PreciseIntegerValues
intValues
IntegerRangeValues IntegerSetValues IntegerValues PreciseIntegerValues
interrupt
InterruptableAI
invokeReflective
ReflectiveInvoker
invokedynamic
MethodCallsDomain ValuesCoordinatingDomain SimpleTypeLevelInvokeInstructions TypeLevelInvokeInstructions
invokeinterface
MethodCallsDomain MethodCallsDomainWithMethodLockup ValuesCoordinatingDomain SimpleTypeLevelInvokeInstructions TypeLevelInvokeInstructions PerformInvocations
invokespecial
MethodCallsDomain MethodCallsDomainWithMethodLockup ValuesCoordinatingDomain SimpleTypeLevelInvokeInstructions TypeLevelInvokeInstructions StringValues PerformInvocations
invokestatic
MethodCallsDomain MethodCallsDomainWithMethodLockup SpecialMethodsHandling ValuesCoordinatingDomain SimpleTypeLevelInvokeInstructions TypeLevelInvokeInstructions ClassValues PerformInvocations
invokevirtual
MethodCallsDomain MethodCallsDomainWithMethodLockup ValuesCoordinatingDomain SimpleTypeLevelInvokeInstructions TypeLevelInvokeInstructions PerformInvocations
ior
IntegerValuesDomain TypeLevelIntegerValues IntegerRangeValues IntegerSetValues IntegerValues PreciseIntegerValues
irem
IntegerValuesDomain TypeLevelIntegerValues IntegerRangeValues IntegerSetValues IntegerValues PreciseIntegerValues
ireturn
ReturnInstructionsDomain DefaultHandlingForReturnInstructions RecordCFG RecordReturnFromMethodInstructions RecordReturnedValuesInfrastructure ValuesCoordinatingDomain DefaultTypeLevelHandlingForReturnInstructions
isAssignable
ArrayValue ArrayValue
isEffectivelyImmutable
ArrayValues
isEntryPoint
EntryPointInformation
isInterface
Call NonVirtualFunctionCall NonVirtualMethodCall StaticFunctionCall StaticMethodCall VirtualFunctionCall VirtualMethodCall
isInterrupted
AI BaseAI BoundedInterruptableAI CountingAI InstructionCountBoundedAI InterruptableAI TimeBoundedAI PerformAI
isMetaInformationUpdate
MetaInformationUpdate MetaInformationUpdateType NoUpdateType StructuralUpdateType Update UpdateType
isMonitorInstructionUsed
MonitorInstructionsTracker
isMorePreciseThan
Value
isNoUpdate
NoUpdate SomeUpdate Update
isNull
IsReferenceValue NullValue ReferenceValues ArrayValue MObjectValue MultipleReferenceValues SObjectValue
isPotentiallySerializationRelated
CallGraphFactory
isPrecise
IsReferenceValue NullValue ReferenceValue ReferenceValues ArrayValue MultipleReferenceValues SObjectValue
isPrimitiveValue
IsPrimitiveValue IsReferenceValue TypeInformation UnknownType
isReferenceValue
IsPrimitiveValue IsReferenceValue TypeInformation UnknownType
isRefineable
MethodReturnValue
isRegularPredecessorOf
RecordCFG
isSideEffectFree
ArrayLength ArrayLoad BinaryExpr Checkcast Compare Const DVar Expr GetField GetStatic IdBasedVar InstanceOf Invokedynamic New NewArray NonVirtualFunctionCall Param PrefixExpr PrimitiveTypecastExpr StaticFunctionCall UVar VirtualFunctionCall
isSomeUpdate
NoUpdate SomeUpdate Update
isStructuralUpdate
StructuralUpdate Update
isSubtypeOf
ReferenceValuesDomain TheClassHierarchy
isUnknownValue
KnownType TypeInformation UnknownType
isVMLevelValue
ai
isValueSubtypeOf
IsReferenceValue ReferenceValuesDomain ArrayValue MObjectValue SObjectValue TypeLevelReferenceValues NullValue MultipleReferenceValues
ishl
IntegerValuesDomain TypeLevelIntegerValues IntegerRangeValues IntegerSetValues IntegerValues PreciseIntegerValues
ishr
IntegerValuesDomain TypeLevelIntegerValues IntegerRangeValues IntegerSetValues IntegerValues PreciseIntegerValues
issues
opalj
isub
IntegerValuesDomain TypeLevelIntegerValues IntegerRangeValues IntegerSetValues IntegerValues PreciseIntegerValues
iushr
IntegerValuesDomain TypeLevelIntegerValues IntegerRangeValues IntegerSetValues IntegerValues PreciseIntegerValues
ixor
IntegerValuesDomain TypeLevelIntegerValues IntegerRangeValues IntegerSetValues IntegerValues PreciseIntegerValues