class AnalysisDomain[S] extends CorrelationalDomain with DefaultHandlingOfMethodResults with IgnoreSynchronization with ThrowAllPotentialExceptionsConfiguration with DefaultTypeLevelFloatValues with DefaultTypeLevelDoubleValues with TypeLevelFieldAccessInstructions with TypeLevelInvokeInstructions with TypeLevelDynamicLoads with DefaultReferenceValuesBinding with DefaultIntegerRangeValues with DefaultLongValues with ConcretePrimitiveValuesConversions with LongValuesShiftOperators with TheProject with TheMethod with RecordDefUse
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- AnalysisDomain
- RecordDefUse
- RecordCFG
- CustomInitialization
- TheMethod
- TheCode
- TheProject
- LogContextProvider
- ThePropertyStore
- LongValuesShiftOperators
- ConcretePrimitiveValuesConversions
- TypeLevelPrimitiveValuesConversions
- DefaultLongValues
- LongValues
- ConcreteLongValues
- DefaultIntegerRangeValues
- IntegerRangeValues
- ConcreteIntegerValues
- IntegerRangeValuesFactory
- DefaultReferenceValuesBinding
- DefaultExceptionsFactory
- ReferenceValues
- Origin
- DefaultTypeLevelReferenceValues
- TypeLevelReferenceValues
- AsJavaObject
- GeneralizedArrayHandling
- TypeLevelDynamicLoads
- TypeLevelInvokeInstructions
- MethodCallsHandling
- TypeLevelFieldAccessInstructions
- DefaultTypeLevelDoubleValues
- TypeLevelDoubleValues
- DefaultTypeLevelFloatValues
- TypeLevelFloatValues
- DefaultSpecialDomainValuesBinding
- ThrowAllPotentialExceptionsConfiguration
- IgnoreSynchronization
- DefaultHandlingOfMethodResults
- DefaultHandlingForReturnInstructions
- DefaultHandlingOfVoidReturns
- DefaultHandlingForThrownExceptions
- ReturnInstructionsDomain
- CorrelationalDomain
- CorrelationalDomainSupport
- IdentityBasedCorrelationChangeDetection
- JoinStabilization
- Domain
- Configuration
- TypedValuesFactory
- PrimitiveValuesConversionsDomain
- DynamicLoadsDomain
- ReturnInstructionsDomain
- MonitorInstructionsDomain
- MethodCallsDomain
- FieldAccessesDomain
- ReferenceValuesDomain
- ReferenceValuesFactory
- ExceptionsFactory
- DoubleValuesDomain
- DoubleValuesFactory
- FloatValuesDomain
- FloatValuesFactory
- LongValuesDomain
- LongValuesFactory
- IntegerValuesDomain
- IntegerValuesFactory
- CoreDomainFunctionality
- SubroutinesDomain
- ValuesDomain
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Instance Constructors
- new AnalysisDomain(project: Project[S], method: Method)
Type Members
-
trait
ALongValue extends (LongValues.this)#LongValue
- Definition Classes
- LongValues
-
type
AReferenceValue = ReferenceValue
- Definition Classes
- DefaultReferenceValuesBinding → ReferenceValues → TypeLevelReferenceValues
-
class
AnIntegerValue extends (DefaultIntegerRangeValues.this)#AnIntegerValue
- Definition Classes
- DefaultIntegerRangeValues
-
trait
ArrayAbstraction extends AnyRef
- Definition Classes
- TypeLevelReferenceValues
-
type
ArrayLoadResult = Computation[DomainValue, ExceptionValues]
- Definition Classes
- ReferenceValuesDomain
-
type
ArrayStoreResult = Computation[Nothing, ExceptionValues]
- Definition Classes
- ReferenceValuesDomain
-
trait
ArrayValue extends (ReferenceValues.this)#ArrayValue with (ReferenceValues.this)#NonNullSingleOriginSReferenceValue[ArrayType]
- Attributes
- protected
- Definition Classes
- ReferenceValues
-
case class
DefaultMObjectValue extends (DefaultReferenceValuesBinding.this)#MObjectValue with Product with Serializable
- Attributes
- protected
- Definition Classes
- DefaultReferenceValuesBinding
-
case class
DefaultSObjectValue extends (DefaultReferenceValuesBinding.this)#SObjectValue with Product with Serializable
- Attributes
- protected
- Definition Classes
- DefaultReferenceValuesBinding
-
type
DomainArrayValue = ArrayValue
- Definition Classes
- DefaultReferenceValuesBinding → ReferenceValues → DefaultTypeLevelReferenceValues → TypeLevelReferenceValues
-
final
type
DomainIllegalValue = IllegalValue
- Definition Classes
- DefaultSpecialDomainValuesBinding → ValuesDomain
-
type
DomainMultipleReferenceValues = MultipleReferenceValues
- Definition Classes
- DefaultReferenceValuesBinding → ReferenceValues
-
type
DomainNullValue = NullValue
- Definition Classes
- DefaultReferenceValuesBinding → ReferenceValues → DefaultTypeLevelReferenceValues → TypeLevelReferenceValues
-
type
DomainObjectValue = ObjectValue
- Definition Classes
- DefaultReferenceValuesBinding → ReferenceValues → DefaultTypeLevelReferenceValues → TypeLevelReferenceValues
-
type
DomainReferenceValue = ReferenceValue
- Definition Classes
- DefaultReferenceValuesBinding → ValuesDomain
-
final
type
DomainReturnAddressValue = ReturnAddressValue
- Definition Classes
- DefaultSpecialDomainValuesBinding → ValuesDomain
-
final
type
DomainReturnAddressValues = ReturnAddressValues
- Definition Classes
- DefaultSpecialDomainValuesBinding → ValuesDomain
-
type
DomainSingleOriginReferenceValue = SingleOriginReferenceValue
- Definition Classes
- DefaultReferenceValuesBinding → ReferenceValues
-
final
type
DomainTypedValue[+T <: Type] = TypedValue[T]
- Definition Classes
- DefaultSpecialDomainValuesBinding → ValuesDomain
-
final
type
DomainValue = Value
- Definition Classes
- DefaultSpecialDomainValuesBinding → ValuesDomain
-
trait
DoubleValue extends (TypeLevelDoubleValues.this)#TypedValue[DoubleType] with IsDoubleValue
- Definition Classes
- TypeLevelDoubleValues
-
type
ExceptionValue = DomainReferenceValue
- Definition Classes
- ValuesDomain
-
type
ExceptionValues = Iterable[ExceptionValue]
- Definition Classes
- ValuesDomain
-
trait
FloatValue extends (TypeLevelFloatValues.this)#TypedValue[FloatType] with IsFloatValue
- Definition Classes
- TypeLevelFloatValues
-
class
IllegalValue extends Value with IsIllegalValue
- Attributes
- protected
- Definition Classes
- ValuesDomain
-
sealed
trait
IntegerLikeValue extends (IntegerRangeValues.this)#TypedValue[CTIntType] with IsIntegerValue
- Definition Classes
- IntegerRangeValues
-
class
IntegerRange extends (DefaultIntegerRangeValues.this)#IntegerRange
- Definition Classes
- DefaultIntegerRangeValues
-
type
IntegerValueOrArithmeticException = Computation[DomainValue, ExceptionValue]
- Definition Classes
- IntegerValuesDomain
-
type
Locals = collection.mutable.Locals[DomainValue]
- Definition Classes
- ValuesDomain
-
type
LocalsArray = Array[Locals]
- Definition Classes
- ValuesDomain
-
sealed
trait
LongValue extends (LongValues.this)#TypedValue[LongType] with IsLongValue
- Definition Classes
- LongValues
-
type
LongValueOrArithmeticException = Computation[DomainValue, ExceptionValue]
- Definition Classes
- LongValuesDomain
-
trait
MObjectValue extends (ReferenceValues.this)#MObjectValue with (ReferenceValues.this)#ObjectValue
- Attributes
- protected
- Definition Classes
- ReferenceValues
-
type
MethodCallResult = Computation[DomainValue, ExceptionValues]
- Definition Classes
- MethodCallsDomain
-
trait
MultipleOriginsValue extends (Origin.this)#ValueWithOriginInformation
- Definition Classes
- Origin
-
class
MultipleReferenceValues extends IsMultipleReferenceValue with (ReferenceValues.this)#ReferenceValue with (ReferenceValues.this)#MultipleOriginsValue
- Attributes
- protected
- Definition Classes
- ReferenceValues
-
trait
NonNullSingleOriginReferenceValue extends (ReferenceValues.this)#SingleOriginReferenceValue
- Definition Classes
- ReferenceValues
-
trait
NonNullSingleOriginSReferenceValue[T <: ReferenceType] extends (ReferenceValues.this)#NonNullSingleOriginReferenceValue
- Definition Classes
- ReferenceValues
-
class
NullValue extends (ReferenceValues.this)#NullValue with (ReferenceValues.this)#SingleOriginReferenceValue
- Attributes
- protected
- Definition Classes
- ReferenceValues
-
trait
ObjectValue extends (ReferenceValues.this)#ObjectValue with (ReferenceValues.this)#NonNullSingleOriginReferenceValue
- Definition Classes
- ReferenceValues
-
type
Operands = Chain[DomainValue]
- Definition Classes
- ValuesDomain
-
type
OperandsArray = Array[Operands]
- Definition Classes
- ValuesDomain
-
trait
RETValue extends Value with IsReturnAddressValue
- Definition Classes
- ValuesDomain
-
type
RefId = Int
- Definition Classes
- ReferenceValues
-
trait
ReferenceValue extends (ReferenceValues.this)#ReferenceValue
- Definition Classes
- ReferenceValues
-
type
Refinements = IdentityHashMap[AReferenceValue, AReferenceValue]
- Definition Classes
- ReferenceValues
-
class
ReturnAddressValue extends RETValue
- Definition Classes
- ValuesDomain
-
class
ReturnAddressValues extends RETValue
- Definition Classes
- ValuesDomain
-
trait
SObjectValue extends (ReferenceValues.this)#SObjectValue with (ReferenceValues.this)#NonNullSingleOriginSReferenceValue[ObjectType] with (ReferenceValues.this)#ObjectValue
- Attributes
- protected
- Definition Classes
- ReferenceValues
-
trait
SReferenceValue[T <: ReferenceType] extends (TypeLevelReferenceValues.this)#ReferenceValue with IsSReferenceValue[T]
- Attributes
- protected[this]
- Definition Classes
- TypeLevelReferenceValues
-
trait
SingleOriginReferenceValue extends (ReferenceValues.this)#ReferenceValue with (ReferenceValues.this)#SingleOriginValue with UID
- Definition Classes
- ReferenceValues
-
trait
SingleOriginValue extends (Origin.this)#ValueWithOriginInformation
- Definition Classes
- Origin
-
class
TheLongValue extends (DefaultLongValues.this)#TheLongValue
- Definition Classes
- DefaultLongValues
-
trait
TypedValue[+T <: Type] extends Value with KnownTypedValue
- Definition Classes
- ValuesDomain
-
trait
Value extends ValueInformation
- Definition Classes
- ValuesDomain
-
trait
ValueWithOriginInformation extends AnyRef
- Definition Classes
- Origin
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
val
AReferenceValueTag: ClassTag[AReferenceValue]
- Definition Classes
- DefaultReferenceValuesBinding → ReferenceValues
-
def
AnIntegerValue(): AnIntegerValue
- Definition Classes
- DefaultIntegerRangeValues
-
final
def
ArithmeticException(origin: ValueOrigin): ExceptionValue
- Definition Classes
- DefaultExceptionsFactory → ExceptionsFactory
-
final
def
ArrayIndexOutOfBoundsException(origin: ValueOrigin): ExceptionValue
- Definition Classes
- DefaultExceptionsFactory → ExceptionsFactory
-
final
def
ArrayStoreException(origin: ValueOrigin): ExceptionValue
- Definition Classes
- DefaultExceptionsFactory → ExceptionsFactory
-
def
ArrayValue(origin: ValueOrigin, isNull: Answer, isPrecise: Boolean, theUpperTypeBound: ArrayType, t: RefId): DomainArrayValue
- Attributes
- protected[domain]
- Definition Classes
- DefaultReferenceValuesBinding → ReferenceValues
-
def
ArrayValue(pc: Int, arrayType: ArrayType): DomainArrayValue
- Definition Classes
- ReferenceValues → TypeLevelReferenceValues
-
def
BooleanValue(origin: ValueOrigin, value: Boolean): DomainTypedValue[CTIntType]
- Definition Classes
- DefaultIntegerRangeValues → IntegerValuesFactory
-
def
BooleanValue(origin: ValueOrigin): DomainTypedValue[CTIntType]
- Definition Classes
- DefaultIntegerRangeValues → IntegerValuesFactory
-
def
ByteValue(origin: ValueOrigin, value: Byte): DomainTypedValue[CTIntType]
- Definition Classes
- DefaultIntegerRangeValues → IntegerValuesFactory
-
def
ByteValue(origin: ValueOrigin): DomainTypedValue[CTIntType]
- Definition Classes
- DefaultIntegerRangeValues → IntegerValuesFactory
-
def
CharValue(origin: ValueOrigin, value: Char): DomainTypedValue[CTIntType]
- Definition Classes
- DefaultIntegerRangeValues → IntegerValuesFactory
-
def
CharValue(origin: ValueOrigin): DomainTypedValue[CTIntType]
- Definition Classes
- DefaultIntegerRangeValues → IntegerValuesFactory
-
final
def
ClassCastException(origin: ValueOrigin): ExceptionValue
- Definition Classes
- DefaultExceptionsFactory → ExceptionsFactory
-
final
def
ClassNotFoundException(origin: ValueOrigin): ExceptionValue
- Definition Classes
- DefaultExceptionsFactory → ExceptionsFactory
-
def
ClassValue(pc: Int, t: Type): DomainObjectValue
- Definition Classes
- ReferenceValues → TypeLevelReferenceValues → ReferenceValuesFactory
-
final
def
ConstantFieldValue(pc: Int, cv: ConstantFieldValue[_]): DomainValue
- Definition Classes
- Domain
-
final
def
DefaultValue(origin: ValueOrigin, theType: FieldType): DomainValue
- Definition Classes
- TypedValuesFactory
-
final
val
DomainArrayValueTag: ClassTag[DomainArrayValue]
- Definition Classes
- DefaultReferenceValuesBinding → ReferenceValues
-
final
val
DomainMultipleReferenceValuesTag: ClassTag[DomainMultipleReferenceValues]
- Definition Classes
- DefaultReferenceValuesBinding → ReferenceValues
-
final
val
DomainNullValueTag: ClassTag[DomainNullValue]
- Definition Classes
- DefaultReferenceValuesBinding → ReferenceValues
-
final
val
DomainObjectValueTag: ClassTag[DomainObjectValue]
- Definition Classes
- DefaultReferenceValuesBinding → ReferenceValues
-
final
val
DomainReferenceValueTag: ClassTag[DomainReferenceValue]
- Definition Classes
- DefaultReferenceValuesBinding → ValuesDomain
-
final
val
DomainSingleOriginReferenceValueTag: ClassTag[DomainSingleOriginReferenceValue]
- Definition Classes
- DefaultReferenceValuesBinding → ReferenceValues
-
final
val
DomainValueTag: ClassTag[DomainValue]
- Definition Classes
- DefaultSpecialDomainValuesBinding → ValuesDomain
-
final
def
DoubleValue(valueOrigin: Int, value: Double): DoubleValue
- Definition Classes
- DefaultTypeLevelDoubleValues → DoubleValuesFactory
-
final
def
DoubleValue(valueOrigin: Int): DoubleValue
- Definition Classes
- DefaultTypeLevelDoubleValues → DoubleValuesFactory
-
def
FloatValue(valueOrigin: Int, value: Float): FloatValue
- Definition Classes
- DefaultTypeLevelFloatValues → FloatValuesFactory
-
def
FloatValue(valueOrigin: Int): FloatValue
- Definition Classes
- DefaultTypeLevelFloatValues → FloatValuesFactory
-
final
def
IllegalMonitorStateException(origin: ValueOrigin): ExceptionValue
- Definition Classes
- DefaultExceptionsFactory → ExceptionsFactory
-
def
InitializedDomainValue(origin: ValueOrigin, vi: ValueInformation): DomainValue
- Definition Classes
- ReferenceValues → TypeLevelReferenceValues → ValuesDomain
-
def
InitializedObjectValue(pc: Int, objectType: ObjectType): DomainObjectValue
- Definition Classes
- ReferenceValues → TypeLevelReferenceValues → ReferenceValuesFactory
-
final
def
IntegerConstant0: DomainTypedValue[CTIntType]
- Definition Classes
- IntegerValuesFactory
-
final
def
IntegerRange(lb: Int, ub: Int): IntegerRange
- Definition Classes
- DefaultIntegerRangeValues → IntegerRangeValues
- Annotations
- @inline()
-
final
def
IntegerRange(origin: ValueOrigin, lowerBound: Int, upperBound: Int): DomainTypedValue[CTIntType]
- Definition Classes
- IntegerRangeValues → IntegerRangeValuesFactory
-
def
IntegerRange(value: Int): DomainTypedValue[CTIntType]
- Definition Classes
- IntegerRangeValues
-
def
IntegerValue(origin: ValueOrigin, value: Int): DomainTypedValue[CTIntType]
- Definition Classes
- DefaultIntegerRangeValues → IntegerValuesFactory
-
def
IntegerValue(origin: ValueOrigin): DomainTypedValue[CTIntType]
- Definition Classes
- DefaultIntegerRangeValues → IntegerValuesFactory
-
def
LongValue(origin: ValueOrigin, value: Long): TheLongValue
- Definition Classes
- DefaultLongValues → LongValuesFactory
-
def
LongValue(origin: ValueOrigin): ALongValue.type
- Definition Classes
- DefaultLongValues → LongValuesFactory
-
final
val
MetaInformationUpdateIllegalValue: MetaInformationUpdate[DomainIllegalValue]
- Definition Classes
- DefaultSpecialDomainValuesBinding → ValuesDomain
-
def
MethodCallResult(potentialExceptions: Iterable[ExceptionValue]): MethodCallResult
- Attributes
- protected[this]
- Definition Classes
- MethodCallsHandling
-
def
MethodCallResult(returnValue: DomainValue, exceptions: Iterable[ExceptionValue]): MethodCallResult
- Attributes
- protected[this]
- Definition Classes
- MethodCallsHandling
-
final
def
MethodExternalNullPointerException(pc: Int): ExceptionValue
- Definition Classes
- ExceptionsFactory
-
def
MethodHandle(origin: ValueOrigin, handle: MethodHandle): DomainReferenceValue
- Definition Classes
- ReferenceValuesFactory
-
def
MethodType(origin: ValueOrigin, descriptor: MethodDescriptor): DomainReferenceValue
- Definition Classes
- ReferenceValuesFactory
-
def
MultipleReferenceValues(values: UIDSet[DomainSingleOriginReferenceValue], origins: ValueOrigins, isNull: Answer, isPrecise: Boolean, theUpperTypeBound: UIDSet[_ <: ReferenceType], refId: RefId): DomainMultipleReferenceValues
- Attributes
- protected[domain]
- Definition Classes
- DefaultReferenceValuesBinding → ReferenceValues
-
def
MultipleReferenceValues(values: UIDSet[DomainSingleOriginReferenceValue]): DomainMultipleReferenceValues
- Attributes
- protected[domain]
- Definition Classes
- DefaultReferenceValuesBinding → ReferenceValues
-
final
def
NegativeArraySizeException(origin: ValueOrigin): ExceptionValue
- Definition Classes
- DefaultExceptionsFactory → ExceptionsFactory
-
def
NewArray(pc: Int, counts: Operands, arrayType: ArrayType): DomainArrayValue
- Definition Classes
- ReferenceValues → TypeLevelReferenceValues
-
def
NewArray(pc: Int, count: DomainValue, arrayType: ArrayType): DomainArrayValue
- Definition Classes
- ReferenceValues → TypeLevelReferenceValues
-
def
NewObject(pc: Int, objectType: ObjectType): DomainObjectValue
- Definition Classes
- ReferenceValues → TypeLevelReferenceValues → ReferenceValuesFactory
-
def
NonNullObjectValue(pc: Int, objectType: ObjectType): DomainObjectValue
- Definition Classes
- ReferenceValues → TypeLevelReferenceValues → ReferenceValuesFactory
-
final
def
NullPointerException(origin: ValueOrigin): ExceptionValue
- Definition Classes
- DefaultExceptionsFactory → ExceptionsFactory
-
def
NullValue(origin: ValueOrigin): DomainNullValue
- Definition Classes
- DefaultReferenceValuesBinding → TypeLevelReferenceValues → ReferenceValuesFactory
-
def
ObjectValue(origin: ValueOrigin, isNull: Answer, upperTypeBound: UIDSet[ObjectType], refId: RefId): DomainObjectValue
- Attributes
- protected[domain]
- Definition Classes
- DefaultReferenceValuesBinding → ReferenceValues
-
def
ObjectValue(origin: ValueOrigin, isNull: Answer, isPrecise: Boolean, theUpperTypeBound: ObjectType, refId: RefId): SObjectValue
- Attributes
- protected[domain]
- Definition Classes
- DefaultReferenceValuesBinding → ReferenceValues
-
def
ObjectValue(origin: ValueOrigin, isNull: Answer, isPrecise: Boolean, theUpperTypeBound: ObjectType): DomainObjectValue
- Attributes
- protected[domain]
- Definition Classes
- ReferenceValues
-
def
ObjectValue(origin: ValueOrigin, isNull: Answer, upperTypeBound: UIDSet[ObjectType]): DomainObjectValue
- Attributes
- protected[domain]
- Definition Classes
- ReferenceValues
-
def
ObjectValue(pc: Int, upperTypeBound: UIDSet[ObjectType]): DomainObjectValue
- Definition Classes
- ReferenceValues → TypeLevelReferenceValues
-
def
ObjectValue(pc: Int, objectType: ObjectType): DomainObjectValue
- Definition Classes
- ReferenceValues → TypeLevelReferenceValues
-
final
def
RefIdUpdate[T](value: T): MetaInformationUpdate[T]
- Definition Classes
- ReferenceValues
- Annotations
- @inline()
-
final
def
ReferenceValue(origin: ValueOrigin, isNull: Answer, isPrecise: Boolean, upperTypeBound: UIDSet[_ <: ReferenceType], refId: RefId): DomainSingleOriginReferenceValue
- Attributes
- protected[domain]
- Definition Classes
- ReferenceValues
-
final
def
ReferenceValue(origin: ValueOrigin, isNull: Answer, isPrecise: Boolean, theUpperTypeBound: ReferenceType): DomainSingleOriginReferenceValue
- Attributes
- protected[domain]
- Definition Classes
- ReferenceValues
-
def
ReferenceValue(origin: ValueOrigin, isNull: Answer, isPrecise: Boolean, theUpperTypeBound: ReferenceType, refId: RefId): DomainSingleOriginReferenceValue
- Attributes
- protected[domain]
- Definition Classes
- ReferenceValues
-
final
def
ReferenceValue(pc: Int, upperTypeBound: ReferenceType): AReferenceValue
- Definition Classes
- TypeLevelReferenceValues → ReferenceValuesFactory
-
final
def
ReturnAddressValue(address: Int): ReturnAddressValue
- Definition Classes
- DefaultSpecialDomainValuesBinding → ValuesDomain
-
def
ShortValue(origin: ValueOrigin, value: Short): DomainTypedValue[CTIntType]
- Definition Classes
- DefaultIntegerRangeValues → IntegerValuesFactory
-
def
ShortValue(origin: ValueOrigin): DomainTypedValue[CTIntType]
- Definition Classes
- DefaultIntegerRangeValues → IntegerValuesFactory
-
def
StringValue(pc: Int, value: String): DomainObjectValue
- Definition Classes
- ReferenceValues → TypeLevelReferenceValues → ReferenceValuesFactory
-
final
def
StructuralUpdateIllegalValue: StructuralUpdate[Nothing]
- Definition Classes
- ValuesDomain
-
final
val
TheIllegalValue: DomainIllegalValue
- Definition Classes
- DefaultSpecialDomainValuesBinding → ValuesDomain
-
final
val
TheReturnAddressValues: ReturnAddressValues
- Definition Classes
- DefaultSpecialDomainValuesBinding → ValuesDomain
-
final
def
Throwable(origin: ValueOrigin): ExceptionValue
- Definition Classes
- DefaultExceptionsFactory → ExceptionsFactory
-
def
TypedValue(origin: ValueOrigin, valueType: Type): DomainValue
- Definition Classes
- TypedValuesFactory
-
def
UninitializedThis(objectType: ObjectType): DomainObjectValue
- Definition Classes
- ReferenceValues → TypeLevelReferenceValues → ReferenceValuesFactory
-
final
def
VMArithmeticException(pc: Int): ExceptionValue
- Definition Classes
- ExceptionsFactory
-
final
def
VMArrayIndexOutOfBoundsException(pc: Int): ExceptionValue
- Definition Classes
- ExceptionsFactory
-
final
def
VMArrayStoreException(pc: Int): ExceptionValue
- Definition Classes
- ExceptionsFactory
-
final
def
VMClassCastException(pc: Int): ExceptionValue
- Definition Classes
- ExceptionsFactory
-
final
def
VMClassNotFoundException(pc: Int): ExceptionValue
- Definition Classes
- ExceptionsFactory
-
final
def
VMIllegalMonitorStateException(pc: Int): ExceptionValue
- Definition Classes
- ExceptionsFactory
-
final
def
VMNegativeArraySizeException(pc: Int): ExceptionValue
- Definition Classes
- ExceptionsFactory
-
final
def
VMNullPointerException(pc: Int): ExceptionValue
- Definition Classes
- ExceptionsFactory
-
final
def
VMThrowable(pc: Int): ExceptionValue
- Definition Classes
- ExceptionsFactory
-
final
def
ValueOrigins(vo: Int): ValueOrigins
- Definition Classes
- RecordDefUse
- Annotations
- @inline()
-
def
aaload(pc: Int, index: DomainValue, arrayref: DomainValue): ArrayLoadResult
- Definition Classes
- GeneralizedArrayHandling → ReferenceValuesDomain
-
def
aastore(pc: Int, value: DomainValue, index: DomainValue, arrayref: DomainValue): ArrayStoreResult
- Definition Classes
- GeneralizedArrayHandling → ReferenceValuesDomain
-
def
abnormalExitPCs: IntTrieSet
- Definition Classes
- RecordCFG
-
def
abortProcessingExceptionsOfCalledMethodsOnUnknownException: Boolean
- Definition Classes
- ThrowAllPotentialExceptionsConfiguration → Configuration
-
def
abortProcessingThrownExceptionsOnUnknownException: Boolean
- Definition Classes
- ThrowAllPotentialExceptionsConfiguration → Configuration
-
def
abruptMethodExecution(pc: Int, exceptionValue: ExceptionValue): Unit
- Definition Classes
- RecordCFG → ReturnInstructionsDomain
-
def
abstractInterpretationEnded(aiResult: AIResult { val domain: AnalysisDomain.this.type }): Unit
- Definition Classes
- RecordDefUse → RecordCFG → CoreDomainFunctionality
-
def
afterBaseJoin(pc: Int): Unit
- Attributes
- protected[this]
- Definition Classes
- JoinStabilization → CoreDomainFunctionality
-
def
afterEvaluation(pc: Int, instruction: Instruction, oldOperands: Operands, oldLocals: Locals, targetPC: Int, isExceptionalControlFlow: Boolean, forceJoin: Boolean, newOperands: Operands, newLocals: Locals): (Operands, Locals)
- Definition Classes
- CoreDomainFunctionality
-
final
def
allExecuted: BitSet
- Definition Classes
- RecordCFG
-
def
allExitPCs: IntTrieSet
- Definition Classes
- RecordCFG
-
def
allReachable(pcs: IntTrieSet): IntTrieSet
- Definition Classes
- RecordCFG
-
def
allReachable(pc: Int): IntTrieSet
- Definition Classes
- RecordCFG
-
def
allSuccessorsOf(pc: Int): PCs
- Definition Classes
- RecordCFG
-
def
areturn(pc: Int, value: DomainValue): Computation[Nothing, ExceptionValue]
- Definition Classes
- RecordCFG → ReturnInstructionsDomain
-
def
arraylength(pc: Int, arrayref: DomainValue): Computation[DomainValue, ExceptionValue]
- Definition Classes
- TypeLevelReferenceValues → ReferenceValuesDomain
-
def
arrayload(pc: Int, index: DomainValue, arrayref: DomainValue): ArrayLoadResult
- Definition Classes
- TypeLevelReferenceValues → GeneralizedArrayHandling
-
def
arraystore(pc: Int, value: DomainValue, index: DomainValue, arrayref: DomainValue): ArrayStoreResult
- Definition Classes
- TypeLevelReferenceValues → GeneralizedArrayHandling
-
def
asArrayAbstraction(value: DomainValue): ArrayAbstraction
- Definition Classes
- TypeLevelReferenceValues
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
asObjectValue(value: DomainValue): DomainObjectValue
- Definition Classes
- TypeLevelReferenceValues
-
def
asReferenceValue(value: DomainValue): AReferenceValue
- Definition Classes
- TypeLevelReferenceValues
-
def
baload(pc: Int, index: DomainValue, arrayref: DomainValue): ArrayLoadResult
- Definition Classes
- GeneralizedArrayHandling → ReferenceValuesDomain
-
def
bastore(pc: Int, value: DomainValue, index: DomainValue, arrayref: DomainValue): ArrayStoreResult
- Definition Classes
- GeneralizedArrayHandling → ReferenceValuesDomain
-
def
bbCFG: CFG[Instruction, Code]
- Definition Classes
- RecordCFG
-
def
beforeBaseJoin(pc: Int): Unit
- Attributes
- protected[this]
- Definition Classes
- CoreDomainFunctionality
-
def
caload(pc: Int, index: DomainValue, arrayref: DomainValue): ArrayLoadResult
- Definition Classes
- GeneralizedArrayHandling → ReferenceValuesDomain
-
def
castore(pc: Int, value: DomainValue, index: DomainValue, arrayref: DomainValue): ArrayStoreResult
- Definition Classes
- GeneralizedArrayHandling → ReferenceValuesDomain
-
def
cfgAsGraph(): DefaultMutableNode[Chain[Int]]
- Definition Classes
- RecordCFG
-
final
def
classFile: ClassFile
- Definition Classes
- TheMethod
- Annotations
- @inline()
-
implicit final
def
classHierarchy: ClassHierarchy
- Definition Classes
- TheProject
- Annotations
- @inline()
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native() @IntrinsicCandidate()
-
final
val
code: Code
- Definition Classes
- TheMethod → TheCode
-
def
createDefUseGraph(code: Code): Set[DefaultMutableNode[ValueOrigin]]
- Definition Classes
- RecordDefUse
-
def
d2f(pc: Int, value: DomainValue): DomainValue
- Definition Classes
- TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain
-
def
d2i(pc: Int, value: DomainValue): DomainValue
- Definition Classes
- TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain
-
def
d2l(pc: Int, value: DomainValue): DomainValue
- Definition Classes
- TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain
-
def
dadd(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue
- Definition Classes
- TypeLevelDoubleValues → DoubleValuesDomain
-
def
daload(pc: Int, index: DomainValue, arrayref: DomainValue): ArrayLoadResult
- Definition Classes
- GeneralizedArrayHandling → ReferenceValuesDomain
-
def
dastore(pc: Int, value: DomainValue, index: DomainValue, arrayref: DomainValue): ArrayStoreResult
- Definition Classes
- GeneralizedArrayHandling → ReferenceValuesDomain
-
def
dcmpg(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue
- Definition Classes
- TypeLevelDoubleValues → DoubleValuesDomain
-
def
dcmpl(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue
- Definition Classes
- TypeLevelDoubleValues → DoubleValuesDomain
-
def
ddiv(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue
- Definition Classes
- TypeLevelDoubleValues → DoubleValuesDomain
-
def
dmul(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue
- Definition Classes
- TypeLevelDoubleValues → DoubleValuesDomain
-
def
dneg(pc: Int, value: DomainValue): DomainValue
- Definition Classes
- TypeLevelDoubleValues → DoubleValuesDomain
-
def
doGetfield(pc: Int, objectref: DomainValue, fieldValue: DomainValue): Computation[DomainValue, ExceptionValue]
- Definition Classes
- TypeLevelFieldAccessInstructions
-
def
doGetstatic(pc: Int, fieldValue: DomainValue): Computation[DomainValue, Nothing]
- Definition Classes
- TypeLevelFieldAccessInstructions
-
def
doLoadDynamic(pc: Int, constantValue: DomainValue): Computation[DomainValue, Nothing]
- Definition Classes
- TypeLevelDynamicLoads
-
def
dominatorTree: DominatorTree
- Definition Classes
- RecordCFG
-
def
drem(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue
- Definition Classes
- TypeLevelDoubleValues → DoubleValuesDomain
-
def
dreturn(pc: Int, value: DomainValue): Computation[Nothing, ExceptionValue]
- Definition Classes
- RecordCFG → ReturnInstructionsDomain
-
def
dsub(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue
- Definition Classes
- TypeLevelDoubleValues → DoubleValuesDomain
-
def
dumpDefUseInfo(): Node
- Definition Classes
- RecordDefUse
-
def
dumpDefUseTable(): Node
- Definition Classes
- RecordDefUse
-
def
effectiveUTB(utb: UIDSet[_ <: ReferenceType]): UIDSet[_ <: ReferenceType]
- Attributes
- protected
- Definition Classes
- ReferenceValues
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
evaluationCompleted(pc: Int, worklist: Chain[Int], evaluatedPCs: IntArrayStack, operandsArray: OperandsArray, localsArray: LocalsArray, tracer: Option[AITracer]): Unit
- Definition Classes
- CoreDomainFunctionality
-
def
exceptionHandlerSuccessorsOf(pc: Int): PCs
- Definition Classes
- RecordCFG
-
def
f2d(pc: Int, value: DomainValue): DomainValue
- Definition Classes
- TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain
-
def
f2i(pc: Int, value: DomainValue): DomainValue
- Definition Classes
- TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain
-
def
f2l(pc: Int, value: DomainValue): DomainValue
- Definition Classes
- TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain
-
def
fadd(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue
- Definition Classes
- TypeLevelFloatValues → FloatValuesDomain
-
def
faload(pc: Int, index: DomainValue, arrayref: DomainValue): ArrayLoadResult
- Definition Classes
- GeneralizedArrayHandling → ReferenceValuesDomain
-
def
fastore(pc: Int, value: DomainValue, index: DomainValue, arrayref: DomainValue): ArrayStoreResult
- Definition Classes
- GeneralizedArrayHandling → ReferenceValuesDomain
-
def
fcmpg(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue
- Definition Classes
- TypeLevelFloatValues → FloatValuesDomain
-
def
fcmpl(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue
- Definition Classes
- TypeLevelFloatValues → FloatValuesDomain
-
def
fdiv(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue
- Definition Classes
- TypeLevelFloatValues → FloatValuesDomain
-
def
flow(currentPC: Int, currentOperands: Operands, currentLocals: Locals, successorPC: Int, isSuccessorScheduled: Answer, isExceptionalControlFlow: Boolean, abruptSubroutineTerminationCount: Int, wasJoinPerformed: Boolean, worklist: Chain[Int], operandsArray: OperandsArray, localsArray: LocalsArray, tracer: Option[AITracer]): Chain[Int]
- Definition Classes
- RecordCFG → CoreDomainFunctionality
-
def
fmul(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue
- Definition Classes
- TypeLevelFloatValues → FloatValuesDomain
-
def
fneg(pc: Int, value: DomainValue): DomainValue
- Definition Classes
- TypeLevelFloatValues → FloatValuesDomain
-
def
foreachOrigin(value: DomainValue, f: (ValueOrigin) ⇒ Unit): Unit
- Definition Classes
- Origin
-
final
def
foreachPredecessorOf(pc: Int)(f: (PC) ⇒ Unit): Unit
- Definition Classes
- RecordCFG
-
def
foreachSuccessorOf(pc: Int)(f: (PC) ⇒ Unit): Unit
- Definition Classes
- RecordCFG
-
def
frem(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue
- Definition Classes
- TypeLevelFloatValues → FloatValuesDomain
-
def
freturn(pc: Int, value: DomainValue): Computation[Nothing, ExceptionValue]
- Definition Classes
- RecordCFG → ReturnInstructionsDomain
-
def
fsub(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue
- Definition Classes
- TypeLevelFloatValues → FloatValuesDomain
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @IntrinsicCandidate()
-
def
getPotentialExceptions(pc: Int): List[ExceptionValue]
- Attributes
- protected[this]
- Definition Classes
- MethodCallsHandling
-
def
getfield(pc: Int, objectref: DomainValue, declaringClass: ObjectType, fieldName: String, fieldType: FieldType): Computation[DomainValue, ExceptionValue]
- Definition Classes
- TypeLevelFieldAccessInstructions → FieldAccessesDomain
-
def
getstatic(pc: Int, declaringClass: ObjectType, fieldName: String, fieldType: FieldType): Computation[DomainValue, Nothing]
- Definition Classes
- TypeLevelFieldAccessInstructions → FieldAccessesDomain
-
def
handleInstanceBasedInvoke(pc: Int, methodDescriptor: MethodDescriptor, targetMethods: Set[Method], receiverIsNull: Answer, operands: Operands): MethodCallResult
- Attributes
- protected[this]
- Definition Classes
- MethodCallsHandling
-
def
handleInstanceBasedInvoke(pc: Int, methodDescriptor: MethodDescriptor, operands: Operands): MethodCallResult
- Attributes
- protected[this]
- Definition Classes
- MethodCallsHandling
-
def
handleInstanceBasedInvoke(pc: Int, methodDescriptor: MethodDescriptor, receiverIsNull: Answer): MethodCallResult
- Attributes
- protected[this]
- Definition Classes
- MethodCallsHandling
-
def
handleInvoke(pc: Int, methodDescriptor: MethodDescriptor): MethodCallResult
- Attributes
- protected[this]
- Definition Classes
- MethodCallsHandling
-
def
handleReturn(pc: Int): Computation[Nothing, ExceptionValue]
- Attributes
- protected[this]
- Definition Classes
- ReturnInstructionsDomain
-
final
def
handlesException(exceptionHandler: ExceptionHandler): Boolean
- Definition Classes
- RecordCFG
-
final
def
hasMultiplePredecessors(pc: Int): Boolean
- Definition Classes
- RecordCFG
-
final
def
hasMultipleSuccessors(pc: Int): Boolean
- Definition Classes
- RecordCFG
-
def
hasNoSuccessor(pc: Int): Boolean
- Definition Classes
- RecordCFG
-
def
hasSuccessor(pc: Int, regularSuccessorsOnly: Boolean, p: (Int) ⇒ Boolean): Boolean
- Definition Classes
- RecordCFG
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @IntrinsicCandidate()
-
def
i2b(pc: Int, value: DomainValue): DomainValue
- Definition Classes
- IntegerRangeValues → IntegerValuesDomain
-
def
i2c(pc: Int, value: DomainValue): DomainValue
- Definition Classes
- IntegerRangeValues → IntegerValuesDomain
-
def
i2d(pc: Int, value: DomainValue): DomainValue
- Definition Classes
- ConcretePrimitiveValuesConversions → TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain
-
def
i2f(pc: Int, value: DomainValue): DomainValue
- Definition Classes
- ConcretePrimitiveValuesConversions → TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain
-
def
i2l(pc: Int, value: DomainValue): DomainValue
- Definition Classes
- ConcretePrimitiveValuesConversions → TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain
-
def
i2s(pc: Int, value: DomainValue): DomainValue
- Definition Classes
- IntegerRangeValues → IntegerValuesDomain
-
def
iadd(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue
- Definition Classes
- IntegerRangeValues → IntegerValuesDomain
-
def
iaload(pc: Int, index: DomainValue, arrayref: DomainValue): ArrayLoadResult
- Definition Classes
- GeneralizedArrayHandling → ReferenceValuesDomain
-
def
iand(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue
- Definition Classes
- IntegerRangeValues → IntegerValuesDomain
-
def
iastore(pc: Int, value: DomainValue, index: DomainValue, arrayref: DomainValue): ArrayStoreResult
- Definition Classes
- GeneralizedArrayHandling → ReferenceValuesDomain
-
def
idiv(pc: Int, numerator: DomainValue, denominator: DomainValue): IntegerValueOrArithmeticException
- Definition Classes
- IntegerRangeValues → IntegerValuesDomain
-
def
iinc(pc: Int, value: DomainValue, increment: Int): DomainValue
- Definition Classes
- IntegerRangeValues → IntegerValuesDomain
-
def
imul(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue
- Definition Classes
- IntegerRangeValues → IntegerValuesDomain
-
def
ineg(pc: Int, value: DomainValue): DomainValue
- Definition Classes
- IntegerRangeValues → IntegerValuesDomain
-
def
infiniteLoopHeaders: IntTrieSet
- Definition Classes
- RecordCFG
-
def
initProperties(code: Code, cfJoins: IntTrieSet, locals: Locals): Unit
- Definition Classes
- RecordDefUse → RecordCFG → CustomInitialization
-
def
intAreEqual(pc: Int, value1: DomainValue, value2: DomainValue): Answer
- Definition Classes
- IntegerRangeValues → IntegerValuesDomain
-
def
intAreNotEqual(pc: Int, value1: DomainValue, value2: DomainValue): Answer
- Definition Classes
- IntegerValuesDomain
-
def
intEstablishAreEqual(pc: Int, value1: DomainValue, value2: DomainValue, operands: Operands, locals: Locals): (Operands, Locals)
- Definition Classes
- IntegerRangeValues → IntegerValuesDomain
-
def
intEstablishAreNotEqual(pc: Int, value1: DomainValue, value2: DomainValue, operands: Operands, locals: Locals): (Operands, Locals)
- Definition Classes
- IntegerRangeValues → IntegerValuesDomain
-
def
intEstablishIsLessThan(pc: Int, left: DomainValue, right: DomainValue, operands: Operands, locals: Locals): (Operands, Locals)
- Definition Classes
- IntegerRangeValues → IntegerValuesDomain
-
def
intEstablishIsLessThanOrEqualTo(pc: Int, left: DomainValue, right: DomainValue, operands: Operands, locals: Locals): (Operands, Locals)
- Definition Classes
- IntegerRangeValues → IntegerValuesDomain
-
def
intEstablishValue(pc: Int, theValue: Int, value: DomainValue, operands: Operands, locals: Locals): (Operands, Locals)
- Definition Classes
- IntegerRangeValues → IntegerValuesDomain
-
def
intIs0(pc: Int, value: DomainValue): Answer
- Definition Classes
- IntegerValuesDomain
-
def
intIsGreaterThan(pc: Int, largerValue: DomainValue, smallerValue: DomainValue): Answer
- Definition Classes
- IntegerValuesDomain
-
def
intIsGreaterThan0(pc: Int, value: DomainValue): Answer
- Definition Classes
- IntegerValuesDomain
-
def
intIsGreaterThanOrEqualTo(pc: Int, largerOrEqualValue: DomainValue, smallerOrEqualValue: DomainValue): Answer
- Definition Classes
- IntegerValuesDomain
-
def
intIsGreaterThanOrEqualTo0(pc: Int, value: DomainValue): Answer
- Definition Classes
- IntegerValuesDomain
-
def
intIsLessThan(pc: Int, left: DomainValue, right: DomainValue): Answer
- Definition Classes
- IntegerRangeValues → IntegerValuesDomain
-
def
intIsLessThan0(pc: Int, value: DomainValue): Answer
- Definition Classes
- IntegerValuesDomain
-
def
intIsLessThanOrEqualTo(pc: Int, left: DomainValue, right: DomainValue): Answer
- Definition Classes
- IntegerRangeValues → IntegerValuesDomain
-
def
intIsLessThanOrEqualTo0(pc: Int, value: DomainValue): Answer
- Definition Classes
- IntegerValuesDomain
-
def
intIsNot0(pc: Int, value: DomainValue): Answer
- Definition Classes
- IntegerValuesDomain
-
def
intIsSomeValueInRange(pc: Int, value: DomainValue, lowerBound: Int, upperBound: Int): Answer
- Definition Classes
- IntegerRangeValues → IntegerValuesDomain
-
def
intIsSomeValueNotInRange(pc: Int, value: DomainValue, lowerBound: Int, upperBound: Int): Answer
- Definition Classes
- IntegerRangeValues → IntegerValuesDomain
-
final
def
intValue[T](value: DomainValue)(f: (Int) ⇒ T)(orElse: ⇒ T): T
- Definition Classes
- IntegerRangeValues → ConcreteIntegerValues
- Annotations
- @inline()
-
final
def
intValueOption(value: DomainValue): Option[Int]
- Definition Classes
- IntegerRangeValues → ConcreteIntegerValues
- Annotations
- @inline()
-
final
def
intValues[T](value1: DomainValue, value2: DomainValue)(f: (Int, Int) ⇒ T)(orElse: ⇒ T): T
- Attributes
- protected
- Definition Classes
- IntegerRangeValues
- Annotations
- @inline()
-
def
invokedynamic(pc: Int, bootstrapMethod: BootstrapMethod, name: String, methodDescriptor: MethodDescriptor, operands: Operands): MethodCallResult
- Definition Classes
- TypeLevelInvokeInstructions → MethodCallsDomain
-
def
invokeinterface(pc: Int, declaringClass: ObjectType, name: String, methodDescriptor: MethodDescriptor, operands: Operands): MethodCallResult
- Definition Classes
- TypeLevelInvokeInstructions → MethodCallsDomain
-
def
invokespecial(pc: Int, declaringClass: ObjectType, isInterface: Boolean, name: String, methodDescriptor: MethodDescriptor, operands: Operands): MethodCallResult
- Definition Classes
- TypeLevelInvokeInstructions → MethodCallsDomain
-
def
invokestatic(pc: Int, declaringClass: ObjectType, isInterface: Boolean, name: String, methodDescriptor: MethodDescriptor, operands: Operands): MethodCallResult
- Definition Classes
- TypeLevelInvokeInstructions → MethodCallsDomain
-
def
invokevirtual(pc: Int, declaringClass: ReferenceType, name: String, methodDescriptor: MethodDescriptor, operands: Operands): MethodCallResult
- Definition Classes
- TypeLevelInvokeInstructions → MethodCallsDomain
-
def
ior(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue
- Definition Classes
- IntegerRangeValues → IntegerValuesDomain
-
def
irem(pc: Int, left: DomainValue, right: DomainValue): IntegerValueOrArithmeticException
- Definition Classes
- IntegerRangeValues → IntegerValuesDomain
-
def
ireturn(pc: Int, value: DomainValue): Computation[Nothing, ExceptionValue]
- Definition Classes
- RecordCFG → ReturnInstructionsDomain
-
final
def
isASubtypeOf(subtype: ReferenceType, supertype: ReferenceType): Answer
- Definition Classes
- ValuesDomain
-
def
isDirectRegularPredecessorOf(pc: Int, successorPC: Int): Boolean
- Definition Classes
- RecordCFG
-
def
isExitPC(pc: PC): Boolean
- Definition Classes
- RecordCFG
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
def
isNull(values: Iterable[AReferenceValue]): Answer
- Attributes
- protected
- Definition Classes
- ReferenceValues
-
def
isPrecise(values: Iterable[AReferenceValue]): Boolean
- Attributes
- protected
- Definition Classes
- ReferenceValues
-
def
isRegularPredecessorOf(pc: Int, successorPC: Int): Boolean
- Definition Classes
- RecordCFG
-
final
def
isSubtypeOf(subtype: ReferenceType, supertype: ReferenceType): Boolean
- Definition Classes
- ValuesDomain
-
final
def
isValueASubtypeOf(value: DomainValue, supertype: ReferenceType): Answer
- Definition Classes
- TypeLevelReferenceValues → ReferenceValuesDomain
-
def
ishl(pc: Int, value: DomainValue, shift: DomainValue): DomainValue
- Definition Classes
- IntegerRangeValues → IntegerValuesDomain
-
def
ishr(pc: Int, value: DomainValue, shift: DomainValue): DomainValue
- Definition Classes
- IntegerRangeValues → IntegerValuesDomain
-
def
isub(pc: Int, left: DomainValue, right: DomainValue): DomainValue
- Definition Classes
- IntegerRangeValues → IntegerValuesDomain
-
def
iushr(pc: Int, value: DomainValue, shift: DomainValue): DomainValue
- Definition Classes
- IntegerRangeValues → IntegerValuesDomain
-
def
ixor(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue
- Definition Classes
- IntegerRangeValues → IntegerValuesDomain
-
def
join(pc: Int, thisOperands: Operands, thisLocals: Locals, otherOperands: Operands, otherLocals: Locals): Update[(Operands, Locals)]
- Definition Classes
- CoreDomainFunctionality
-
def
joinPostProcessing(updateType: UpdateType, pc: Int, oldOperands: Operands, oldLocals: Locals, newOperands: Operands, newLocals: Locals): Update[(Operands, Locals)]
- Attributes
- protected[this]
- Definition Classes
- IdentityBasedCorrelationChangeDetection → CoreDomainFunctionality
-
def
joinValues(pc: Int, left: DomainValue, right: DomainValue): Update[DomainValue]
- Attributes
- protected[this]
- Definition Classes
- JoinStabilization → CoreDomainFunctionality
-
val
joinedValues: HashMap[IdentityPair[AnyRef, AnyRef], Update[DomainValue]]
- Attributes
- protected[this]
- Definition Classes
- JoinStabilization
-
def
jumpBackTargetPCs: IntTrieSet
- Definition Classes
- RecordCFG
-
def
jumpToSubroutine(pc: Int, branchTargetPC: Int, returnTargetPC: Int): Unit
- Definition Classes
- RecordCFG → SubroutinesDomain
-
final
def
justThrows(value: ExceptionValue): ThrowsException[ExceptionValues]
- Definition Classes
- ReferenceValuesFactory
-
def
justThrowsException(pc: Int): Boolean
- Definition Classes
- RecordCFG
-
def
l2d(pc: Int, value: DomainValue): DomainValue
- Definition Classes
- ConcretePrimitiveValuesConversions → TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain
-
def
l2f(pc: Int, value: DomainValue): DomainValue
- Definition Classes
- ConcretePrimitiveValuesConversions → TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain
-
def
l2i(pc: Int, value: DomainValue): DomainValue
- Definition Classes
- ConcretePrimitiveValuesConversions → TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain
-
def
ladd(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue
- Definition Classes
- LongValues → LongValuesDomain
-
def
laload(pc: Int, index: DomainValue, arrayref: DomainValue): ArrayLoadResult
- Definition Classes
- GeneralizedArrayHandling → ReferenceValuesDomain
-
def
land(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue
- Definition Classes
- LongValues → LongValuesDomain
-
def
lastore(pc: Int, value: DomainValue, index: DomainValue, arrayref: DomainValue): ArrayStoreResult
- Definition Classes
- GeneralizedArrayHandling → ReferenceValuesDomain
-
def
lcmp(pc: Int, left: DomainValue, right: DomainValue): DomainValue
- Definition Classes
- LongValues → LongValuesDomain
-
def
ldiv(pc: Int, numerator: DomainValue, denominator: DomainValue): LongValueOrArithmeticException
- Definition Classes
- LongValues → LongValuesDomain
-
def
lmul(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue
- Definition Classes
- LongValues → LongValuesDomain
-
def
lneg(pc: Int, value: DomainValue): DomainValue
- Definition Classes
- LongValues → LongValuesDomain
-
def
loadDynamic(pc: Int, bootstrapMethod: BootstrapMethod, fieldName: String, descriptor: FieldType): Computation[DomainValue, Nothing]
- Definition Classes
- TypeLevelDynamicLoads → DynamicLoadsDomain
-
def
localOrigin(pc: PC, registerIndex: Int): ValueOrigins
- Definition Classes
- RecordDefUse
-
implicit final
def
logContext: LogContext
- Definition Classes
- TheProject → LogContextProvider
-
final
def
longValue[T](value: DomainValue)(ifThen: (Long) ⇒ T)(orElse: ⇒ T): T
- Definition Classes
- LongValues → ConcreteLongValues
- Annotations
- @inline()
-
final
def
longValueOption(value: DomainValue): Option[Long]
- Definition Classes
- LongValues → ConcreteLongValues
- Annotations
- @inline()
-
final
def
longValues[T](value1: DomainValue, value2: DomainValue)(ifThen: (Long, Long) ⇒ T)(orElse: ⇒ T): T
- Attributes
- protected
- Definition Classes
- LongValues
- Annotations
- @inline()
-
def
lor(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue
- Definition Classes
- LongValues → LongValuesDomain
-
def
lrem(pc: Int, left: DomainValue, right: DomainValue): LongValueOrArithmeticException
- Definition Classes
- LongValues → LongValuesDomain
-
def
lreturn(pc: Int, value: DomainValue): Computation[Nothing, ExceptionValue]
- Definition Classes
- RecordCFG → ReturnInstructionsDomain
-
def
lshl(pc: Int, longValue: DomainValue, shiftValue: DomainValue): DomainTypedValue[LongType]
- Definition Classes
- LongValuesShiftOperators → LongValuesDomain
-
def
lshr(pc: Int, longValue: DomainValue, shiftValue: DomainValue): DomainTypedValue[LongType]
- Definition Classes
- LongValuesShiftOperators → LongValuesDomain
-
def
lsub(pc: Int, left: DomainValue, right: DomainValue): DomainValue
- Definition Classes
- LongValues → LongValuesDomain
-
def
lushr(pc: Int, longValue: DomainValue, shiftValue: DomainValue): DomainTypedValue[LongType]
- Definition Classes
- LongValuesShiftOperators → LongValuesDomain
-
def
lxor(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue
- Definition Classes
- LongValues → LongValuesDomain
-
def
maxCardinalityOfIntegerRanges: Long
- Definition Classes
- IntegerRangeValues
-
def
mergeDEComputations(pc: Int, c1: Computation[DomainValue, ExceptionValue], c2: Computation[DomainValue, ExceptionValue]): Computation[DomainValue, ExceptionValue]
- Attributes
- protected[this]
- Definition Classes
- TypeLevelReferenceValues
-
def
mergeDEsComputations(pc: Int, c1: Computation[DomainValue, ExceptionValues], c2: Computation[DomainValue, ExceptionValues]): Computation[DomainValue, ExceptionValues]
- Attributes
- protected[this]
- Definition Classes
- TypeLevelReferenceValues
-
def
mergeDomainValues(pc: Int, v1: DomainValue, v2: DomainValue): DomainValue
- Definition Classes
- ValuesDomain
-
def
mergeEsComputations(pc: Int, c1: Computation[Nothing, ExceptionValues], c2: Computation[Nothing, ExceptionValues]): Computation[Nothing, ExceptionValues]
- Attributes
- protected[this]
- Definition Classes
- TypeLevelReferenceValues
-
def
mergeMultipleExceptionValues(pc: Int, v1s: ExceptionValues, v2s: ExceptionValues): ExceptionValues
- Definition Classes
- TypeLevelReferenceValues
-
val
method: Method
- Definition Classes
- AnalysisDomain → TheMethod
-
def
monitorenter(pc: Int, value: DomainValue): Computation[Nothing, ExceptionValue]
- Definition Classes
- IgnoreSynchronization → MonitorInstructionsDomain
-
def
monitorexit(pc: Int, value: DomainValue): Computation[Nothing, ExceptionValues]
- Definition Classes
- IgnoreSynchronization → MonitorInstructionsDomain
-
def
multianewarray(pc: Int, counts: Operands, arrayType: ArrayType): Computation[DomainArrayValue, ExceptionValue]
- Definition Classes
- TypeLevelReferenceValues → ReferenceValuesDomain
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
newDefOpsForExceptionalControlFlow(currentPC: PC, currentInstruction: Instruction, successorPC: PC)(implicit operandsArray: OperandsArray): Chain[ValueOrigins]
- Attributes
- protected[this]
- Definition Classes
- RecordDefUse
-
def
newarray(pc: Int, count: DomainValue, componentType: FieldType): Computation[DomainValue, ExceptionValue]
- Definition Classes
- TypeLevelReferenceValues → ReferenceValuesDomain
-
def
nextRefId(): RefId
- Definition Classes
- ReferenceValues
-
def
normalExitPCs: IntTrieSet
- Definition Classes
- RecordCFG
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @IntrinsicCandidate()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @IntrinsicCandidate()
-
final
def
nullRefId: RefId
- Definition Classes
- ReferenceValues
-
def
operandOrigin(pc: PC, stackIndex: Int): ValueOrigins
- Definition Classes
- RecordDefUse
-
def
origins(value: DomainValue): ValueOrigins
- Definition Classes
- Origin
-
def
originsIterator(value: DomainValue): ValueOriginsIterator
- Definition Classes
- Origin
-
def
originsOf(domainValue: DomainValue): Option[ValueOrigins]
- Attributes
- protected[this]
- Definition Classes
- RecordDefUse
-
val
parametersOffset: Int
- Attributes
- protected[this]
- Definition Classes
- RecordDefUse
-
def
pdtBasedControlDependencies: DominanceFrontiers
- Definition Classes
- RecordCFG
-
def
postDominatorTree: PostDominatorTree
- Definition Classes
- RecordCFG
-
def
predecessorsOf(pc: Int): PCs
- Definition Classes
- RecordCFG
-
val
project: Project[S]
- Definition Classes
- AnalysisDomain → TheProject
-
def
propagate(currentPC: Int, successorPC: Int, newDefOps: Chain[ValueOrigins], newDefLocals: collection.mutable.Locals[ValueOrigins])(implicit cfJoins: IntTrieSet, subroutinePCs: IntArraySet): Boolean
- Attributes
- protected[this]
- Definition Classes
- RecordDefUse
-
def
properties(pc: Int, propertyToString: (AnyRef) ⇒ String): Option[String]
- Definition Classes
- RecordDefUse → ValuesDomain
-
implicit final
lazy val
propertyStore: PropertyStore
- Definition Classes
- TheProject → ThePropertyStore
-
def
providesOriginInformationFor(ct: ComputationalType): Boolean
- Definition Classes
- ReferenceValues → Origin
-
def
putfield(pc: Int, objectref: DomainValue, value: DomainValue, declaringClass: ObjectType, fieldName: String, fieldType: FieldType): Computation[Nothing, ExceptionValue]
- Definition Classes
- TypeLevelFieldAccessInstructions → FieldAccessesDomain
-
def
putstatic(pc: Int, value: DomainValue, declaringClass: ObjectType, fieldName: String, fieldType: FieldType): Computation[Nothing, Nothing]
- Definition Classes
- TypeLevelFieldAccessInstructions → FieldAccessesDomain
-
def
refAreEqual(pc: Int, v1: DomainValue, v2: DomainValue): Answer
- Definition Classes
- ReferenceValues → TypeLevelReferenceValues → ReferenceValuesDomain
-
def
refAreNotEqual(pc: Int, value1: DomainValue, value2: DomainValue): Answer
- Definition Classes
- ReferenceValuesDomain
-
def
refEstablishAreEqual(pc: Int, value1: DomainValue, value2: DomainValue, operands: Operands, locals: Locals): (Operands, Locals)
- Definition Classes
- ReferenceValuesDomain
-
def
refEstablishAreNotEqual(pc: Int, value1: DomainValue, value2: DomainValue, operands: Operands, locals: Locals): (Operands, Locals)
- Definition Classes
- ReferenceValuesDomain
-
def
refEstablishIsNonNull(pc: Int, value: DomainValue, operands: Operands, locals: Locals): (Operands, Locals)
- Definition Classes
- ReferenceValues → ReferenceValuesDomain
-
def
refEstablishIsNull(pc: Int, value: DomainValue, operands: Operands, locals: Locals): (Operands, Locals)
- Definition Classes
- ReferenceValues → ReferenceValuesDomain
-
def
refIsNonNull(pc: Int, value: DomainValue): Answer
- Definition Classes
- ReferenceValuesDomain
-
final
def
refIsNull(pc: Int, value: DomainValue): Answer
- Definition Classes
- TypeLevelReferenceValues → ReferenceValuesDomain
-
def
refSetUpperTypeBoundOfTopOperand(pc: Int, bound: ReferenceType, operands: Operands, locals: Locals): (Operands, Locals)
- Definition Classes
- ReferenceValues → TypeLevelReferenceValues → ReferenceValuesDomain
-
def
refTopOperandIsNull(pc: Int, operands: Operands, locals: Locals): (Operands, Locals)
- Definition Classes
- ReferenceValues → TypeLevelReferenceValues → ReferenceValuesDomain
-
def
refineIsNull(pc: Int, value: DomainValue, isNull: Answer, operands: Operands, locals: Locals): (Operands, Locals)
- Attributes
- protected[this]
- Definition Classes
- ReferenceValues
-
def
registerReadWrite(currentPC: PC, successorPC: PC, index: Int)(implicit cfJoins: IntTrieSet, subroutinePCs: IntArraySet, localsArray: LocalsArray): Boolean
- Attributes
- protected[this]
- Definition Classes
- RecordDefUse
-
def
regularSuccessorsOf(pc: Int): PCs
- Definition Classes
- RecordCFG
-
def
returnFromSubroutine(pc: Int, lvIndex: Int): Unit
- Definition Classes
- SubroutinesDomain
-
def
returnVoid(pc: Int): Computation[Nothing, ExceptionValue]
- Definition Classes
- RecordCFG → ReturnInstructionsDomain
-
def
safeExternalExceptionsUsedBy(pc: Int): ValueOrigins
- Definition Classes
- RecordDefUse
-
def
safeUsedBy(valueOrigin: ValueOrigin): ValueOrigins
- Definition Classes
- RecordDefUse
-
def
saload(pc: Int, index: DomainValue, arrayref: DomainValue): ArrayLoadResult
- Definition Classes
- GeneralizedArrayHandling → ReferenceValuesDomain
-
def
sastore(pc: Int, value: DomainValue, index: DomainValue, arrayref: DomainValue): ArrayStoreResult
- Definition Classes
- GeneralizedArrayHandling → ReferenceValuesDomain
-
def
schedule(successorPC: Int, abruptSubroutineTerminationCount: Int, worklist: Chain[Int]): Chain[Int]
- Attributes
- protected[this]
- Definition Classes
- CoreDomainFunctionality
-
def
sideEffectOnlyOrExceptions(pc: Int, value: DomainValue): Computation[Nothing, ExceptionValue]
- Attributes
- protected[this]
- Definition Classes
- IgnoreSynchronization
-
def
stackOperation(currentPC: Int, currentInstruction: Instruction, successorPC: Int, isExceptionalControlFlow: Boolean, usedValues: Int, pushesValue: Boolean)(implicit cfJoins: IntTrieSet, subroutinePCs: IntArraySet, operandsArray: OperandsArray): Boolean
- Attributes
- protected[this]
- Definition Classes
- RecordDefUse
-
def
subroutineStartPCs: PCs
- Definition Classes
- RecordCFG
-
final
def
successorsOf(pc: Int, regularSuccessorOnly: Boolean): PCs
- Definition Classes
- RecordCFG
-
def
summarize(pc: Int, values: Iterable[DomainValue]): DomainValue
- Definition Classes
- ValuesDomain
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
thisProperty(pc: Int): Option[String]
- Attributes
- protected[this]
- Definition Classes
- RecordDefUse
-
def
throwArithmeticExceptions: Boolean
- Definition Classes
- ThrowAllPotentialExceptionsConfiguration → Configuration
-
def
throwArrayIndexOutOfBoundsException: Boolean
- Definition Classes
- ThrowAllPotentialExceptionsConfiguration → Configuration
-
def
throwArrayStoreException: Boolean
- Definition Classes
- ThrowAllPotentialExceptionsConfiguration → Configuration
-
def
throwClassCastException: Boolean
- Definition Classes
- ThrowAllPotentialExceptionsConfiguration → Configuration
-
def
throwClassNotFoundException: Boolean
- Definition Classes
- ThrowAllPotentialExceptionsConfiguration → Configuration
-
def
throwExceptionsOnMethodCall: ExceptionsRaisedByCalledMethod
- Definition Classes
- ThrowAllPotentialExceptionsConfiguration → Configuration
-
def
throwIllegalMonitorStateException: Boolean
- Definition Classes
- ThrowAllPotentialExceptionsConfiguration → Configuration
-
def
throwNegativeArraySizeException: Boolean
- Definition Classes
- ThrowAllPotentialExceptionsConfiguration → Configuration
-
def
throwNullPointerExceptionOnArrayAccess: Boolean
- Definition Classes
- ThrowAllPotentialExceptionsConfiguration → Configuration
-
def
throwNullPointerExceptionOnFieldAccess: Boolean
- Definition Classes
- ThrowAllPotentialExceptionsConfiguration → Configuration
-
def
throwNullPointerExceptionOnMethodCall: Boolean
- Definition Classes
- ThrowAllPotentialExceptionsConfiguration → Configuration
-
def
throwNullPointerExceptionOnMonitorAccess: Boolean
- Definition Classes
- ThrowAllPotentialExceptionsConfiguration → Configuration
-
def
throwNullPointerExceptionOnThrow: Boolean
- Definition Classes
- ThrowAllPotentialExceptionsConfiguration → Configuration
-
final
def
throws(value: ExceptionValue): ThrowsException[ExceptionValue]
- Definition Classes
- ReferenceValuesFactory
-
def
throwsException(pc: Int): Boolean
- Definition Classes
- RecordCFG
-
def
toJavaObject(pc: Int, value: DomainValue): Option[AnyRef]
- Definition Classes
- ReferenceValues → TypeLevelReferenceValues → AsJavaObject
-
def
toString(): String
- Definition Classes
- TheMethod → AnyRef → Any
-
def
unused: ValueOrigins
- Definition Classes
- RecordDefUse
-
def
updateMemoryLayout(oldValue: DomainValue, newValue: DomainValue, operands: Operands, locals: Locals): (Operands, Locals)
- Definition Classes
- CoreDomainFunctionality
-
def
upperTypeBound(theValues: UIDSet[DomainSingleOriginReferenceValue]): UIDSet[_ <: ReferenceType]
- Definition Classes
- ReferenceValues
-
def
usedBy(valueOrigin: ValueOrigin): ValueOrigins
- Definition Classes
- RecordDefUse
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wasExecuted(pc: Int): Boolean
- Definition Classes
- RecordCFG
-
object
MultipleReferenceValues
- Definition Classes
- ReferenceValues
Deprecated Value Members
-
def
finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] ) @Deprecated
- Deprecated