NegativeArraySizeException
ExceptionsFactory DefaultExceptionsFactory
New
tac
NewArray
TypeLevelReferenceValues ArrayValues ReferenceValues tac
NewObject
ReferenceValuesFactory TypeLevelReferenceValues ReferenceValues StringValues
NoOptimizations
tac
NoPCs
ai
NoUpdate
ai
NoUpdateType
ai
NonNullObjectValue
ReferenceValuesFactory TypeLevelReferenceValues ReferenceValues
NonNullSingleOriginReferenceValue
ReferenceValues
NonNullSingleOriginSReferenceValue
ReferenceValues
NonVirtualFunctionCall
tac
NonVirtualMethodCall
tac
Nop
tac
NullExpr
tac
NullPointerException
ExceptionsFactory DefaultExceptionsFactory
NullPointerExceptionDefaultConstructor
CallGraphCache
NullPropertyRefinement
l1
NullValue
ReferenceValuesFactory DefaultReferenceValuesBinding DefaultTypeLevelReferenceValues TypeLevelReferenceValues DefaultReferenceValuesBinding ReferenceValues
name
BaseTypesBasedSet ByteSet CharSet ShortSet U15BitSet U7BitSet Relevance Call GetField GetStatic IdBasedVar Invokedynamic NonVirtualFunctionCall NonVirtualMethodCall Param PutField PutStatic StaticFunctionCall StaticMethodCall 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
nonVirtualCall
AnalysisContext AnalysisContext AnalysisContext
nullT
ReferenceValues