org.opalj.ai.domain.l1.MethodReturnValuesAnalysis

AnalysisDomain

class AnalysisDomain extends CorrelationalDomain with DefaultDomainValueBinding with ThrowAllPotentialExceptionsConfiguration with DefaultTypeLevelIntegerValues with DefaultTypeLevelLongValues with TypeLevelPrimitiveValuesConversions with TypeLevelLongValuesShiftOperators with DefaultTypeLevelFloatValues with DefaultTypeLevelDoubleValues with TypeLevelFieldAccessInstructions with TypeLevelInvokeInstructions with DefaultReferenceValuesBinding with DefaultHandlingOfMethodResults with IgnoreSynchronization with TheProject with TheMethod with RecordReturnedValuesInfrastructure

Linear Supertypes

RecordReturnedValuesInfrastructure, TheMethod, TheCode, TheProject, ThePropertyStore, LogContextProvider, TheClassHierarchy, IgnoreSynchronization, DefaultHandlingOfMethodResults, DefaultHandlingForReturnInstructions, DefaultHandlingOfVoidReturns, DefaultHandlingForThrownExceptions, ReturnInstructionsDomain, DefaultReferenceValuesBinding, DefaultExceptionsFactory, ReferenceValues, Origin, DefaultTypeLevelReferenceValues, TypeLevelReferenceValues, AsJavaObject, GeneralizedArrayHandling, TypeLevelInvokeInstructions, MethodCallsHandling, TypeLevelFieldAccessInstructions, DefaultTypeLevelDoubleValues, TypeLevelDoubleValues, DefaultTypeLevelFloatValues, TypeLevelFloatValues, TypeLevelLongValuesShiftOperators, TypeLevelPrimitiveValuesConversions, DefaultTypeLevelLongValues, TypeLevelLongValues, DefaultTypeLevelIntegerValues, TypeLevelIntegerValues, ThrowAllPotentialExceptionsConfiguration, DefaultDomainValueBinding, CorrelationalDomain, CorrelationalDomainSupport, IdentityBasedCorrelationChangeDetection, JoinStabilization, Domain, Configuration, TypedValuesFactory, PrimitiveValuesConversionsDomain, ai.ReturnInstructionsDomain, MonitorInstructionsDomain, MethodCallsDomain, FieldAccessesDomain, ReferenceValuesDomain, ReferenceValuesFactory, ExceptionsFactory, DoubleValuesDomain, DoubleValuesFactory, FloatValuesDomain, FloatValuesFactory, LongValuesDomain, LongValuesFactory, IntegerValuesDomain, IntegerValuesFactory, CoreDomainFunctionality, SubroutinesDomain, ValuesDomain, AnyRef, Any

Ordering

Alphabetic
By Inheritance

Inherited

AnalysisDomain
RecordReturnedValuesInfrastructure
TheMethod
TheCode
TheProject
ThePropertyStore
LogContextProvider
TheClassHierarchy
IgnoreSynchronization
DefaultHandlingOfMethodResults
DefaultHandlingForReturnInstructions
DefaultHandlingOfVoidReturns
DefaultHandlingForThrownExceptions
ReturnInstructionsDomain
DefaultReferenceValuesBinding
DefaultExceptionsFactory
ReferenceValues
Origin
DefaultTypeLevelReferenceValues
TypeLevelReferenceValues
AsJavaObject
GeneralizedArrayHandling
TypeLevelInvokeInstructions
MethodCallsHandling
TypeLevelFieldAccessInstructions
DefaultTypeLevelDoubleValues
TypeLevelDoubleValues
DefaultTypeLevelFloatValues
TypeLevelFloatValues
TypeLevelLongValuesShiftOperators
TypeLevelPrimitiveValuesConversions
DefaultTypeLevelLongValues
TypeLevelLongValues
DefaultTypeLevelIntegerValues
TypeLevelIntegerValues
ThrowAllPotentialExceptionsConfiguration
DefaultDomainValueBinding
CorrelationalDomain
CorrelationalDomainSupport
IdentityBasedCorrelationChangeDetection
JoinStabilization
Domain
Configuration
TypedValuesFactory
PrimitiveValuesConversionsDomain
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[URL], ai: InterruptableAI[_], method: Method)

Type Members

type AReferenceValue = ReferenceValue

Definition Classes
DefaultReferenceValuesBinding → ReferenceValues → TypeLevelReferenceValues
trait ArrayAbstraction extends AnyRef

Definition Classes
TypeLevelReferenceValues
type ArrayLoadResult = Computation[DomainValue, ExceptionValues]

Definition Classes
ReferenceValuesDomain
type ArrayStoreResult = Computation[Nothing, ExceptionValues]

Definition Classes
ReferenceValuesDomain
class ArrayValue extends (ReferenceValues.this)#ArrayValue with (ReferenceValues.this)#NonNullSingleOriginSReferenceValue

Attributes
protected
Definition Classes
ReferenceValues
trait BooleanValue extends (TypeLevelIntegerValues.this)#ComputationalTypeIntegerValue[BooleanType] with IsBooleanValue

Definition Classes
TypeLevelIntegerValues
trait ByteValue extends (TypeLevelIntegerValues.this)#ComputationalTypeIntegerValue[ByteType] with IsByteValue

Definition Classes
TypeLevelIntegerValues
trait CharValue extends (TypeLevelIntegerValues.this)#ComputationalTypeIntegerValue[CharType] with IsCharValue

Definition Classes
TypeLevelIntegerValues
trait ComputationalTypeIntegerValue[T <: CTIntType] extends (TypeLevelIntegerValues.this)#TypedValue[T]

Attributes
protected[this]
Definition Classes
TypeLevelIntegerValues
type DomainArrayValue = ArrayValue

Definition Classes
DefaultReferenceValuesBinding → ReferenceValues → DefaultTypeLevelReferenceValues → TypeLevelReferenceValues
final type DomainIllegalValue = IllegalValue

Definition Classes
DefaultDomainValueBinding → 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
DefaultDomainValueBinding → ValuesDomain
final type DomainReturnAddressValues = ReturnAddressValues

Definition Classes
DefaultDomainValueBinding → ValuesDomain
type DomainSingleOriginReferenceValue = SingleOriginReferenceValue

Definition Classes
DefaultReferenceValuesBinding → ReferenceValues
final type DomainTypedValue[+T <: Type] = TypedValue[T]

Definition Classes
DefaultDomainValueBinding → ValuesDomain
final type DomainValue = Value

Definition Classes
DefaultDomainValueBinding → 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

Attributes
protected
Definition Classes
ValuesDomain
trait IntegerValue extends (TypeLevelIntegerValues.this)#ComputationalTypeIntegerValue[IntegerType] with IsIntegerValue

Definition Classes
TypeLevelIntegerValues
type IntegerValueOrArithmeticException = Computation[DomainValue, ExceptionValue]

Definition Classes
IntegerValuesDomain
type Locals = collection.mutable.Locals[DomainValue]

Definition Classes
ValuesDomain
type LocalsArray = Array[Locals]

Definition Classes
ValuesDomain
trait LongValue extends (TypeLevelLongValues.this)#TypedValue[LongType] with IsLongValue

Definition Classes
TypeLevelLongValues
type LongValueOrArithmeticException = Computation[DomainValue, ExceptionValue]

Definition Classes
LongValuesDomain
class 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 (ReferenceValues.this)#ReferenceValue with (ReferenceValues.this)#MultipleOriginsValue

Attributes
protected
Definition Classes
ReferenceValues
trait NonNullSingleOriginReferenceValue extends (ReferenceValues.this)#SingleOriginReferenceValue

Definition Classes
ReferenceValues
trait NonNullSingleOriginSReferenceValue 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
type ReturnedValue = Value

Definition Classes
AnalysisDomain → RecordReturnedValuesInfrastructure
class SObjectValue extends (ReferenceValues.this)#SObjectValue with (ReferenceValues.this)#ObjectValue with (ReferenceValues.this)#NonNullSingleOriginSReferenceValue

Attributes
protected
Definition Classes
ReferenceValues
trait SReferenceValue[T <: ReferenceType] extends (TypeLevelReferenceValues.this)#ReferenceValue

Attributes
protected[this]
Definition Classes
TypeLevelReferenceValues
trait ShortValue extends (TypeLevelIntegerValues.this)#ComputationalTypeIntegerValue[ShortType] with IsShortValue

Definition Classes
TypeLevelIntegerValues
trait SingleOriginReferenceValue extends (ReferenceValues.this)#ReferenceValue with (ReferenceValues.this)#SingleOriginValue with UID

Definition Classes
ReferenceValues
trait SingleOriginValue extends (Origin.this)#ValueWithOriginInformation

Definition Classes
Origin
trait TypedValue[+T <: Type] extends Value with KnownTypedValue

Definition Classes
ValuesDomain
trait Value extends KnownTypedValue

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
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[org.opalj.ai.domain]
Definition Classes
DefaultReferenceValuesBinding → ReferenceValues
def ArrayValue(pc: Int, arrayType: ArrayType): DomainArrayValue

Definition Classes
ReferenceValues → TypeLevelReferenceValues
def BooleanValue(valueOrigin: ValueOrigin, value: Boolean): ABooleanValue.type

Definition Classes
DefaultTypeLevelIntegerValues → IntegerValuesFactory
def BooleanValue(valueOrigin: ValueOrigin): ABooleanValue.type

Definition Classes
DefaultTypeLevelIntegerValues → IntegerValuesFactory
def ByteValue(valueOrigin: ValueOrigin, value: Byte): AByteValue.type

Definition Classes
DefaultTypeLevelIntegerValues → IntegerValuesFactory
def ByteValue(valueOrigin: ValueOrigin): AByteValue.type

Definition Classes
DefaultTypeLevelIntegerValues → IntegerValuesFactory
def CharValue(valueOrigin: ValueOrigin, value: Char): ACharValue.type

Definition Classes
DefaultTypeLevelIntegerValues → IntegerValuesFactory
def CharValue(valueOrigin: ValueOrigin): ACharValue.type

Definition Classes
DefaultTypeLevelIntegerValues → 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
DefaultDomainValueBinding → 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 InitializedObjectValue(pc: Int, objectType: ObjectType): DomainObjectValue

Definition Classes
ReferenceValues → TypeLevelReferenceValues → ReferenceValuesFactory
final def IntegerConstant0: DomainTypedValue[CTIntType]

Definition Classes
IntegerValuesFactory
def IntegerValue(valueOrigin: ValueOrigin, value: Int): AnIntegerValue.type

Definition Classes
DefaultTypeLevelIntegerValues → IntegerValuesFactory
def IntegerValue(valueOrigin: ValueOrigin): AnIntegerValue.type

Definition Classes
DefaultTypeLevelIntegerValues → IntegerValuesFactory
def LongValue(valueOrigin: ValueOrigin, value: Long): LongValue

Definition Classes
DefaultTypeLevelLongValues → LongValuesFactory
def LongValue(valueOrigin: ValueOrigin): LongValue

Definition Classes
DefaultTypeLevelLongValues → LongValuesFactory
final val MetaInformationUpdateIllegalValue: MetaInformationUpdate[DomainIllegalValue]

Definition Classes
DefaultDomainValueBinding → 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[org.opalj.ai.domain]
Definition Classes
DefaultReferenceValuesBinding → ReferenceValues
def MultipleReferenceValues(values: UIDSet[DomainSingleOriginReferenceValue]): DomainMultipleReferenceValues

Attributes
protected[org.opalj.ai.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[org.opalj.ai.domain]
Definition Classes
DefaultReferenceValuesBinding → ReferenceValues
def ObjectValue(origin: ValueOrigin, isNull: Answer, isPrecise: Boolean, theUpperTypeBound: ObjectType, refId: RefId): SObjectValue

Attributes
protected[org.opalj.ai.domain]
Definition Classes
DefaultReferenceValuesBinding → ReferenceValues
def ObjectValue(origin: ValueOrigin, isNull: Answer, isPrecise: Boolean, theUpperTypeBound: ObjectType): DomainObjectValue

Attributes
protected[org.opalj.ai.domain]
Definition Classes
ReferenceValues
def ObjectValue(origin: ValueOrigin, isNull: Answer, upperTypeBound: UIDSet[ObjectType]): DomainObjectValue

Attributes
protected[org.opalj.ai.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[org.opalj.ai.domain]
Definition Classes
ReferenceValues
final def ReferenceValue(origin: ValueOrigin, isNull: Answer, isPrecise: Boolean, theUpperTypeBound: ReferenceType): DomainSingleOriginReferenceValue

Attributes
protected[org.opalj.ai.domain]
Definition Classes
ReferenceValues
def ReferenceValue(origin: ValueOrigin, isNull: Answer, isPrecise: Boolean, theUpperTypeBound: ReferenceType, refId: RefId): DomainSingleOriginReferenceValue

Attributes
protected[org.opalj.ai.domain]
Definition Classes
ReferenceValues
final def ReferenceValue(pc: Int, upperTypeBound: ReferenceType): AReferenceValue

Definition Classes
TypeLevelReferenceValues → ReferenceValuesFactory
final def ReturnAddressValue(address: Int): ReturnAddressValue

Definition Classes
DefaultDomainValueBinding → ValuesDomain
def ShortValue(valueOrigin: ValueOrigin, value: Short): AShortValue.type

Definition Classes
DefaultTypeLevelIntegerValues → IntegerValuesFactory
def ShortValue(valueOrigin: ValueOrigin): AShortValue.type

Definition Classes
DefaultTypeLevelIntegerValues → 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
DefaultDomainValueBinding → ValuesDomain
final val TheReturnAddressValues: ReturnAddressValues

Definition Classes
DefaultDomainValueBinding → 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
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 abortProcessingExceptionsOfCalledMethodsOnUnknownException: Boolean

Definition Classes
ThrowAllPotentialExceptionsConfiguration → Configuration
def abortProcessingThrownExceptionsOnUnknownException: Boolean

Definition Classes
ThrowAllPotentialExceptionsConfiguration → Configuration
def abruptMethodExecution(pc: Int, exception: ExceptionValue): Unit

Definition Classes
DefaultHandlingForThrownExceptions → ReturnInstructionsDomain
def abstractInterpretationEnded(aiResult: AIResult { val domain: AnalysisDomain.this.type }): Unit

Definition Classes
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
val ai: InterruptableAI[_]
def areturn(pc: Int, value: DomainValue): Computation[Nothing, ExceptionValue]

Definition Classes
RecordReturnedValuesInfrastructure → 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 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
final def classFile: ClassFile

Definition Classes
TheMethod
Annotations
@inline()
implicit final def classHierarchy: ClassHierarchy

Definition Classes
TheProject → TheClassHierarchy
Annotations
@inline()
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@native() @throws( ... )
final val code: Code

Definition Classes
TheMethod → TheCode
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 doRecordReturnedValue(pc: Int, value: DomainValue): Unit

Attributes
protected[this]
Definition Classes
AnalysisDomain → RecordReturnedValuesInfrastructure
def drem(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue

Definition Classes
TypeLevelDoubleValues → DoubleValuesDomain
def dreturn(pc: Int, value: DomainValue): Computation[Nothing, ExceptionValue]

Definition Classes
RecordReturnedValuesInfrastructure → ReturnInstructionsDomain
def dsub(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue

Definition Classes
TypeLevelDoubleValues → DoubleValuesDomain
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 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 finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
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
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
def frem(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue

Definition Classes
TypeLevelFloatValues → FloatValuesDomain
def freturn(pc: Int, value: DomainValue): Computation[Nothing, ExceptionValue]

Definition Classes
RecordReturnedValuesInfrastructure → ReturnInstructionsDomain
def fsub(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue

Definition Classes
TypeLevelFloatValues → FloatValuesDomain
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
Annotations
@native()
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
def hashCode(): Int

Definition Classes
AnyRef → Any
Annotations
@native()
def i2b(pc: Int, value: DomainValue): DomainValue

Definition Classes
TypeLevelIntegerValues → IntegerValuesDomain
def i2c(pc: Int, value: DomainValue): DomainValue

Definition Classes
TypeLevelIntegerValues → IntegerValuesDomain
def i2d(pc: Int, value: DomainValue): DomainValue

Definition Classes
TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain
def i2f(pc: Int, value: DomainValue): DomainValue

Definition Classes
TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain
def i2l(pc: Int, value: DomainValue): DomainValue

Definition Classes
TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain
def i2s(pc: Int, value: DomainValue): DomainValue

Definition Classes
TypeLevelIntegerValues → IntegerValuesDomain
def iadd(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue

Definition Classes
TypeLevelIntegerValues → 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
TypeLevelIntegerValues → IntegerValuesDomain
def iastore(pc: Int, value: DomainValue, index: DomainValue, arrayref: DomainValue): ArrayStoreResult

Definition Classes
GeneralizedArrayHandling → ReferenceValuesDomain
def idiv(pc: Int, left: DomainValue, right: DomainValue): IntegerValueOrArithmeticException

Definition Classes
TypeLevelIntegerValues → IntegerValuesDomain
def iinc(pc: Int, left: DomainValue, right: Int): DomainValue

Definition Classes
TypeLevelIntegerValues → IntegerValuesDomain
def imul(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue

Definition Classes
TypeLevelIntegerValues → IntegerValuesDomain
def ineg(pc: Int, value: DomainValue): DomainValue

Definition Classes
TypeLevelIntegerValues → IntegerValuesDomain
def intAreEqual(pc: Int, value1: DomainValue, value2: DomainValue): Answer

Definition Classes
TypeLevelIntegerValues → 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
IntegerValuesDomain
def intEstablishAreNotEqual(pc: Int, value1: DomainValue, value2: DomainValue, operands: Operands, locals: Locals): (Operands, Locals)

Definition Classes
IntegerValuesDomain
def intEstablishIsLessThan(pc: Int, value1: DomainValue, value2: DomainValue, operands: Operands, locals: Locals): (Operands, Locals)

Definition Classes
IntegerValuesDomain
def intEstablishIsLessThanOrEqualTo(pc: Int, value1: DomainValue, value2: DomainValue, operands: Operands, locals: Locals): (Operands, Locals)

Definition Classes
IntegerValuesDomain
def intEstablishValue(pc: Int, theValue: Int, value: DomainValue, operands: Operands, locals: Locals): (Operands, Locals)

Definition Classes
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
TypeLevelIntegerValues → IntegerValuesDomain
def intIsLessThan0(pc: Int, value: DomainValue): Answer

Definition Classes
IntegerValuesDomain
def intIsLessThanOrEqualTo(pc: Int, left: DomainValue, right: DomainValue): Answer

Definition Classes
TypeLevelIntegerValues → 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
TypeLevelIntegerValues → IntegerValuesDomain
def intIsSomeValueNotInRange(pc: Int, value: DomainValue, lowerBound: Int, upperBound: Int): Answer

Definition Classes
TypeLevelIntegerValues → IntegerValuesDomain
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
TypeLevelIntegerValues → IntegerValuesDomain
def irem(pc: Int, left: DomainValue, right: DomainValue): IntegerValueOrArithmeticException

Definition Classes
TypeLevelIntegerValues → IntegerValuesDomain
def ireturn(pc: Int, value: DomainValue): Computation[Nothing, ExceptionValue]

Definition Classes
RecordReturnedValuesInfrastructure → ReturnInstructionsDomain
def isASubtypeOf(subtype: ReferenceType, supertype: ReferenceType): Answer

Definition Classes
TheClassHierarchy
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 isSubtypeOf(subtype: ReferenceType, supertype: ReferenceType): Boolean

Definition Classes
TheClassHierarchy
final def isValueASubtypeOf(value: DomainValue, supertype: ReferenceType): Answer

Definition Classes
TypeLevelReferenceValues → ReferenceValuesDomain
def ishl(pc: Int, left: DomainValue, right: DomainValue): DomainValue

Definition Classes
TypeLevelIntegerValues → IntegerValuesDomain
def ishr(pc: Int, left: DomainValue, right: DomainValue): DomainValue

Definition Classes
TypeLevelIntegerValues → IntegerValuesDomain
def isub(pc: Int, left: DomainValue, right: DomainValue): DomainValue

Definition Classes
TypeLevelIntegerValues → IntegerValuesDomain
def iushr(pc: Int, left: DomainValue, right: DomainValue): DomainValue

Definition Classes
TypeLevelIntegerValues → IntegerValuesDomain
def ixor(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue

Definition Classes
TypeLevelIntegerValues → 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 jumpToSubroutine(pc: Int, branchTarget: Int, returnTarget: Int): Unit

Definition Classes
SubroutinesDomain
final def justThrows(value: ExceptionValue): ThrowsException[ExceptionValues]

Definition Classes
ReferenceValuesFactory
def l2d(pc: Int, value: DomainValue): DomainValue

Definition Classes
TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain
def l2f(pc: Int, value: DomainValue): DomainValue

Definition Classes
TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain
def l2i(pc: Int, value: DomainValue): DomainValue

Definition Classes
TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain
def ladd(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue

Definition Classes
TypeLevelLongValues → 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
TypeLevelLongValues → 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
TypeLevelLongValues → LongValuesDomain
def ldiv(pc: Int, left: DomainValue, right: DomainValue): LongValueOrArithmeticException

Definition Classes
TypeLevelLongValues → LongValuesDomain
def lmul(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue

Definition Classes
TypeLevelLongValues → LongValuesDomain
def lneg(pc: Int, value: DomainValue): DomainValue

Definition Classes
TypeLevelLongValues → LongValuesDomain
implicit final def logContext: LogContext

Definition Classes
TheProject → LogContextProvider
def lor(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue

Definition Classes
TypeLevelLongValues → LongValuesDomain
def lrem(pc: Int, left: DomainValue, right: DomainValue): LongValueOrArithmeticException

Definition Classes
TypeLevelLongValues → LongValuesDomain
def lreturn(pc: Int, value: DomainValue): Computation[Nothing, ExceptionValue]

Definition Classes
RecordReturnedValuesInfrastructure → ReturnInstructionsDomain
def lshl(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue

Definition Classes
TypeLevelLongValuesShiftOperators → LongValuesDomain
def lshr(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue

Definition Classes
TypeLevelLongValuesShiftOperators → LongValuesDomain
def lsub(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue

Definition Classes
TypeLevelLongValues → LongValuesDomain
def lushr(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue

Definition Classes
TypeLevelLongValuesShiftOperators → LongValuesDomain
def lxor(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue

Definition Classes
TypeLevelLongValues → LongValuesDomain
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 newarray(pc: Int, count: DomainValue, componentType: FieldType): Computation[DomainValue, ExceptionValue]

Definition Classes
TypeLevelReferenceValues → ReferenceValuesDomain
def nextRefId(): RefId

Definition Classes
ReferenceValues
final def notify(): Unit

Definition Classes
AnyRef
Annotations
@native()
final def notifyAll(): Unit

Definition Classes
AnyRef
Annotations
@native()
final def nullRefId: RefId

Definition Classes
ReferenceValues
def origins(value: DomainValue): ValueOrigins

Definition Classes
Origin
def originsIterator(value: DomainValue): ValueOriginsIterator

Definition Classes
Origin
val project: Project[URL]

Definition Classes
AnalysisDomain → TheProject
def properties(pc: PC, propertyToString: (AnyRef) ⇒ String): Option[String]

Definition Classes
ValuesDomain
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 returnFromSubroutine(pc: Int, lvIndex: Int): Unit

Definition Classes
SubroutinesDomain
def returnVoid(pc: Int): Computation[Nothing, ExceptionValue]

Definition Classes
DefaultHandlingOfVoidReturns → ReturnInstructionsDomain
def returnedValue: Option[DomainValue]
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 summarize(pc: Int, values: Iterable[DomainValue]): DomainValue

Definition Classes
ValuesDomain
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
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 toJavaObject(pc: Int, value: DomainValue): Option[AnyRef]

Definition Classes
ReferenceValues → TypeLevelReferenceValues → AsJavaObject
def toString(): String

Definition Classes
TheMethod → AnyRef → Any
def typeOfValue(value: DomainValue): ValueInformation

Definition Classes
ValuesDomain
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
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@native() @throws( ... )
object MultipleReferenceValues

Definition Classes
ReferenceValues

Packages

AnalysisDomain 

Instance Constructors

Type Members

Value Members

Inherited from RecordReturnedValuesInfrastructure

Inherited from TheMethod

Inherited from TheCode

Inherited from TheProject

Inherited from ThePropertyStore

Inherited from LogContextProvider

Inherited from TheClassHierarchy

Inherited from IgnoreSynchronization

Inherited from DefaultHandlingOfMethodResults

Inherited from DefaultHandlingForReturnInstructions

Inherited from DefaultHandlingOfVoidReturns

Inherited from DefaultHandlingForThrownExceptions

Inherited from ReturnInstructionsDomain

Inherited from DefaultReferenceValuesBinding

Inherited from DefaultExceptionsFactory

Inherited from ReferenceValues

Inherited from Origin

Inherited from DefaultTypeLevelReferenceValues

Inherited from TypeLevelReferenceValues

Inherited from AsJavaObject

Inherited from GeneralizedArrayHandling

Inherited from TypeLevelInvokeInstructions

Inherited from MethodCallsHandling

Inherited from TypeLevelFieldAccessInstructions

Inherited from DefaultTypeLevelDoubleValues

Inherited from TypeLevelDoubleValues

Inherited from DefaultTypeLevelFloatValues

Inherited from TypeLevelFloatValues

Inherited from TypeLevelLongValuesShiftOperators

Inherited from TypeLevelPrimitiveValuesConversions

Inherited from DefaultTypeLevelLongValues

Inherited from TypeLevelLongValues

Inherited from DefaultTypeLevelIntegerValues

Inherited from TypeLevelIntegerValues

Inherited from ThrowAllPotentialExceptionsConfiguration

Inherited from DefaultDomainValueBinding

Inherited from CorrelationalDomain

Inherited from CorrelationalDomainSupport

Inherited from IdentityBasedCorrelationChangeDetection

Inherited from JoinStabilization

Inherited from Domain

Inherited from Configuration

Inherited from TypedValuesFactory

Inherited from PrimitiveValuesConversionsDomain

Inherited from ai.ReturnInstructionsDomain

Inherited from MonitorInstructionsDomain

Inherited from MethodCallsDomain

Inherited from FieldAccessesDomain

Inherited from ReferenceValuesDomain

Inherited from ReferenceValuesFactory

Inherited from ExceptionsFactory

Inherited from DoubleValuesDomain

Inherited from DoubleValuesFactory

Inherited from FloatValuesDomain

Inherited from FloatValuesFactory

Inherited from LongValuesDomain

Inherited from LongValuesFactory

Inherited from IntegerValuesDomain

Inherited from IntegerValuesFactory

Inherited from CoreDomainFunctionality

Inherited from SubroutinesDomain

Inherited from ValuesDomain

Inherited from AnyRef

Inherited from Any

Ungrouped

AnalysisDomain