NegativeArraySizeException
ExceptionsFactory DefaultExceptionsFactory
New
tac
NewArray
TypeLevelReferenceValues ArrayValues ReferenceValues tac
NewObject
ReferenceValuesFactory TypeLevelReferenceValues ReferenceValues StringValues
NoPCs
ai
NoUpdate
ai
NoUpdateType
ai
NonNullObjectValue
ReferenceValuesFactory TypeLevelReferenceValues ReferenceValues
NonNullSingleOriginReferenceValue
ReferenceValues
NonNullSingleOriginSReferenceValue
ReferenceValues
NonVirtualFunctionCall
tac
NonVirtualMethodCall
tac
Nop
tac
NotRequired
opalj
NullExpr
tac
NullPointerException
ExceptionsFactory DefaultExceptionsFactory
NullPointerExceptionDefaultConstructor
CallGraphCache
NullPropertyRefinement
l1
NullValue
ReferenceValuesFactory DefaultReferenceValuesBinding DefaultTypeLevelReferenceValues TypeLevelReferenceValues DefaultReferenceValuesBinding ReferenceValues
name
EntryPointContainer BaseTypesBasedSet ByteSet CharSet ShortSet U15BitSet U7BitSet Relevance Call DVar FieldWriteAccessStmt GetField GetStatic IdBasedVar Invokedynamic NonVirtualFunctionCall NonVirtualMethodCall Param PutField PutStatic StaticFunctionCall StaticMethodCall UVar Var VirtualFunctionCall VirtualMethodCall
newDomain
DomainRegistry
newInstance
AnIntegerValue IntegerRange ByteSet CharSet ShortSet U15BitSet U7BitSet IntegerLikeValue BaseTypesBasedSet
newarray
ReferenceValuesDomain TypeLevelReferenceValues
nextConstraint
RecordConstraints ReifiedConstraints
nextT
ReferenceValues
noFlow
AITracer MultiTracer
noUpdate
MetaInformationUpdateType NoUpdateType StructuralUpdateType UpdateType
nonNullInstanceCall
AnalysisContext
normalizeParameterOriginsMap
TACAI
notRequired
opalj
nullT
ReferenceValues