Trait

org.opalj.bugpicker.core.analyses

BasePerformInvocationBugPickerAnalysisDomain

Related Doc: package analyses

Permalink

trait BasePerformInvocationBugPickerAnalysisDomain extends BaseBugPickerAnalysisDomain with PerformInvocationsWithRecursionDetection with PerformInvocationsWithBasicVirtualMethodCallResolution with DefaultClassValuesBinding

The base domain that is shared by all domains that are used to perform abstract interpretations of methods where methods are potentially called.

Self Type
BasePerformInvocationBugPickerAnalysisDomain
Linear Supertypes
DefaultClassValuesBinding, ClassValues, DefaultStringValuesBinding, StringValues, PostEvaluationMemoryManagement, DefaultJavaObjectToDomainValueConversion, AsDomainValue, DefaultReferenceValuesBinding, DefaultExceptionsFactory, ReferenceValues, Origin, DefaultTypeLevelReferenceValues, PerformInvocationsWithBasicVirtualMethodCallResolution, PerformInvocationsWithRecursionDetection, TheMemoryLayout, PerformInvocations, BaseBugPickerAnalysisDomain, IgnoreSynchronization, DefaultHandlingOfMethodResults, DefaultHandlingForReturnInstructions, DefaultHandlingOfVoidReturns, DefaultHandlingForThrownExceptions, ReturnInstructionsDomain, MaxArrayLengthRefinement, TypeLevelReferenceValues, AsJavaObject, GeneralizedArrayHandling, NullPropertyRefinement, ConcretePrimitiveValuesConversions, TypeLevelPrimitiveValuesConversions, DefaultTypeLevelDoubleValues, TypeLevelDoubleValues, DefaultTypeLevelFloatValues, TypeLevelFloatValues, LongSetValuesShiftOperators, DefaultLongSetValues, LongSetValues, ConcreteLongValues, DefaultIntegerRangeValues, IntegerRangeValues, ConcreteIntegerValues, IntegerRangeValuesFactory, SpecialMethodsHandling, RefinedTypeLevelInvokeInstructions, MethodCallsDomainWithMethodLockup, Callees, TypeLevelInvokeInstructions, MethodCallsHandling, RefinedTypeLevelFieldAccessInstructions, TypeLevelFieldAccessInstructions, ThrowAllPotentialExceptionsConfiguration, DefaultDomainValueBinding, TheMethod, TheCode, TheProject, ThePropertyStore, LogContextProvider, TheClassHierarchy, 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
Known Subclasses
InvocationBugPickerAnalysisDomain, RootBugPickerAnalysisDomain
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. BasePerformInvocationBugPickerAnalysisDomain
  2. DefaultClassValuesBinding
  3. ClassValues
  4. DefaultStringValuesBinding
  5. StringValues
  6. PostEvaluationMemoryManagement
  7. DefaultJavaObjectToDomainValueConversion
  8. AsDomainValue
  9. DefaultReferenceValuesBinding
  10. DefaultExceptionsFactory
  11. ReferenceValues
  12. Origin
  13. DefaultTypeLevelReferenceValues
  14. PerformInvocationsWithBasicVirtualMethodCallResolution
  15. PerformInvocationsWithRecursionDetection
  16. TheMemoryLayout
  17. PerformInvocations
  18. BaseBugPickerAnalysisDomain
  19. IgnoreSynchronization
  20. DefaultHandlingOfMethodResults
  21. DefaultHandlingForReturnInstructions
  22. DefaultHandlingOfVoidReturns
  23. DefaultHandlingForThrownExceptions
  24. ReturnInstructionsDomain
  25. MaxArrayLengthRefinement
  26. TypeLevelReferenceValues
  27. AsJavaObject
  28. GeneralizedArrayHandling
  29. NullPropertyRefinement
  30. ConcretePrimitiveValuesConversions
  31. TypeLevelPrimitiveValuesConversions
  32. DefaultTypeLevelDoubleValues
  33. TypeLevelDoubleValues
  34. DefaultTypeLevelFloatValues
  35. TypeLevelFloatValues
  36. LongSetValuesShiftOperators
  37. DefaultLongSetValues
  38. LongSetValues
  39. ConcreteLongValues
  40. DefaultIntegerRangeValues
  41. IntegerRangeValues
  42. ConcreteIntegerValues
  43. IntegerRangeValuesFactory
  44. SpecialMethodsHandling
  45. RefinedTypeLevelInvokeInstructions
  46. MethodCallsDomainWithMethodLockup
  47. Callees
  48. TypeLevelInvokeInstructions
  49. MethodCallsHandling
  50. RefinedTypeLevelFieldAccessInstructions
  51. TypeLevelFieldAccessInstructions
  52. ThrowAllPotentialExceptionsConfiguration
  53. DefaultDomainValueBinding
  54. TheMethod
  55. TheCode
  56. TheProject
  57. ThePropertyStore
  58. LogContextProvider
  59. TheClassHierarchy
  60. CorrelationalDomain
  61. CorrelationalDomainSupport
  62. IdentityBasedCorrelationChangeDetection
  63. JoinStabilization
  64. Domain
  65. Configuration
  66. TypedValuesFactory
  67. PrimitiveValuesConversionsDomain
  68. ReturnInstructionsDomain
  69. MonitorInstructionsDomain
  70. MethodCallsDomain
  71. FieldAccessesDomain
  72. ReferenceValuesDomain
  73. ReferenceValuesFactory
  74. ExceptionsFactory
  75. DoubleValuesDomain
  76. DoubleValuesFactory
  77. FloatValuesDomain
  78. FloatValuesFactory
  79. LongValuesDomain
  80. LongValuesFactory
  81. IntegerValuesDomain
  82. IntegerValuesFactory
  83. CoreDomainFunctionality
  84. SubroutinesDomain
  85. ValuesDomain
  86. AnyRef
  87. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. class ALongValue extends (DefaultLongSetValues.this)#ALongValue

    Permalink
    Definition Classes
    DefaultLongSetValues

  2. type AReferenceValue = ReferenceValue

    Permalink
    Definition Classes
    DefaultReferenceValuesBinding → ReferenceValues → TypeLevelReferenceValues

  3. class AnIntegerValue extends (DefaultIntegerRangeValues.this)#AnIntegerValue

    Permalink
    Definition Classes
    DefaultIntegerRangeValues

  4. trait ArrayAbstraction extends AnyRef

    Permalink
    Definition Classes
    TypeLevelReferenceValues

  5. type ArrayLoadResult = Computation[DomainValue, ExceptionValues]

    Permalink
    Definition Classes
    ReferenceValuesDomain

  6. type ArrayStoreResult = Computation[Nothing, ExceptionValues]

    Permalink
    Definition Classes
    ReferenceValuesDomain

  7. class ArrayValue extends (ReferenceValues.this)#ArrayValue with (ReferenceValues.this)#NonNullSingleOriginSReferenceValue

    Permalink
    Attributes
    protected
    Definition Classes
    ReferenceValues

  8. type CalledMethodDomain = InvocationBugPickerAnalysisDomain

    Permalink
    Definition Classes
    BasePerformInvocationBugPickerAnalysisDomain → PerformInvocationsWithRecursionDetection → PerformInvocations

  9. class ClassValue extends (ClassValues.this)#SObjectValue

    Permalink
    Attributes
    protected
    Definition Classes
    ClassValues

  10. type DomainArrayValue = ArrayValue

    Permalink
    Definition Classes
    DefaultReferenceValuesBinding → ReferenceValues → DefaultTypeLevelReferenceValues → TypeLevelReferenceValues

  11. type DomainClassValue = ClassValue

    Permalink
    Definition Classes
    DefaultClassValuesBinding → ClassValues

  12. final type DomainIllegalValue = IllegalValue

    Permalink
    Definition Classes
    DefaultDomainValueBinding → ValuesDomain

  13. type DomainMultipleReferenceValues = MultipleReferenceValues

    Permalink
    Definition Classes
    DefaultReferenceValuesBinding → ReferenceValues

  14. type DomainNullValue = NullValue

    Permalink
    Definition Classes
    DefaultReferenceValuesBinding → ReferenceValues → DefaultTypeLevelReferenceValues → TypeLevelReferenceValues

  15. type DomainObjectValue = ObjectValue

    Permalink
    Definition Classes
    DefaultReferenceValuesBinding → ReferenceValues → DefaultTypeLevelReferenceValues → TypeLevelReferenceValues

  16. type DomainReferenceValue = ReferenceValue

    Permalink
    Definition Classes
    DefaultReferenceValuesBinding → ValuesDomain

  17. final type DomainReturnAddressValue = ReturnAddressValue

    Permalink
    Definition Classes
    DefaultDomainValueBinding → ValuesDomain

  18. final type DomainReturnAddressValues = ReturnAddressValues

    Permalink
    Definition Classes
    DefaultDomainValueBinding → ValuesDomain

  19. type DomainSingleOriginReferenceValue = SingleOriginReferenceValue

    Permalink
    Definition Classes
    DefaultReferenceValuesBinding → ReferenceValues

  20. type DomainStringValue = StringValue

    Permalink
    Definition Classes
    DefaultStringValuesBinding → StringValues

  21. final type DomainTypedValue[+T <: Type] = TypedValue[T]

    Permalink
    Definition Classes
    DefaultDomainValueBinding → ValuesDomain

  22. final type DomainValue = Value

    Permalink
    Definition Classes
    DefaultDomainValueBinding → ValuesDomain

  23. trait DoubleValue extends (TypeLevelDoubleValues.this)#TypedValue[DoubleType] with IsDoubleValue[(TypeLevelDoubleValues.this)#DoubleValue]

    Permalink
    Definition Classes
    TypeLevelDoubleValues

  24. type ExceptionValue = DomainReferenceValue

    Permalink
    Definition Classes
    ValuesDomain

  25. type ExceptionValues = Iterable[ExceptionValue]

    Permalink
    Definition Classes
    ValuesDomain

  26. trait FloatValue extends (TypeLevelFloatValues.this)#TypedValue[FloatType] with IsFloatValue[(TypeLevelFloatValues.this)#FloatValue]

    Permalink
    Definition Classes
    TypeLevelFloatValues

  27. class IllegalValue extends Value

    Permalink
    Attributes
    protected
    Definition Classes
    ValuesDomain

  28. sealed trait IntegerLikeValue extends (IntegerRangeValues.this)#TypedValue[CTIntType] with IsIntegerValue[(IntegerRangeValues.this)#IntegerLikeValue]

    Permalink
    Definition Classes
    IntegerRangeValues

  29. class IntegerRange extends (DefaultIntegerRangeValues.this)#IntegerRange

    Permalink
    Definition Classes
    DefaultIntegerRangeValues

  30. type IntegerValueOrArithmeticException = Computation[DomainValue, ExceptionValue]

    Permalink
    Definition Classes
    IntegerValuesDomain

  31. type Locals = collection.mutable.Locals[DomainValue]

    Permalink
    Definition Classes
    ValuesDomain

  32. type LocalsArray = Array[Locals]

    Permalink
    Definition Classes
    ValuesDomain

  33. class LongSet extends (DefaultLongSetValues.this)#LongSet

    Permalink
    Definition Classes
    DefaultLongSetValues

  34. sealed trait LongValue extends (LongSetValues.this)#TypedValue[LongType] with IsLongValue[(LongSetValues.this)#LongValue]

    Permalink
    Definition Classes
    LongSetValues

  35. type LongValueOrArithmeticException = Computation[DomainValue, ExceptionValue]

    Permalink
    Definition Classes
    LongValuesDomain

  36. class MObjectValue extends (ReferenceValues.this)#MObjectValue with (ReferenceValues.this)#ObjectValue

    Permalink
    Attributes
    protected
    Definition Classes
    ReferenceValues

  37. type MethodCallResult = Computation[DomainValue, ExceptionValues]

    Permalink
    Definition Classes
    MethodCallsDomain

  38. trait MultipleOriginsValue extends (Origin.this)#ValueWithOriginInformation

    Permalink
    Definition Classes
    Origin

  39. class MultipleReferenceValues extends (ReferenceValues.this)#ReferenceValue with (ReferenceValues.this)#MultipleOriginsValue

    Permalink
    Attributes
    protected
    Definition Classes
    ReferenceValues

  40. trait NonNullSingleOriginReferenceValue extends (ReferenceValues.this)#SingleOriginReferenceValue

    Permalink
    Definition Classes
    ReferenceValues

  41. trait NonNullSingleOriginSReferenceValue extends (ReferenceValues.this)#NonNullSingleOriginReferenceValue

    Permalink
    Definition Classes
    ReferenceValues

  42. class NullValue extends (ReferenceValues.this)#NullValue with (ReferenceValues.this)#SingleOriginReferenceValue

    Permalink
    Attributes
    protected
    Definition Classes
    ReferenceValues

  43. trait ObjectValue extends (ReferenceValues.this)#ObjectValue with (ReferenceValues.this)#NonNullSingleOriginReferenceValue

    Permalink
    Definition Classes
    ReferenceValues

  44. type Operands = Chain[DomainValue]

    Permalink
    Definition Classes
    ValuesDomain

  45. type OperandsArray = Array[Operands]

    Permalink
    Definition Classes
    ValuesDomain

  46. trait RETValue extends Value

    Permalink
    Definition Classes
    ValuesDomain

  47. trait ReferenceValue extends (ReferenceValues.this)#ReferenceValue

    Permalink
    Definition Classes
    ReferenceValues

  48. type Refinements = IdentityHashMap[AReferenceValue, AReferenceValue]

    Permalink
    Definition Classes
    ReferenceValues

  49. class ReturnAddressValue extends RETValue

    Permalink
    Definition Classes
    ValuesDomain

  50. class ReturnAddressValues extends RETValue

    Permalink
    Definition Classes
    ValuesDomain

  51. class SObjectValue extends (ReferenceValues.this)#SObjectValue with (ReferenceValues.this)#ObjectValue with (ReferenceValues.this)#NonNullSingleOriginSReferenceValue

    Permalink
    Attributes
    protected
    Definition Classes
    ReferenceValues

  52. trait SReferenceValue[T <: ReferenceType] extends AnyRef

    Permalink
    Attributes
    protected[this]
    Definition Classes
    TypeLevelReferenceValues

  53. trait SingleOriginReferenceValue extends (ReferenceValues.this)#ReferenceValue with (ReferenceValues.this)#SingleOriginValue with UID

    Permalink
    Definition Classes
    ReferenceValues

  54. trait SingleOriginValue extends (Origin.this)#ValueWithOriginInformation

    Permalink
    Definition Classes
    Origin

  55. class StringValue extends (StringValues.this)#SObjectValue

    Permalink
    Attributes
    protected
    Definition Classes
    StringValues

  56. type Timestamp = Int

    Permalink
    Definition Classes
    ReferenceValues

  57. trait TypedValue[+T <: Type] extends Value with KnownType

    Permalink
    Definition Classes
    ValuesDomain

  58. trait Value extends AnyRef

    Permalink
    Definition Classes
    ValuesDomain

  59. trait ValueWithOriginInformation extends AnyRef

    Permalink
    Definition Classes
    Origin

Abstract Value Members

  1. abstract def cache: CallGraphCache[MethodSignature, Set[Method]]

    Permalink
    Definition Classes
    Callees

  2. abstract def calledMethodAI: AI[_ >: CalledMethodDomain]

    Permalink
    Definition Classes
    PerformInvocations

  3. abstract def calledMethodDomain(method: Method): CalledMethodDomain

    Permalink
    Attributes
    protected[this]
    Definition Classes
    PerformInvocations

  4. abstract def calledMethodsStore: CalledMethodsStore { val domain: org.opalj.ai.domain.l2.CalledMethodsStore.<refinement>.type }

    Permalink
    Definition Classes
    PerformInvocationsWithRecursionDetection

  5. abstract val coordinatingDomain: BaseDomain

    Permalink
    Definition Classes
    PerformInvocationsWithRecursionDetection

  6. abstract def currentCallChainLength: Int

    Permalink

  7. abstract def debug: Boolean

    Permalink

  8. abstract val fieldValueInformation: FieldValueInformation

    Permalink
    Definition Classes
    RefinedTypeLevelFieldAccessInstructions

  9. abstract def frequentEvaluationWarningLevel: Int

    Permalink
    Definition Classes
    PerformInvocationsWithRecursionDetection

  10. abstract val maxCallChainLength: Int

    Permalink

  11. abstract def method: Method

    Permalink
    Definition Classes
    TheMethod

  12. abstract val methodReturnValueInformation: MethodReturnValueInformation

    Permalink
    Definition Classes
    RefinedTypeLevelInvokeInstructions

  13. implicit abstract def project: SomeProject

    Permalink
    Definition Classes
    Callees

Concrete Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  4. final val AReferenceValue: ClassTag[AReferenceValue]

    Permalink
    Definition Classes
    DefaultReferenceValuesBinding → ReferenceValues

  5. def AnIntegerValue(): AnIntegerValue

    Permalink
    Definition Classes
    DefaultIntegerRangeValues

  6. final def ArithmeticException(origin: ValueOrigin): ExceptionValue

    Permalink
    Definition Classes
    DefaultExceptionsFactory → ExceptionsFactory

  7. final def ArrayIndexOutOfBoundsException(origin: ValueOrigin): ExceptionValue

    Permalink
    Definition Classes
    DefaultExceptionsFactory → ExceptionsFactory

  8. final def ArrayStoreException(origin: ValueOrigin): ExceptionValue

    Permalink
    Definition Classes
    DefaultExceptionsFactory → ExceptionsFactory

  9. def ArrayValue(origin: ValueOrigin, isNull: Answer, isPrecise: Boolean, theUpperTypeBound: ArrayType, t: Timestamp): DomainArrayValue

    Permalink
    Attributes
    protected[org.opalj.ai.domain]
    Definition Classes
    DefaultReferenceValuesBinding → ReferenceValues

  10. def ArrayValue(pc: PC, arrayType: ArrayType): DomainArrayValue

    Permalink
    Attributes
    protected[org.opalj.ai.domain]
    Definition Classes
    ReferenceValues → TypeLevelReferenceValues

  11. object ArrayValue

    Permalink
    Definition Classes
    DefaultTypeLevelReferenceValues

  12. def BooleanValue(origin: ValueOrigin, value: Boolean): DomainTypedValue[CTIntType]

    Permalink
    Definition Classes
    DefaultIntegerRangeValues → IntegerValuesFactory

  13. def BooleanValue(origin: ValueOrigin): DomainTypedValue[CTIntType]

    Permalink
    Definition Classes
    DefaultIntegerRangeValues → IntegerValuesFactory

  14. def ByteValue(origin: ValueOrigin, value: Byte): DomainTypedValue[CTIntType]

    Permalink
    Definition Classes
    DefaultIntegerRangeValues → IntegerValuesFactory

  15. def ByteValue(origin: ValueOrigin): DomainTypedValue[CTIntType]

    Permalink
    Definition Classes
    DefaultIntegerRangeValues → IntegerValuesFactory

  16. def CharValue(origin: ValueOrigin, value: Char): DomainTypedValue[CTIntType]

    Permalink
    Definition Classes
    DefaultIntegerRangeValues → IntegerValuesFactory

  17. def CharValue(origin: ValueOrigin): DomainTypedValue[CTIntType]

    Permalink
    Definition Classes
    DefaultIntegerRangeValues → IntegerValuesFactory

  18. final def ClassCastException(origin: ValueOrigin): ExceptionValue

    Permalink
    Definition Classes
    DefaultExceptionsFactory → ExceptionsFactory

  19. final def ClassNotFoundException(origin: ValueOrigin): ExceptionValue

    Permalink
    Definition Classes
    DefaultExceptionsFactory → ExceptionsFactory

  20. def ClassValue(origin: ValueOrigin, value: Type, t: Timestamp): DomainClassValue

    Permalink
    Definition Classes
    DefaultClassValuesBinding

  21. def ClassValue(origin: ValueOrigin, value: Type): DomainClassValue

    Permalink
    Definition Classes
    DefaultClassValuesBinding → ClassValues → ReferenceValues → TypeLevelReferenceValues → ReferenceValuesFactory

  22. object ClassValue

    Permalink
    Definition Classes
    ClassValues

  23. object ConcreteIntegerValue

    Permalink
    Definition Classes
    ConcreteIntegerValues

  24. object ConcreteLongValue

    Permalink
    Definition Classes
    ConcreteLongValues

  25. final def ConstantFieldValue(pc: PC, cv: ConstantFieldValue[_]): DomainValue

    Permalink
    Definition Classes
    Domain

  26. final def DefaultValue(origin: ValueOrigin, theType: FieldType): DomainValue

    Permalink
    Definition Classes
    TypedValuesFactory

  27. final val DomainArrayValue: ClassTag[DomainArrayValue]

    Permalink
    Definition Classes
    DefaultReferenceValuesBinding → ReferenceValues

  28. val DomainClassValue: ClassTag[DomainClassValue]

    Permalink
    Definition Classes
    DefaultClassValuesBinding → ClassValues

  29. final val DomainMultipleReferenceValues: ClassTag[DomainMultipleReferenceValues]

    Permalink
    Definition Classes
    DefaultReferenceValuesBinding → ReferenceValues

  30. final val DomainNullValue: ClassTag[DomainNullValue]

    Permalink
    Definition Classes
    DefaultReferenceValuesBinding → ReferenceValues

  31. final val DomainObjectValue: ClassTag[DomainObjectValue]

    Permalink
    Definition Classes
    DefaultReferenceValuesBinding → ReferenceValues

  32. final val DomainReferenceValue: ClassTag[DomainReferenceValue]

    Permalink
    Definition Classes
    DefaultReferenceValuesBinding → ValuesDomain

  33. final val DomainSingleOriginReferenceValue: ClassTag[DomainSingleOriginReferenceValue]

    Permalink
    Definition Classes
    DefaultReferenceValuesBinding → ReferenceValues

  34. implicit object DomainSingleOriginReferenceValueOrdering extends Ordering[(ReferenceValues.this)#DomainSingleOriginReferenceValue]

    Permalink
    Definition Classes
    ReferenceValues

  35. final val DomainStringValue: ClassTag[DomainStringValue]

    Permalink
    Definition Classes
    DefaultStringValuesBinding → StringValues

  36. final val DomainValue: ClassTag[DomainValue]

    Permalink
    Definition Classes
    DefaultDomainValueBinding → ValuesDomain

  37. final def DoubleValue(valueOrigin: ValueOrigin, value: Double): DoubleValue

    Permalink
    Definition Classes
    DefaultTypeLevelDoubleValues → DoubleValuesFactory

  38. final def DoubleValue(valueOrigin: ValueOrigin): DoubleValue

    Permalink
    Definition Classes
    DefaultTypeLevelDoubleValues → DoubleValuesFactory

  39. def FloatValue(valueOrigin: ValueOrigin, value: Float): FloatValue

    Permalink
    Definition Classes
    DefaultTypeLevelFloatValues → FloatValuesFactory

  40. def FloatValue(valueOrigin: ValueOrigin): FloatValue

    Permalink
    Definition Classes
    DefaultTypeLevelFloatValues → FloatValuesFactory

  41. final def IllegalMonitorStateException(origin: ValueOrigin): ExceptionValue

    Permalink
    Definition Classes
    DefaultExceptionsFactory → ExceptionsFactory

  42. def InitializedArrayValue(pc: PC, arrayType: ArrayType, counts: Chain[Int]): DomainArrayValue

    Permalink
    Definition Classes
    ReferenceValues → TypeLevelReferenceValues → ReferenceValuesFactory

  43. def InitializedObjectValue(pc: PC, objectType: ObjectType): DomainObjectValue

    Permalink
    Definition Classes
    ReferenceValues → TypeLevelReferenceValues → ReferenceValuesFactory

  44. final def IntegerConstant0: DomainTypedValue[CTIntType]

    Permalink
    Definition Classes
    IntegerValuesFactory

  45. final def IntegerRange(lb: Int, ub: Int): IntegerRange

    Permalink
    Definition Classes
    DefaultIntegerRangeValues → IntegerRangeValues
    Annotations
    @inline()

  46. final def IntegerRange(origin: ValueOrigin, lowerBound: Int, upperBound: Int): DomainTypedValue[CTIntType]

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerRangeValuesFactory

  47. def IntegerRange(value: Int): DomainTypedValue[CTIntType]

    Permalink
    Definition Classes
    IntegerRangeValues

  48. object IntegerRange

    Permalink
    Definition Classes
    IntegerRangeValues

  49. def IntegerValue(origin: ValueOrigin, value: Int): DomainTypedValue[CTIntType]

    Permalink
    Definition Classes
    DefaultIntegerRangeValues → IntegerValuesFactory

  50. def IntegerValue(origin: ValueOrigin): DomainTypedValue[CTIntType]

    Permalink
    Definition Classes
    DefaultIntegerRangeValues → IntegerValuesFactory

  51. def LongSet(values: SortedSet[Long]): LongSet

    Permalink
    Definition Classes
    DefaultLongSetValues → LongSetValues

  52. def LongSet(value: Long): DomainTypedValue[LongType]

    Permalink
    Definition Classes
    LongSetValues

  53. object LongSet

    Permalink
    Definition Classes
    LongSetValues

  54. def LongValue(origin: ValueOrigin, value: Long): LongSet

    Permalink
    Definition Classes
    DefaultLongSetValues → LongValuesFactory

  55. def LongValue(origin: ValueOrigin): ALongValue

    Permalink
    Definition Classes
    DefaultLongSetValues → LongValuesFactory

  56. final val MetaInformationUpdateIllegalValue: MetaInformationUpdate[DomainIllegalValue]

    Permalink
    Definition Classes
    DefaultDomainValueBinding → ValuesDomain

  57. def MethodCallResult(potentialExceptions: Iterable[ExceptionValue]): MethodCallResult

    Permalink
    Attributes
    protected[this]
    Definition Classes
    MethodCallsHandling

  58. def MethodCallResult(returnValue: DomainValue, exceptions: Iterable[ExceptionValue]): MethodCallResult

    Permalink
    Attributes
    protected[this]
    Definition Classes
    MethodCallsHandling

  59. def MethodHandle(origin: ValueOrigin, handle: MethodHandle): DomainReferenceValue

    Permalink
    Definition Classes
    ReferenceValuesFactory

  60. def MethodType(origin: ValueOrigin, descriptor: MethodDescriptor): DomainReferenceValue

    Permalink
    Definition Classes
    ReferenceValuesFactory

  61. def MultipleReferenceValues(values: UIDSet[DomainSingleOriginReferenceValue], isNull: Answer, isPrecise: Boolean, theUpperTypeBound: UIDSet[_ <: ReferenceType], t: Timestamp): DomainMultipleReferenceValues

    Permalink
    Attributes
    protected[org.opalj.ai.domain]
    Definition Classes
    DefaultReferenceValuesBinding → ReferenceValues

  62. def MultipleReferenceValues(values: UIDSet[DomainSingleOriginReferenceValue]): DomainMultipleReferenceValues

    Permalink
    Attributes
    protected[org.opalj.ai.domain]
    Definition Classes
    DefaultReferenceValuesBinding → ReferenceValues

  63. object MultipleReferenceValues

    Permalink
    Definition Classes
    ReferenceValues

  64. final def NegativeArraySizeException(origin: ValueOrigin): ExceptionValue

    Permalink
    Definition Classes
    DefaultExceptionsFactory → ExceptionsFactory

  65. def NewArray(pc: PC, counts: Operands, arrayType: ArrayType): DomainArrayValue

    Permalink
    Definition Classes
    ReferenceValues → TypeLevelReferenceValues

  66. def NewArray(pc: PC, count: DomainValue, arrayType: ArrayType): DomainArrayValue

    Permalink
    Definition Classes
    ReferenceValues → TypeLevelReferenceValues

  67. def NewObject(origin: ValueOrigin, objectType: ObjectType): DomainObjectValue

    Permalink
    Definition Classes
    StringValues → ReferenceValues → TypeLevelReferenceValues → ReferenceValuesFactory

  68. def NonNullObjectValue(pc: PC, objectType: ObjectType): DomainObjectValue

    Permalink
    Definition Classes
    ReferenceValues → TypeLevelReferenceValues → ReferenceValuesFactory

  69. final def NullPointerException(origin: ValueOrigin): ExceptionValue

    Permalink
    Definition Classes
    DefaultExceptionsFactory → ExceptionsFactory

  70. def NullValue(origin: ValueOrigin): DomainNullValue

    Permalink
    Definition Classes
    DefaultReferenceValuesBinding → TypeLevelReferenceValues → ReferenceValuesFactory

  71. def ObjectValue(origin: ValueOrigin, isNull: Answer, upperTypeBound: UIDSet[ObjectType], t: Timestamp): DomainObjectValue

    Permalink
    Attributes
    protected[org.opalj.ai.domain]
    Definition Classes
    DefaultReferenceValuesBinding → ReferenceValues

  72. def ObjectValue(origin: ValueOrigin, isNull: Answer, isPrecise: Boolean, theUpperTypeBound: ObjectType, t: Timestamp): SObjectValue

    Permalink
    Attributes
    protected[org.opalj.ai.domain]
    Definition Classes
    DefaultReferenceValuesBinding → ReferenceValues

  73. def ObjectValue(origin: ValueOrigin, isNull: Answer, isPrecise: Boolean, theUpperTypeBound: ObjectType): DomainObjectValue

    Permalink
    Attributes
    protected[org.opalj.ai.domain]
    Definition Classes
    ReferenceValues

  74. def ObjectValue(origin: ValueOrigin, isNull: Answer, upperTypeBound: UIDSet[ObjectType]): DomainObjectValue

    Permalink
    Attributes
    protected[org.opalj.ai.domain]
    Definition Classes
    ReferenceValues

  75. def ObjectValue(pc: PC, upperTypeBound: UIDSet[ObjectType]): DomainObjectValue

    Permalink
    Definition Classes
    ReferenceValues → TypeLevelReferenceValues

  76. def ObjectValue(pc: PC, objectType: ObjectType): DomainObjectValue

    Permalink
    Definition Classes
    ReferenceValues → TypeLevelReferenceValues

  77. final def ReferenceValue(origin: ValueOrigin, isNull: Answer, isPrecise: Boolean, upperTypeBound: UIDSet[_ <: ReferenceType], t: Timestamp): DomainSingleOriginReferenceValue

    Permalink
    Attributes
    protected[org.opalj.ai.domain]
    Definition Classes
    ReferenceValues

  78. final def ReferenceValue(origin: ValueOrigin, isNull: Answer, isPrecise: Boolean, theUpperTypeBound: ReferenceType): DomainSingleOriginReferenceValue

    Permalink
    Attributes
    protected[org.opalj.ai.domain]
    Definition Classes
    ReferenceValues

  79. def ReferenceValue(origin: ValueOrigin, isNull: Answer, isPrecise: Boolean, theUpperTypeBound: ReferenceType, t: Timestamp): DomainSingleOriginReferenceValue

    Permalink
    Attributes
    protected[org.opalj.ai.domain]
    Definition Classes
    ReferenceValues

  80. def ReferenceValue(pc: PC, upperTypeBound: ReferenceType): AReferenceValue

    Permalink
    Definition Classes
    TypeLevelReferenceValues → ReferenceValuesFactory

  81. final def ReturnAddressValue(address: Int): ReturnAddressValue

    Permalink
    Definition Classes
    DefaultDomainValueBinding → ValuesDomain

  82. def ShortValue(origin: ValueOrigin, value: Short): DomainTypedValue[CTIntType]

    Permalink
    Definition Classes
    DefaultIntegerRangeValues → IntegerValuesFactory

  83. def ShortValue(origin: ValueOrigin): DomainTypedValue[CTIntType]

    Permalink
    Definition Classes
    DefaultIntegerRangeValues → IntegerValuesFactory

  84. implicit object SingleOriginValueOrdering extends Ordering[(Origin.this)#SingleOriginValue]

    Permalink
    Definition Classes
    Origin

  85. def StringValue(origin: ValueOrigin, value: String, t: Timestamp): DomainStringValue

    Permalink
    Definition Classes
    DefaultStringValuesBinding → StringValues

  86. final def StringValue(origin: ValueOrigin, value: String): DomainObjectValue

    Permalink
    Definition Classes
    StringValues → ReferenceValues → TypeLevelReferenceValues → ReferenceValuesFactory

  87. object StringValue

    Permalink
    Definition Classes
    StringValues

  88. final def StructuralUpdateIllegalValue: StructuralUpdate[Nothing]

    Permalink
    Definition Classes
    ValuesDomain

  89. final val TheIllegalValue: DomainIllegalValue

    Permalink
    Definition Classes
    DefaultDomainValueBinding → ValuesDomain

  90. final val TheReturnAddressValues: ReturnAddressValues

    Permalink
    Definition Classes
    DefaultDomainValueBinding → ValuesDomain

  91. final def Throwable(origin: ValueOrigin): ExceptionValue

    Permalink
    Definition Classes
    DefaultExceptionsFactory → ExceptionsFactory

  92. final def TimestampUpdate[T](value: T): MetaInformationUpdate[T]

    Permalink
    Definition Classes
    ReferenceValues
    Annotations
    @inline()

  93. def TypedValue(origin: ValueOrigin, valueType: Type): DomainValue

    Permalink
    Definition Classes
    TypedValuesFactory

  94. final def VMArithmeticException(pc: PC): ExceptionValue

    Permalink
    Definition Classes
    ExceptionsFactory

  95. final def VMArrayIndexOutOfBoundsException(pc: PC): ExceptionValue

    Permalink
    Definition Classes
    ExceptionsFactory

  96. final def VMArrayStoreException(pc: PC): ExceptionValue

    Permalink
    Definition Classes
    ExceptionsFactory

  97. final def VMClassCastException(pc: PC): ExceptionValue

    Permalink
    Definition Classes
    ExceptionsFactory

  98. final def VMClassNotFoundException(pc: PC): ExceptionValue

    Permalink
    Definition Classes
    ExceptionsFactory

  99. final def VMIllegalMonitorStateException(pc: PC): ExceptionValue

    Permalink
    Definition Classes
    ExceptionsFactory

  100. final def VMNegativeArraySizeException(pc: PC): ExceptionValue

    Permalink
    Definition Classes
    ExceptionsFactory

  101. final def VMNullPointerException(pc: PC): ExceptionValue

    Permalink
    Definition Classes
    ExceptionsFactory

  102. final def VMThrowable(pc: PC): ExceptionValue

    Permalink
    Definition Classes
    ExceptionsFactory

  103. def aaload(pc: PC, index: DomainValue, arrayref: DomainValue): ArrayLoadResult

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

  104. def aastore(pc: PC, value: DomainValue, index: DomainValue, arrayref: DomainValue): ArrayStoreResult

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

  105. def abruptMethodExecution(pc: PC, exception: ExceptionValue): Unit

    Permalink
    Definition Classes
    DefaultHandlingForThrownExceptions → ReturnInstructionsDomain

  106. def abstractInterpretationEnded(aiResult: AIResult { val domain: BasePerformInvocationBugPickerAnalysisDomain.this.type }): Unit

    Permalink
    Definition Classes
    CoreDomainFunctionality

  107. def afterBaseJoin(pc: PC): Unit

    Permalink
    Attributes
    protected[this]
    Definition Classes
    JoinStabilization → CoreDomainFunctionality

  108. def afterEvaluation(pc: PC, instruction: Instruction, oldOperands: Operands, oldLocals: Locals, targetPC: PC, isExceptionalControlFlow: Boolean, newOperands: Operands, newLocals: Locals): (Operands, Locals)

    Permalink
    Definition Classes
    PostEvaluationMemoryManagement → CoreDomainFunctionality

  109. def areturn(pc: PC, value: DomainValue): Computation[Nothing, ExceptionValue]

    Permalink
    Definition Classes
    DefaultHandlingForReturnInstructions → ReturnInstructionsDomain

  110. def arraylength(pc: PC, arrayref: DomainValue): Computation[DomainValue, ExceptionValue]

    Permalink
    Definition Classes
    MaxArrayLengthRefinement → TypeLevelReferenceValues → ReferenceValuesDomain

  111. def arrayload(pc: PC, index: DomainValue, arrayref: DomainValue): ArrayLoadResult

    Permalink
    Definition Classes
    TypeLevelReferenceValues → GeneralizedArrayHandling

  112. def arraystore(pc: PC, value: DomainValue, index: DomainValue, arrayref: DomainValue): ArrayStoreResult

    Permalink
    Definition Classes
    TypeLevelReferenceValues → GeneralizedArrayHandling

  113. def asArrayAbstraction(value: DomainValue): ArrayAbstraction

    Permalink
    Definition Classes
    TypeLevelReferenceValues

  114. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  115. def asObjectValue(value: DomainValue): DomainObjectValue

    Permalink
    Definition Classes
    TypeLevelReferenceValues

  116. def asReferenceValue(value: DomainValue): AReferenceValue

    Permalink
    Definition Classes
    TypeLevelReferenceValues

  117. def baload(pc: PC, index: DomainValue, arrayref: DomainValue): ArrayLoadResult

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

  118. def bastore(pc: PC, value: DomainValue, index: DomainValue, arrayref: DomainValue): ArrayStoreResult

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

  119. def beforeBaseJoin(pc: PC): Unit

    Permalink
    Attributes
    protected[this]
    Definition Classes
    CoreDomainFunctionality

  120. def callees(caller: Method, declaringClassType: ObjectType, isInterface: Boolean, name: String, descriptor: MethodDescriptor): Set[Method]

    Permalink
    Definition Classes
    Callees
    Annotations
    @inline()

  121. def caload(pc: PC, index: DomainValue, arrayref: DomainValue): ArrayLoadResult

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

  122. def castore(pc: PC, value: DomainValue, index: DomainValue, arrayref: DomainValue): ArrayStoreResult

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

  123. final def classFile: ClassFile

    Permalink
    Definition Classes
    TheMethod
    Annotations
    @inline()

  124. implicit final def classHierarchy: ClassHierarchy

    Permalink
    Definition Classes
    TheProject → TheClassHierarchy
    Annotations
    @inline()

  125. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  126. final val code: Code

    Permalink
    Definition Classes
    TheMethod → TheCode

  127. def createLongValueOrArithmeticException(pc: PC, exception: Boolean, results: SortedSet[Long]): LongValueOrArithmeticException

    Permalink
    Attributes
    protected[this]
    Definition Classes
    LongSetValues

  128. def d2f(pc: PC, value: DomainValue): DomainValue

    Permalink
    Definition Classes
    TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain

  129. def d2i(pc: PC, value: DomainValue): DomainValue

    Permalink
    Definition Classes
    TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain

  130. def d2l(pc: PC, value: DomainValue): DomainValue

    Permalink
    Definition Classes
    TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain

  131. def dadd(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue

    Permalink
    Definition Classes
    TypeLevelDoubleValues → DoubleValuesDomain

  132. def daload(pc: PC, index: DomainValue, arrayref: DomainValue): ArrayLoadResult

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

  133. def dastore(pc: PC, value: DomainValue, index: DomainValue, arrayref: DomainValue): ArrayStoreResult

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

  134. def dcmpg(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue

    Permalink
    Definition Classes
    TypeLevelDoubleValues → DoubleValuesDomain

  135. def dcmpl(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue

    Permalink
    Definition Classes
    TypeLevelDoubleValues → DoubleValuesDomain

  136. def ddiv(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue

    Permalink
    Definition Classes
    TypeLevelDoubleValues → DoubleValuesDomain

  137. def dmul(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue

    Permalink
    Definition Classes
    TypeLevelDoubleValues → DoubleValuesDomain

  138. def dneg(pc: PC, value: DomainValue): DomainValue

    Permalink
    Definition Classes
    TypeLevelDoubleValues → DoubleValuesDomain

  139. def doGetfield(pc: PC, objectref: DomainValue, fieldValue: DomainValue): Computation[DomainValue, ExceptionValue]

    Permalink
    Definition Classes
    TypeLevelFieldAccessInstructions

  140. def doGetstatic(pc: PC, fieldValue: DomainValue): Computation[DomainValue, Nothing]

    Permalink
    Definition Classes
    TypeLevelFieldAccessInstructions

  141. def doInvoke(pc: PC, method: Method, operands: Operands, fallback: () ⇒ MethodCallResult): MethodCallResult

    Permalink
    Definition Classes
    BasePerformInvocationBugPickerAnalysisDomain → PerformInvocationsWithRecursionDetection → PerformInvocations → RefinedTypeLevelInvokeInstructions → MethodCallsDomainWithMethodLockup

  142. def doInvoke(method: Method, calledMethodDomain: CalledMethodDomain)(parameters: InvocationBugPickerAnalysisDomain.Locals): AIResult { val domain: calledMethodDomain.type }

    Permalink
    Attributes
    protected[this]
    Definition Classes
    BasePerformInvocationBugPickerAnalysisDomain → PerformInvocations

  143. def doInvokeNonVirtual(pc: PC, declaringClass: ObjectType, isInterface: Boolean, name: String, descriptor: MethodDescriptor, operands: Operands, fallback: () ⇒ MethodCallResult): MethodCallResult

    Permalink
    Attributes
    protected[this]
    Definition Classes
    PerformInvocations

  144. def doInvokeVirtual(pc: PC, declaringClass: ReferenceType, isInterface: Boolean, name: String, descriptor: MethodDescriptor, operands: Operands, fallback: () ⇒ MethodCallResult): MethodCallResult

    Permalink
    Definition Classes
    PerformInvocationsWithBasicVirtualMethodCallResolution → PerformInvocations

  145. def doNonVirtualInvoke(pc: PC, declaringType: ObjectType, isInterface: Boolean, name: String, descriptor: MethodDescriptor, operands: Operands, fallback: () ⇒ MethodCallResult): MethodCallResult

    Permalink
    Attributes
    protected[this]
    Definition Classes
    MethodCallsDomainWithMethodLockup

  146. def doVirtualInvoke(pc: PC, declaringType: ObjectType, isInterface: Boolean, name: String, descriptor: MethodDescriptor, operands: Operands, fallback: () ⇒ MethodCallResult): MethodCallResult

    Permalink
    Attributes
    protected[this]
    Definition Classes
    MethodCallsDomainWithMethodLockup

  147. def drem(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue

    Permalink
    Definition Classes
    TypeLevelDoubleValues → DoubleValuesDomain

  148. def dreturn(pc: PC, value: DomainValue): Computation[Nothing, ExceptionValue]

    Permalink
    Definition Classes
    DefaultHandlingForReturnInstructions → ReturnInstructionsDomain

  149. def dsub(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue

    Permalink
    Definition Classes
    TypeLevelDoubleValues → DoubleValuesDomain

  150. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  151. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  152. def evaluationCompleted(pc: PC, worklist: Chain[PC], evaluated: Chain[PC], operandsArray: OperandsArray, localsArray: LocalsArray, tracer: Option[AITracer]): Unit

    Permalink
    Definition Classes
    CoreDomainFunctionality

  153. def f2d(pc: PC, value: DomainValue): DomainValue

    Permalink
    Definition Classes
    TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain

  154. def f2i(pc: PC, value: DomainValue): DomainValue

    Permalink
    Definition Classes
    TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain

  155. def f2l(pc: PC, value: DomainValue): DomainValue

    Permalink
    Definition Classes
    TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain

  156. def fadd(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue

    Permalink
    Definition Classes
    TypeLevelFloatValues → FloatValuesDomain

  157. def faload(pc: PC, index: DomainValue, arrayref: DomainValue): ArrayLoadResult

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

  158. def fastore(pc: PC, value: DomainValue, index: DomainValue, arrayref: DomainValue): ArrayStoreResult

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

  159. def fcmpg(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue

    Permalink
    Definition Classes
    TypeLevelFloatValues → FloatValuesDomain

  160. def fcmpl(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue

    Permalink
    Definition Classes
    TypeLevelFloatValues → FloatValuesDomain

  161. def fdiv(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue

    Permalink
    Definition Classes
    TypeLevelFloatValues → FloatValuesDomain

  162. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  163. def flow(currentPC: PC, currentOperands: Operands, currentLocals: Locals, successorPC: PC, isSuccessorScheduled: Answer, isExceptionalControlFlow: Boolean, abruptSubroutineTerminationCount: Int, wasJoinPerformed: Boolean, worklist: Chain[PC], operandsArray: OperandsArray, localsArray: LocalsArray, tracer: Option[AITracer]): Chain[PC]

    Permalink
    Definition Classes
    CoreDomainFunctionality

  164. def fmul(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue

    Permalink
    Definition Classes
    TypeLevelFloatValues → FloatValuesDomain

  165. def fneg(pc: PC, value: DomainValue): DomainValue

    Permalink
    Definition Classes
    TypeLevelFloatValues → FloatValuesDomain

  166. def foreachOrigin(value: DomainValue, f: (ValueOrigin) ⇒ Unit): Unit

    Permalink
    Definition Classes
    Origin

  167. def frem(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue

    Permalink
    Definition Classes
    TypeLevelFloatValues → FloatValuesDomain

  168. def freturn(pc: PC, value: DomainValue): Computation[Nothing, ExceptionValue]

    Permalink
    Definition Classes
    DefaultHandlingForReturnInstructions → ReturnInstructionsDomain

  169. def fsub(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue

    Permalink
    Definition Classes
    TypeLevelFloatValues → FloatValuesDomain

  170. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any

  171. def getPotentialExceptions(pc: PC): List[ExceptionValue]

    Permalink
    Attributes
    protected[this]
    Definition Classes
    MethodCallsHandling

  172. def getfield(pc: PC, objectref: DomainValue, declaringClass: ObjectType, fieldName: String, fieldType: FieldType): Computation[DomainValue, ExceptionValue]

    Permalink
    Definition Classes
    RefinedTypeLevelFieldAccessInstructions → TypeLevelFieldAccessInstructions → FieldAccessesDomain

  173. def getstatic(pc: PC, declaringClass: ObjectType, name: String, fieldType: FieldType): Computation[DomainValue, Nothing]

    Permalink
    Definition Classes
    ClassValues → FieldAccessesDomain

  174. def handleInstanceBasedInvoke(pc: PC, methodDescriptor: MethodDescriptor, targetMethods: Set[Method], receiverIsNull: Answer, operands: Operands): MethodCallResult

    Permalink
    Attributes
    protected[this]
    Definition Classes
    MethodCallsHandling

  175. def handleInstanceBasedInvoke(pc: PC, methodDescriptor: MethodDescriptor, operands: Operands): MethodCallResult

    Permalink
    Attributes
    protected[this]
    Definition Classes
    MethodCallsHandling

  176. def handleInstanceBasedInvoke(pc: PC, methodDescriptor: MethodDescriptor, receiverIsNull: Answer): MethodCallResult

    Permalink
    Attributes
    protected[this]
    Definition Classes
    MethodCallsHandling

  177. def handleInvoke(pc: PC, targetMethod: Method, operands: Operands): MethodCallResult

    Permalink
    Attributes
    protected[this]
    Definition Classes
    MethodCallsHandling

  178. def handleInvoke(pc: PC, methodDescriptor: MethodDescriptor): MethodCallResult

    Permalink
    Attributes
    protected[this]
    Definition Classes
    MethodCallsHandling

  179. def handleReturn(pc: PC): Computation[Nothing, ExceptionValue]

    Permalink
    Attributes
    protected[this]
    Definition Classes
    ReturnInstructionsDomain

  180. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  181. def i2b(pc: PC, value: DomainValue): DomainValue

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  182. def i2c(pc: PC, value: DomainValue): DomainValue

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  183. def i2d(pc: PC, value: DomainValue): DomainValue

    Permalink
    Definition Classes
    ConcretePrimitiveValuesConversions → TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain

  184. def i2f(pc: PC, value: DomainValue): DomainValue

    Permalink
    Definition Classes
    ConcretePrimitiveValuesConversions → TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain

  185. def i2l(pc: PC, value: DomainValue): DomainValue

    Permalink
    Definition Classes
    ConcretePrimitiveValuesConversions → TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain

  186. def i2s(pc: PC, value: DomainValue): DomainValue

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  187. def iadd(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  188. def iaload(pc: PC, index: DomainValue, arrayref: DomainValue): ArrayLoadResult

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

  189. def iand(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  190. def iastore(pc: PC, value: DomainValue, index: DomainValue, arrayref: DomainValue): ArrayStoreResult

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

  191. def idiv(pc: PC, numerator: DomainValue, denominator: DomainValue): IntegerValueOrArithmeticException

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  192. def iinc(pc: PC, value: DomainValue, increment: Int): DomainValue

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  193. def imul(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  194. def ineg(pc: PC, value: DomainValue): DomainValue

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  195. def intAreEqual(pc: PC, value1: DomainValue, value2: DomainValue): Answer

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  196. def intAreNotEqual(pc: PC, value1: DomainValue, value2: DomainValue): Answer

    Permalink
    Definition Classes
    IntegerValuesDomain

  197. def intEstablishAreEqual(pc: PC, value1: DomainValue, value2: DomainValue, operands: Operands, locals: Locals): (Operands, Locals)

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  198. def intEstablishAreNotEqual(pc: PC, value1: DomainValue, value2: DomainValue, operands: Operands, locals: Locals): (Operands, Locals)

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  199. def intEstablishIsLessThan(pc: PC, left: DomainValue, right: DomainValue, operands: Operands, locals: Locals): (Operands, Locals)

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  200. def intEstablishIsLessThanOrEqualTo(pc: PC, left: DomainValue, right: DomainValue, operands: Operands, locals: Locals): (Operands, Locals)

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  201. def intEstablishValue(pc: PC, theValue: Int, value: DomainValue, operands: Operands, locals: Locals): (Operands, Locals)

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  202. def intIs0(pc: PC, value: DomainValue): Answer

    Permalink
    Definition Classes
    IntegerValuesDomain

  203. def intIsGreaterThan(pc: PC, largerValue: DomainValue, smallerValue: DomainValue): Answer

    Permalink
    Definition Classes
    IntegerValuesDomain

  204. def intIsGreaterThan0(pc: PC, value: DomainValue): Answer

    Permalink
    Definition Classes
    IntegerValuesDomain

  205. def intIsGreaterThanOrEqualTo(pc: PC, largerOrEqualValue: DomainValue, smallerOrEqualValue: DomainValue): Answer

    Permalink
    Definition Classes
    IntegerValuesDomain

  206. def intIsGreaterThanOrEqualTo0(pc: PC, value: DomainValue): Answer

    Permalink
    Definition Classes
    IntegerValuesDomain

  207. def intIsLessThan(pc: PC, left: DomainValue, right: DomainValue): Answer

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  208. def intIsLessThan0(pc: PC, value: DomainValue): Answer

    Permalink
    Definition Classes
    IntegerValuesDomain

  209. def intIsLessThanOrEqualTo(pc: PC, left: DomainValue, right: DomainValue): Answer

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  210. def intIsLessThanOrEqualTo0(pc: PC, value: DomainValue): Answer

    Permalink
    Definition Classes
    IntegerValuesDomain

  211. def intIsNot0(pc: PC, value: DomainValue): Answer

    Permalink
    Definition Classes
    IntegerValuesDomain

  212. def intIsSomeValueInRange(pc: PC, value: DomainValue, lowerBound: Int, upperBound: Int): Answer

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  213. def intIsSomeValueNotInRange(pc: PC, value: DomainValue, lowerBound: Int, upperBound: Int): Answer

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  214. final def intValue[T](value: DomainValue)(f: (Int) ⇒ T)(orElse: ⇒ T): T

    Permalink
    Definition Classes
    IntegerRangeValues → ConcreteIntegerValues
    Annotations
    @inline()

  215. final def intValueOption(value: DomainValue): Option[Int]

    Permalink
    Definition Classes
    IntegerRangeValues → ConcreteIntegerValues
    Annotations
    @inline()

  216. final def intValues[T](value1: DomainValue, value2: DomainValue)(f: (Int, Int) ⇒ T)(orElse: ⇒ T): T

    Permalink
    Attributes
    protected
    Definition Classes
    IntegerRangeValues
    Annotations
    @inline()

  217. def invokedynamic(pc: PC, bootstrapMethod: BootstrapMethod, name: String, methodDescriptor: MethodDescriptor, operands: Operands): MethodCallResult

    Permalink
    Definition Classes
    TypeLevelInvokeInstructions → MethodCallsDomain

  218. def invokeinterface(pc: PC, declaringClass: ObjectType, name: String, descriptor: MethodDescriptor, operands: Operands): MethodCallResult

    Permalink
    Definition Classes
    PerformInvocations → MethodCallsDomain

  219. def invokespecial(pc: PC, declaringClass: ObjectType, isInterface: Boolean, name: String, methodDescriptor: MethodDescriptor, operands: Operands): MethodCallResult

    Permalink
    Definition Classes
    StringValues → MethodCallsDomain

  220. def invokestatic(pc: PC, declaringClass: ObjectType, isInterface: Boolean, name: String, methodDescriptor: MethodDescriptor, operands: Operands): MethodCallResult

    Permalink
    Definition Classes
    ClassValues → MethodCallsDomain

  221. def invokevirtual(pc: PC, declaringClass: ReferenceType, name: String, descriptor: MethodDescriptor, operands: Operands): MethodCallResult

    Permalink
    Definition Classes
    BasePerformInvocationBugPickerAnalysisDomain → PerformInvocations → MethodCallsDomainWithMethodLockup → TypeLevelInvokeInstructions → MethodCallsDomain

  222. def ior(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  223. def irem(pc: PC, left: DomainValue, right: DomainValue): IntegerValueOrArithmeticException

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  224. def ireturn(pc: PC, value: DomainValue): Computation[Nothing, ExceptionValue]

    Permalink
    Definition Classes
    DefaultHandlingForReturnInstructions → ReturnInstructionsDomain

  225. lazy val isExtensible: (ObjectType) ⇒ Answer

    Permalink
    Definition Classes
    PerformInvocationsWithBasicVirtualMethodCallResolution

  226. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  227. def isNull(values: Iterable[AReferenceValue]): Answer

    Permalink
    Attributes
    protected
    Definition Classes
    ReferenceValues

  228. def isPrecise(values: Iterable[AReferenceValue]): Boolean

    Permalink
    Attributes
    protected
    Definition Classes
    ReferenceValues

  229. def isSubtypeOf(subtype: ReferenceType, supertype: ReferenceType): Answer

    Permalink
    Definition Classes
    TheClassHierarchy

  230. final def isValueSubtypeOf(value: DomainValue, supertype: ReferenceType): Answer

    Permalink
    Definition Classes
    TypeLevelReferenceValues → ReferenceValuesDomain

  231. def ishl(pc: PC, value: DomainValue, shift: DomainValue): DomainValue

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  232. def ishr(pc: PC, value: DomainValue, shift: DomainValue): DomainValue

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  233. def isub(pc: PC, left: DomainValue, right: DomainValue): DomainValue

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  234. def iushr(pc: PC, value: DomainValue, shift: DomainValue): DomainValue

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  235. def ixor(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  236. def join(pc: PC, thisOperands: Operands, thisLocals: Locals, otherOperands: Operands, otherLocals: Locals): Update[(Operands, Locals)]

    Permalink
    Definition Classes
    CoreDomainFunctionality

  237. def joinPostProcessing(updateType: UpdateType, pc: PC, oldOperands: Operands, oldLocals: Locals, newOperands: Operands, newLocals: Locals): Update[(Operands, Locals)]

    Permalink
    Attributes
    protected[this]
    Definition Classes
    IdentityBasedCorrelationChangeDetection → CoreDomainFunctionality

  238. def joinValues(pc: PC, left: DomainValue, right: DomainValue): Update[DomainValue]

    Permalink
    Attributes
    protected[this]
    Definition Classes
    JoinStabilization → CoreDomainFunctionality

  239. val joinedValues: Map[IdentityPair[AnyRef, AnyRef], Update[DomainValue]]

    Permalink
    Attributes
    protected[this]
    Definition Classes
    JoinStabilization

  240. def jumpToSubroutine(pc: PC, branchTarget: PC, returnTarget: PC): Unit

    Permalink
    Definition Classes
    SubroutinesDomain

  241. final def justThrows(value: ExceptionValue): ThrowsException[ExceptionValues]

    Permalink
    Definition Classes
    ReferenceValuesFactory

  242. def l2d(pc: PC, value: DomainValue): DomainValue

    Permalink
    Definition Classes
    ConcretePrimitiveValuesConversions → TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain

  243. def l2f(pc: PC, value: DomainValue): DomainValue

    Permalink
    Definition Classes
    ConcretePrimitiveValuesConversions → TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain

  244. def l2i(pc: PC, value: DomainValue): DomainValue

    Permalink
    Definition Classes
    ConcretePrimitiveValuesConversions → TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain

  245. def ladd(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue

    Permalink
    Definition Classes
    LongSetValues → LongValuesDomain

  246. def laload(pc: PC, index: DomainValue, arrayref: DomainValue): ArrayLoadResult

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

  247. def land(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue

    Permalink
    Definition Classes
    LongSetValues → LongValuesDomain

  248. def lastore(pc: PC, value: DomainValue, index: DomainValue, arrayref: DomainValue): ArrayStoreResult

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

  249. def lcmp(pc: PC, left: DomainValue, right: DomainValue): DomainValue

    Permalink
    Definition Classes
    LongSetValues → LongValuesDomain

  250. def ldiv(pc: PC, numerator: DomainValue, denominator: DomainValue): LongValueOrArithmeticException

    Permalink
    Definition Classes
    LongSetValues → LongValuesDomain

  251. def lmul(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue

    Permalink
    Definition Classes
    LongSetValues → LongValuesDomain

  252. def lneg(pc: PC, value: DomainValue): DomainValue

    Permalink
    Definition Classes
    LongSetValues → LongValuesDomain

  253. def localsArray: LocalsArray

    Permalink
    Definition Classes
    TheMemoryLayout

  254. implicit final def logContext: LogContext

    Permalink
    Definition Classes
    TheProject → LogContextProvider

  255. final def longValue[T](value: DomainValue)(f: (Long) ⇒ T)(orElse: ⇒ T): T

    Permalink
    Definition Classes
    LongSetValues → ConcreteLongValues
    Annotations
    @inline()

  256. final def longValueOption(value: DomainValue): Option[Long]

    Permalink
    Definition Classes
    LongSetValues → ConcreteLongValues
    Annotations
    @inline()

  257. def lor(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue

    Permalink
    Definition Classes
    LongSetValues → LongValuesDomain

  258. def lrem(pc: PC, left: DomainValue, right: DomainValue): LongValueOrArithmeticException

    Permalink
    Definition Classes
    LongSetValues → LongValuesDomain

  259. def lreturn(pc: PC, value: DomainValue): Computation[Nothing, ExceptionValue]

    Permalink
    Definition Classes
    DefaultHandlingForReturnInstructions → ReturnInstructionsDomain

  260. def lshl(pc: PC, value: DomainValue, shift: DomainValue): DomainValue

    Permalink
    Definition Classes
    LongSetValuesShiftOperators → LongValuesDomain

  261. def lshr(pc: PC, value: DomainValue, shift: DomainValue): DomainValue

    Permalink
    Definition Classes
    LongSetValuesShiftOperators → LongValuesDomain

  262. def lsub(pc: PC, left: DomainValue, right: DomainValue): DomainValue

    Permalink
    Definition Classes
    LongSetValues → LongValuesDomain

  263. def lushr(pc: PC, value: DomainValue, shift: DomainValue): DomainValue

    Permalink
    Definition Classes
    LongSetValuesShiftOperators → LongValuesDomain

  264. def lxor(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue

    Permalink
    Definition Classes
    LongSetValues → LongValuesDomain

  265. def maxCardinalityOfIntegerRanges: Long

    Permalink
    Definition Classes
    IntegerRangeValues

  266. def maxCardinalityOfLongSets: Int

    Permalink
    Attributes
    protected
    Definition Classes
    LongSetValues

  267. def memoryLayoutBeforeSubroutineCall: Chain[(OperandsArray, LocalsArray)]

    Permalink
    Definition Classes
    TheMemoryLayout

  268. def mergeDEComputations(pc: PC, c1: Computation[DomainValue, ExceptionValue], c2: Computation[DomainValue, ExceptionValue]): Computation[DomainValue, ExceptionValue]

    Permalink
    Attributes
    protected[this]
    Definition Classes
    TypeLevelReferenceValues

  269. def mergeDEsComputations(pc: PC, c1: Computation[DomainValue, ExceptionValues], c2: Computation[DomainValue, ExceptionValues]): Computation[DomainValue, ExceptionValues]

    Permalink
    Attributes
    protected[this]
    Definition Classes
    TypeLevelReferenceValues

  270. def mergeDomainValues(pc: PC, v1: DomainValue, v2: DomainValue): DomainValue

    Permalink
    Definition Classes
    ValuesDomain

  271. def mergeEsComputations(pc: PC, c1: Computation[Nothing, ExceptionValues], c2: Computation[Nothing, ExceptionValues]): Computation[Nothing, ExceptionValues]

    Permalink
    Attributes
    protected[this]
    Definition Classes
    TypeLevelReferenceValues

  272. def mergeMultipleExceptionValues(pc: PC, v1s: ExceptionValues, v2s: ExceptionValues): ExceptionValues

    Permalink
    Definition Classes
    TypeLevelReferenceValues

  273. def monitorenter(pc: PC, value: DomainValue): Computation[Nothing, ExceptionValue]

    Permalink
    Definition Classes
    IgnoreSynchronization → MonitorInstructionsDomain

  274. def monitorexit(pc: PC, value: DomainValue): Computation[Nothing, ExceptionValues]

    Permalink
    Definition Classes
    IgnoreSynchronization → MonitorInstructionsDomain

  275. def multianewarray(pc: PC, counts: Operands, arrayType: ArrayType): Computation[DomainArrayValue, ExceptionValue]

    Permalink
    Definition Classes
    TypeLevelReferenceValues → ReferenceValuesDomain

  276. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  277. def newarray(pc: PC, count: DomainValue, componentType: FieldType): Computation[DomainValue, ExceptionValue]

    Permalink
    Definition Classes
    TypeLevelReferenceValues → ReferenceValuesDomain

  278. def nextT(): Timestamp

    Permalink
    Definition Classes
    ReferenceValues

  279. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  280. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  281. final def nullT: Timestamp

    Permalink
    Definition Classes
    ReferenceValues

  282. def operandsArray: OperandsArray

    Permalink
    Definition Classes
    TheMemoryLayout

  283. def origin(value: DomainValue): Iterable[ValueOrigin]

    Permalink
    Definition Classes
    Origin

  284. def properties(pc: PC, propertyToString: (AnyRef) ⇒ String): Option[String]

    Permalink
    Definition Classes
    ValuesDomain

  285. final lazy val propertyStore: PropertyStore

    Permalink
    Definition Classes
    TheProject → ThePropertyStore

  286. def putfield(pc: PC, objectref: DomainValue, value: DomainValue, declaringClass: ObjectType, fieldName: String, fieldType: FieldType): Computation[Nothing, ExceptionValue]

    Permalink
    Definition Classes
    TypeLevelFieldAccessInstructions → FieldAccessesDomain

  287. def putstatic(pc: PC, value: DomainValue, declaringClass: ObjectType, fieldName: String, fieldType: FieldType): Computation[Nothing, Nothing]

    Permalink
    Definition Classes
    TypeLevelFieldAccessInstructions → FieldAccessesDomain

  288. def refAreEqual(pc: PC, v1: DomainValue, v2: DomainValue): Answer

    Permalink
    Definition Classes
    ReferenceValues → TypeLevelReferenceValues → ReferenceValuesDomain

  289. def refAreNotEqual(pc: PC, value1: DomainValue, value2: DomainValue): Answer

    Permalink
    Definition Classes
    ReferenceValuesDomain

  290. def refEstablishAreEqual(pc: PC, value1: DomainValue, value2: DomainValue, operands: Operands, locals: Locals): (Operands, Locals)

    Permalink
    Definition Classes
    ReferenceValuesDomain

  291. def refEstablishAreNotEqual(pc: PC, value1: DomainValue, value2: DomainValue, operands: Operands, locals: Locals): (Operands, Locals)

    Permalink
    Definition Classes
    ReferenceValuesDomain

  292. def refEstablishIsNonNull(pc: PC, value: DomainValue, operands: Operands, locals: Locals): (Operands, Locals)

    Permalink
    Definition Classes
    ReferenceValues → ReferenceValuesDomain

  293. def refEstablishIsNull(pc: PC, value: DomainValue, operands: Operands, locals: Locals): (Operands, Locals)

    Permalink
    Definition Classes
    ReferenceValues → ReferenceValuesDomain

  294. def refIsNonNull(pc: PC, value: DomainValue): Answer

    Permalink
    Definition Classes
    ReferenceValuesDomain

  295. final def refIsNull(pc: PC, value: DomainValue): Answer

    Permalink
    Definition Classes
    TypeLevelReferenceValues → ReferenceValuesDomain

  296. def refSetUpperTypeBoundOfTopOperand(pc: PC, bound: ReferenceType, operands: Operands, locals: Locals): (Operands, Locals)

    Permalink
    Definition Classes
    ReferenceValues → TypeLevelReferenceValues → ReferenceValuesDomain

  297. def refTopOperandIsNull(pc: PC, operands: Operands, locals: Locals): (Operands, Locals)

    Permalink
    Definition Classes
    ReferenceValues → TypeLevelReferenceValues → ReferenceValuesDomain

  298. def refineIsNull(pc: PC, value: DomainValue, isNull: Answer, operands: Operands, locals: Locals): (Operands, Locals)

    Permalink
    Attributes
    protected[this]
    Definition Classes
    ReferenceValues

  299. def returnFromSubroutine(pc: PC, lvIndex: Int): Unit

    Permalink
    Definition Classes
    SubroutinesDomain

  300. def returnVoid(pc: PC): Computation[Nothing, ExceptionValue]

    Permalink
    Definition Classes
    DefaultHandlingOfVoidReturns → ReturnInstructionsDomain

  301. def saload(pc: PC, index: DomainValue, arrayref: DomainValue): ArrayLoadResult

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

  302. def sastore(pc: PC, value: DomainValue, index: DomainValue, arrayref: DomainValue): ArrayStoreResult

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

  303. def schedule(successorPC: PC, abruptSubroutineTerminationCount: Int, worklist: Chain[PC]): Chain[PC]

    Permalink
    Attributes
    protected[this]
    Definition Classes
    CoreDomainFunctionality

  304. def shouldInvocationBePerformed(calledMethod: Method): Boolean

    Permalink
    Definition Classes
    BasePerformInvocationBugPickerAnalysisDomain → PerformInvocations

  305. def sideEffectOnlyOrExceptions(pc: PC, value: DomainValue): Computation[Nothing, ExceptionValue]

    Permalink
    Attributes
    protected[this]
    Definition Classes
    IgnoreSynchronization

  306. def simpleClassForNameCall(pc: PC, className: String): MethodCallResult

    Permalink
    Attributes
    protected[org.opalj.ai.domain.l1]
    Definition Classes
    ClassValues

  307. def subroutinesLocalsArray: LocalsArray

    Permalink
    Definition Classes
    TheMemoryLayout

  308. def subroutinesOperandsArray: OperandsArray

    Permalink
    Definition Classes
    TheMemoryLayout

  309. def summarize(pc: PC, values: Iterable[DomainValue]): DomainValue

    Permalink
    Definition Classes
    ValuesDomain

  310. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef

  311. def testAndDoInvoke(pc: PC, method: Method, operands: Operands, fallback: () ⇒ MethodCallResult): MethodCallResult

    Permalink
    Attributes
    protected[this]
    Definition Classes
    PerformInvocations

  312. def throwArithmeticExceptions: Boolean

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration

  313. def throwArrayIndexOutOfBoundsException: Boolean

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration

  314. def throwArrayStoreException: Boolean

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration

  315. def throwClassCastException: Boolean

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration

  316. def throwClassNotFoundException: Boolean

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration

  317. def throwExceptionsOnMethodCall: ExceptionsRaisedByCalledMethod

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration

  318. def throwIllegalMonitorStateException: Boolean

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration

  319. def throwNegativeArraySizeException: Boolean

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration

  320. def throwNullPointerExceptionOnArrayAccess: Boolean

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration

  321. def throwNullPointerExceptionOnFieldAccess: Boolean

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration

  322. def throwNullPointerExceptionOnMethodCall: Boolean

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration

  323. def throwNullPointerExceptionOnMonitorAccess: Boolean

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration

  324. def throwNullPointerExceptionOnThrow: Boolean

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration

  325. final def throws(value: ExceptionValue): ThrowsException[ExceptionValue]

    Permalink
    Definition Classes
    ReferenceValuesFactory

  326. def toDomainValue(pc: PC, value: AnyRef): DomainReferenceValue

    Permalink
    Definition Classes
    StringValues → DefaultJavaObjectToDomainValueConversion → AsDomainValue

  327. def toJavaObject(pc: PC, value: DomainValue): Option[AnyRef]

    Permalink
    Definition Classes
    StringValues → ReferenceValues → TypeLevelReferenceValues → AsJavaObject

  328. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

  329. def transformResult(callerPC: PC, calledMethod: Method, originalOperands: Operands, calledMethodDomain: CalledMethodDomain)(passedParameters: ai.domain.l2.PerformInvocations.CalledMethodDomain.Locals, result: AIResult { val domain: calledMethodDomain.type }): MethodCallResult

    Permalink
    Attributes
    protected[this]
    Definition Classes
    PerformInvocations

  330. def typeOfValue(value: DomainValue): TypeInformation

    Permalink
    Definition Classes
    ValuesDomain

  331. def updateAfterEvaluation(oldValue: DomainValue, newValue: DomainValue): Unit

    Permalink
    Attributes
    protected
    Definition Classes
    PostEvaluationMemoryManagement

  332. def updateAfterException(oldValue: DomainValue, newValue: DomainValue): Unit

    Permalink
    Attributes
    protected
    Definition Classes
    PostEvaluationMemoryManagement

  333. def updateAfterExecution(oldValue: DomainValue, newValueAfterEvaluation: DomainValue, newValueAfterException: DomainValue): Unit

    Permalink
    Attributes
    protected
    Definition Classes
    PostEvaluationMemoryManagement

  334. def updateMemoryLayout(oldValue: DomainValue, newValue: DomainValue, operands: Operands, locals: Locals): (Operands, Locals)

    Permalink
    Definition Classes
    CoreDomainFunctionality

  335. def upperTypeBound(theValues: UIDSet[DomainSingleOriginReferenceValue]): UIDSet[_ <: ReferenceType]

    Permalink
    Definition Classes
    ReferenceValues

  336. def useExceptionsThrownByCalledMethod: Boolean

    Permalink
    Definition Classes
    PerformInvocations

  337. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  338. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  339. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  340. final def withLongValuesOrElse[T](value1: DomainValue, value2: DomainValue)(f: (Long, Long) ⇒ T)(orElse: ⇒ T): T

    Permalink
    Attributes
    protected
    Definition Classes
    LongSetValues
    Annotations
    @inline()

Inherited from DefaultClassValuesBinding

Inherited from ClassValues

Inherited from DefaultStringValuesBinding

Inherited from StringValues

Inherited from PostEvaluationMemoryManagement

Inherited from DefaultJavaObjectToDomainValueConversion

Inherited from AsDomainValue

Inherited from DefaultReferenceValuesBinding

Inherited from DefaultExceptionsFactory

Inherited from ReferenceValues

Inherited from Origin

Inherited from DefaultTypeLevelReferenceValues

Inherited from PerformInvocationsWithBasicVirtualMethodCallResolution

Inherited from PerformInvocationsWithRecursionDetection

Inherited from TheMemoryLayout

Inherited from PerformInvocations

Inherited from BaseBugPickerAnalysisDomain

Inherited from IgnoreSynchronization

Inherited from DefaultHandlingOfMethodResults

Inherited from DefaultHandlingForReturnInstructions

Inherited from DefaultHandlingOfVoidReturns

Inherited from DefaultHandlingForThrownExceptions

Inherited from ReturnInstructionsDomain

Inherited from MaxArrayLengthRefinement

Inherited from TypeLevelReferenceValues

Inherited from AsJavaObject

Inherited from GeneralizedArrayHandling

Inherited from NullPropertyRefinement

Inherited from ConcretePrimitiveValuesConversions

Inherited from TypeLevelPrimitiveValuesConversions

Inherited from DefaultTypeLevelDoubleValues

Inherited from TypeLevelDoubleValues

Inherited from DefaultTypeLevelFloatValues

Inherited from TypeLevelFloatValues

Inherited from LongSetValuesShiftOperators

Inherited from DefaultLongSetValues

Inherited from LongSetValues

Inherited from ConcreteLongValues

Inherited from DefaultIntegerRangeValues

Inherited from IntegerRangeValues

Inherited from ConcreteIntegerValues

Inherited from IntegerRangeValuesFactory

Inherited from SpecialMethodsHandling

Inherited from RefinedTypeLevelInvokeInstructions

Inherited from MethodCallsDomainWithMethodLockup

Inherited from Callees

Inherited from TypeLevelInvokeInstructions

Inherited from MethodCallsHandling

Inherited from RefinedTypeLevelFieldAccessInstructions

Inherited from TypeLevelFieldAccessInstructions

Inherited from ThrowAllPotentialExceptionsConfiguration

Inherited from DefaultDomainValueBinding

Inherited from TheMethod

Inherited from TheCode

Inherited from TheProject

Inherited from ThePropertyStore

Inherited from LogContextProvider

Inherited from TheClassHierarchy

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 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