Class

org.opalj.bugpicker.core.analyses

RootBugPickerAnalysisDomain

Related Doc: package analyses

Permalink

class RootBugPickerAnalysisDomain extends BasePerformInvocationBugPickerAnalysisDomain with TheAI[BaseBugPickerAnalysisDomain] with TheMemoryLayout with RecordAllThrownExceptions with RecordCFG with RecordDefUse

The domain that is used to identify the issues.

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

Instance Constructors

  1. new RootBugPickerAnalysisDomain(project: Project[URL], fieldValueInformation: FieldValueInformation, methodReturnValueInformation: MethodReturnValueInformation, cache: CallGraphCache[MethodSignature, Set[Method]], maxCardinalityOfIntegerRanges: Long, maxCardinalityOfLongSets: Int, maxCallChainLength: Int, method: Method, debug: Boolean, frequentEvaluationWarningLevel: Int = 256)

    Permalink

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 ThrownException = Set[DomainSingleOriginReferenceValue]

    Permalink
    Definition Classes
    RecordAllThrownExceptions → RecordThrownExceptions

  57. type Timestamp = Int

    Permalink
    Definition Classes
    ReferenceValues

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

    Permalink
    Definition Classes
    ValuesDomain

  59. trait Value extends AnyRef

    Permalink
    Definition Classes
    ValuesDomain

  60. type ValueOrigins = IntArraySet

    Permalink
    Definition Classes
    RecordDefUse

  61. trait ValueWithOriginInformation extends AnyRef

    Permalink
    Definition Classes
    Origin

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. final def ValueOrigins(vo: Int): IntArraySet

    Permalink
    Definition Classes
    RecordDefUse
    Annotations
    @inline()

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

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

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

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

  106. def abruptMethodExecution(pc: PC, exceptionValue: ExceptionValue): Unit

    Permalink
    Definition Classes
    RecordCFG → ReturnInstructionsDomain

  107. def abstractInterpretationEnded(aiResult: AIResult { val domain: RootBugPickerAnalysisDomain.this.type }): Unit

    Permalink
    Definition Classes
    RecordDefUse → RecordCFG → CoreDomainFunctionality

  108. def afterBaseJoin(pc: PC): Unit

    Permalink
    Attributes
    protected[this]
    Definition Classes
    JoinStabilization → CoreDomainFunctionality

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

  110. def ai: AI[BaseBugPickerAnalysisDomain]

    Permalink
    Definition Classes
    TheAI

  111. def allExitPCs: BitSet

    Permalink
    Definition Classes
    RecordCFG

  112. def allSubroutineStartPCs: PCs

    Permalink
    Definition Classes
    RecordCFG

  113. def allSuccessorsOf(pc: PC): PCs

    Permalink
    Definition Classes
    RecordCFG

  114. def allThrownExceptions: Map[PC, ThrownException]

    Permalink
    Definition Classes
    RecordThrownExceptions

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

    Permalink
    Definition Classes
    RecordCFG → ReturnInstructionsDomain

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

    Permalink
    Definition Classes
    MaxArrayLengthRefinement → TypeLevelReferenceValues → ReferenceValuesDomain

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

    Permalink
    Definition Classes
    TypeLevelReferenceValues → GeneralizedArrayHandling

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

    Permalink
    Definition Classes
    TypeLevelReferenceValues → GeneralizedArrayHandling

  119. def asArrayAbstraction(value: DomainValue): ArrayAbstraction

    Permalink
    Definition Classes
    TypeLevelReferenceValues

  120. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  121. def asObjectValue(value: DomainValue): DomainObjectValue

    Permalink
    Definition Classes
    TypeLevelReferenceValues

  122. def asReferenceValue(value: DomainValue): AReferenceValue

    Permalink
    Definition Classes
    TypeLevelReferenceValues

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

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

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

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

  125. def bbCFG: CFG

    Permalink
    Definition Classes
    RecordCFG

  126. def beforeBaseJoin(pc: PC): Unit

    Permalink
    Attributes
    protected[this]
    Definition Classes
    CoreDomainFunctionality

  127. val cache: CallGraphCache[MethodSignature, Set[Method]]

    Permalink
    Definition Classes
    RootBugPickerAnalysisDomain → Callees

  128. final def calledMethodAI: AI[BaseBugPickerAnalysisDomain]

    Permalink
    Definition Classes
    RootBugPickerAnalysisDomain → PerformInvocations

  129. def calledMethodDomain(method: Method): InvocationBugPickerAnalysisDomain

    Permalink
    Definition Classes
    RootBugPickerAnalysisDomain → PerformInvocations

  130. lazy val calledMethodsStore: CalledMethodsStore { val domain: RootBugPickerAnalysisDomain.this.coordinatingDomain.type }

    Permalink
    Definition Classes
    RootBugPickerAnalysisDomain → PerformInvocationsWithRecursionDetection

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

    Permalink
    Definition Classes
    Callees
    Annotations
    @inline()

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

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

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

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

  134. def cfgAsGraph(): DefaultMutableNode[Chain[PC]]

    Permalink
    Definition Classes
    RecordCFG

  135. final def classFile: ClassFile

    Permalink
    Definition Classes
    TheMethod
    Annotations
    @inline()

  136. implicit final def classHierarchy: ClassHierarchy

    Permalink
    Definition Classes
    TheProject → TheClassHierarchy
    Annotations
    @inline()

  137. def clone(): AnyRef

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

  138. final val code: Code

    Permalink
    Definition Classes
    TheMethod → TheCode

  139. def controlDependencies: ControlDependencies

    Permalink
    Definition Classes
    RecordCFG

  140. final val coordinatingDomain: RootBugPickerAnalysisDomain

    Permalink
    Definition Classes
    RootBugPickerAnalysisDomain → PerformInvocationsWithRecursionDetection

  141. def createDefUseGraph(code: Code): Set[DefaultMutableNode[ValueOrigin]]

    Permalink
    Definition Classes
    RecordDefUse

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

    Permalink
    Attributes
    protected[this]
    Definition Classes
    LongSetValues

  143. final def currentCallChainLength: Int

    Permalink
    Definition Classes
    RootBugPickerAnalysisDomain → BasePerformInvocationBugPickerAnalysisDomain

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

    Permalink
    Definition Classes
    TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain

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

    Permalink
    Definition Classes
    TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain

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

    Permalink
    Definition Classes
    TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain

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

    Permalink
    Definition Classes
    TypeLevelDoubleValues → DoubleValuesDomain

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

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

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

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

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

    Permalink
    Definition Classes
    TypeLevelDoubleValues → DoubleValuesDomain

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

    Permalink
    Definition Classes
    TypeLevelDoubleValues → DoubleValuesDomain

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

    Permalink
    Definition Classes
    TypeLevelDoubleValues → DoubleValuesDomain

  153. val debug: Boolean

    Permalink
    Definition Classes
    RootBugPickerAnalysisDomain → BasePerformInvocationBugPickerAnalysisDomain

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

    Permalink
    Definition Classes
    TypeLevelDoubleValues → DoubleValuesDomain

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

    Permalink
    Definition Classes
    TypeLevelDoubleValues → DoubleValuesDomain

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

    Permalink
    Definition Classes
    TypeLevelFieldAccessInstructions

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

    Permalink
    Definition Classes
    TypeLevelFieldAccessInstructions

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

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

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

    Permalink
    Attributes
    protected[this]
    Definition Classes
    BasePerformInvocationBugPickerAnalysisDomain → PerformInvocations

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

    Permalink
    Attributes
    protected[this]
    Definition Classes
    PerformInvocations

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

    Permalink
    Definition Classes
    PerformInvocationsWithBasicVirtualMethodCallResolution → PerformInvocations

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

    Permalink
    Attributes
    protected[this]
    Definition Classes
    MethodCallsDomainWithMethodLockup

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

    Permalink
    Attributes
    protected[this]
    Definition Classes
    MethodCallsDomainWithMethodLockup

  164. def dominatorTree: DominatorTree

    Permalink
    Definition Classes
    RecordCFG

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

    Permalink
    Definition Classes
    TypeLevelDoubleValues → DoubleValuesDomain

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

    Permalink
    Definition Classes
    RecordCFG → ReturnInstructionsDomain

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

    Permalink
    Definition Classes
    TypeLevelDoubleValues → DoubleValuesDomain

  168. def dumpDefUseInfo(): Node

    Permalink
    Definition Classes
    RecordDefUse

  169. def dumpDefUseTable(): Node

    Permalink
    Definition Classes
    RecordDefUse

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

    Permalink
    Definition Classes
    AnyRef

  171. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

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

    Permalink
    Definition Classes
    CoreDomainFunctionality

  173. def exceptionHandlerSuccessorsOf(pc: PC): PCs

    Permalink
    Definition Classes
    RecordCFG

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

    Permalink
    Definition Classes
    TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain

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

    Permalink
    Definition Classes
    TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain

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

    Permalink
    Definition Classes
    TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain

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

    Permalink
    Definition Classes
    TypeLevelFloatValues → FloatValuesDomain

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

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

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

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

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

    Permalink
    Definition Classes
    TypeLevelFloatValues → FloatValuesDomain

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

    Permalink
    Definition Classes
    TypeLevelFloatValues → FloatValuesDomain

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

    Permalink
    Definition Classes
    TypeLevelFloatValues → FloatValuesDomain

  183. val fieldValueInformation: FieldValueInformation

    Permalink
    Definition Classes
    RootBugPickerAnalysisDomain → RefinedTypeLevelFieldAccessInstructions

  184. def finalize(): Unit

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

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

    Permalink
    Definition Classes
    RecordCFG → CoreDomainFunctionality

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

    Permalink
    Definition Classes
    TypeLevelFloatValues → FloatValuesDomain

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

    Permalink
    Definition Classes
    TypeLevelFloatValues → FloatValuesDomain

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

    Permalink
    Definition Classes
    Origin

  189. final def foreachPredecessorOf(pc: PC)(f: (PC) ⇒ Unit): Unit

    Permalink
    Definition Classes
    RecordCFG

  190. final def foreachSuccessorOf(pc: PC)(f: (PC) ⇒ Unit): Unit

    Permalink
    Definition Classes
    RecordCFG

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

    Permalink
    Definition Classes
    TypeLevelFloatValues → FloatValuesDomain

  192. val frequentEvaluationWarningLevel: Int

    Permalink
    Definition Classes
    RootBugPickerAnalysisDomain → PerformInvocationsWithRecursionDetection

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

    Permalink
    Definition Classes
    RecordCFG → ReturnInstructionsDomain

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

    Permalink
    Definition Classes
    TypeLevelFloatValues → FloatValuesDomain

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

    Permalink
    Definition Classes
    AnyRef → Any

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

    Permalink
    Attributes
    protected[this]
    Definition Classes
    MethodCallsHandling

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

    Permalink
    Definition Classes
    RefinedTypeLevelFieldAccessInstructions → TypeLevelFieldAccessInstructions → FieldAccessesDomain

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

    Permalink
    Definition Classes
    ClassValues → FieldAccessesDomain

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

    Permalink
    Attributes
    protected[this]
    Definition Classes
    MethodCallsHandling

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

    Permalink
    Attributes
    protected[this]
    Definition Classes
    MethodCallsHandling

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

    Permalink
    Attributes
    protected[this]
    Definition Classes
    MethodCallsHandling

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

    Permalink
    Attributes
    protected[this]
    Definition Classes
    MethodCallsHandling

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

    Permalink
    Attributes
    protected[this]
    Definition Classes
    MethodCallsHandling

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

    Permalink
    Attributes
    protected[this]
    Definition Classes
    ReturnInstructionsDomain

  205. final def handlesException(exceptionHandler: ExceptionHandler): Boolean

    Permalink
    Definition Classes
    RecordCFG

  206. final def hasMultiplePredecessors(pc: PC): Boolean

    Permalink
    Definition Classes
    RecordCFG

  207. final def hasMultipleSuccessors(pc: PC): Boolean

    Permalink
    Definition Classes
    RecordCFG

  208. def hasNoSuccessor(pc: PC): Boolean

    Permalink
    Definition Classes
    RecordCFG

  209. def hasSuccessor(pc: PC, regularSuccessorsOnly: Boolean, p: (PC) ⇒ Boolean): Boolean

    Permalink
    Definition Classes
    RecordCFG

  210. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

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

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

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

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

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

    Permalink
    Definition Classes
    ConcretePrimitiveValuesConversions → TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain

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

    Permalink
    Definition Classes
    ConcretePrimitiveValuesConversions → TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain

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

    Permalink
    Definition Classes
    ConcretePrimitiveValuesConversions → TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain

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

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

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

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

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

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

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

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

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

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

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

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

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

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

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

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

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

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  225. def initProperties(code: Code, cfJoins: BitSet, locals: Locals): Unit

    Permalink
    Definition Classes
    RecordDefUse → RecordCFG → CustomInitialization

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

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

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

    Permalink
    Definition Classes
    IntegerValuesDomain

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

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

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

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

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

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

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

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

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

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

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

    Permalink
    Definition Classes
    IntegerValuesDomain

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

    Permalink
    Definition Classes
    IntegerValuesDomain

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

    Permalink
    Definition Classes
    IntegerValuesDomain

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

    Permalink
    Definition Classes
    IntegerValuesDomain

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

    Permalink
    Definition Classes
    IntegerValuesDomain

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

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

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

    Permalink
    Definition Classes
    IntegerValuesDomain

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

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

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

    Permalink
    Definition Classes
    IntegerValuesDomain

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

    Permalink
    Definition Classes
    IntegerValuesDomain

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

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

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

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

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

    Permalink
    Definition Classes
    IntegerRangeValues → ConcreteIntegerValues
    Annotations
    @inline()

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

    Permalink
    Definition Classes
    IntegerRangeValues → ConcreteIntegerValues
    Annotations
    @inline()

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

    Permalink
    Attributes
    protected
    Definition Classes
    IntegerRangeValues
    Annotations
    @inline()

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

    Permalink
    Definition Classes
    TypeLevelInvokeInstructions → MethodCallsDomain

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

    Permalink
    Definition Classes
    PerformInvocations → MethodCallsDomain

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

    Permalink
    Definition Classes
    StringValues → MethodCallsDomain

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

    Permalink
    Definition Classes
    ClassValues → MethodCallsDomain

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

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

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

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

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

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

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

    Permalink
    Definition Classes
    RecordCFG → ReturnInstructionsDomain

  256. def isDirectRegularPredecessorOf(pc: PC, successorPC: PC): Boolean

    Permalink
    Definition Classes
    RecordCFG

  257. lazy val isExtensible: (ObjectType) ⇒ Answer

    Permalink
    Definition Classes
    PerformInvocationsWithBasicVirtualMethodCallResolution

  258. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

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

    Permalink
    Attributes
    protected
    Definition Classes
    ReferenceValues

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

    Permalink
    Attributes
    protected
    Definition Classes
    ReferenceValues

  261. def isRegularPredecessorOf(pc: PC, successorPC: PC): Boolean

    Permalink
    Definition Classes
    RecordCFG

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

    Permalink
    Definition Classes
    TheClassHierarchy

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

    Permalink
    Definition Classes
    TypeLevelReferenceValues → ReferenceValuesDomain

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

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

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

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

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

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

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

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

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

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

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

    Permalink
    Definition Classes
    CoreDomainFunctionality

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

  271. def joinThrownExceptions(pc: PC, previouslyThrownException: ThrownException, value: ExceptionValue): ThrownException

    Permalink
    Attributes
    protected[this]
    Definition Classes
    RecordAllThrownExceptions → RecordThrownExceptions

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

    Permalink
    Attributes
    protected[this]
    Definition Classes
    JoinStabilization → CoreDomainFunctionality

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

    Permalink
    Attributes
    protected[this]
    Definition Classes
    JoinStabilization

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

    Permalink
    Definition Classes
    RecordCFG → SubroutinesDomain

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

    Permalink
    Definition Classes
    ReferenceValuesFactory

  276. def justThrowsException(pc: PC): Boolean

    Permalink
    Definition Classes
    RecordCFG

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

    Permalink
    Definition Classes
    ConcretePrimitiveValuesConversions → TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain

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

    Permalink
    Definition Classes
    ConcretePrimitiveValuesConversions → TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain

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

    Permalink
    Definition Classes
    ConcretePrimitiveValuesConversions → TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain

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

    Permalink
    Definition Classes
    LongSetValues → LongValuesDomain

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

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

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

    Permalink
    Definition Classes
    LongSetValues → LongValuesDomain

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

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

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

    Permalink
    Definition Classes
    LongSetValues → LongValuesDomain

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

    Permalink
    Definition Classes
    LongSetValues → LongValuesDomain

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

    Permalink
    Definition Classes
    LongSetValues → LongValuesDomain

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

    Permalink
    Definition Classes
    LongSetValues → LongValuesDomain

  288. def localOrigin(pc: PC, registerIndex: Int): ValueOrigins

    Permalink
    Definition Classes
    RecordDefUse

  289. def localsArray: LocalsArray

    Permalink
    Definition Classes
    TheMemoryLayout

  290. implicit final def logContext: LogContext

    Permalink
    Definition Classes
    TheProject → LogContextProvider

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

    Permalink
    Definition Classes
    LongSetValues → ConcreteLongValues
    Annotations
    @inline()

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

    Permalink
    Definition Classes
    LongSetValues → ConcreteLongValues
    Annotations
    @inline()

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

    Permalink
    Definition Classes
    LongSetValues → LongValuesDomain

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

    Permalink
    Definition Classes
    LongSetValues → LongValuesDomain

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

    Permalink
    Definition Classes
    RecordCFG → ReturnInstructionsDomain

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

    Permalink
    Definition Classes
    LongSetValuesShiftOperators → LongValuesDomain

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

    Permalink
    Definition Classes
    LongSetValuesShiftOperators → LongValuesDomain

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

    Permalink
    Definition Classes
    LongSetValues → LongValuesDomain

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

    Permalink
    Definition Classes
    LongSetValuesShiftOperators → LongValuesDomain

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

    Permalink
    Definition Classes
    LongSetValues → LongValuesDomain

  301. val maxCallChainLength: Int

    Permalink
    Definition Classes
    RootBugPickerAnalysisDomain → BasePerformInvocationBugPickerAnalysisDomain

  302. val maxCardinalityOfIntegerRanges: Long

    Permalink
    Definition Classes
    RootBugPickerAnalysisDomain → IntegerRangeValues

  303. val maxCardinalityOfLongSets: Int

    Permalink
    Definition Classes
    RootBugPickerAnalysisDomain → LongSetValues

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

    Permalink
    Definition Classes
    TheMemoryLayout

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

    Permalink
    Attributes
    protected[this]
    Definition Classes
    TypeLevelReferenceValues

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

    Permalink
    Attributes
    protected[this]
    Definition Classes
    TypeLevelReferenceValues

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

    Permalink
    Definition Classes
    ValuesDomain

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

    Permalink
    Attributes
    protected[this]
    Definition Classes
    TypeLevelReferenceValues

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

    Permalink
    Definition Classes
    TypeLevelReferenceValues

  310. val method: Method

    Permalink
    Definition Classes
    RootBugPickerAnalysisDomain → TheMethod

  311. val methodReturnValueInformation: MethodReturnValueInformation

    Permalink
    Definition Classes
    RootBugPickerAnalysisDomain → RefinedTypeLevelInvokeInstructions

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

    Permalink
    Definition Classes
    IgnoreSynchronization → MonitorInstructionsDomain

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

    Permalink
    Definition Classes
    IgnoreSynchronization → MonitorInstructionsDomain

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

    Permalink
    Definition Classes
    TypeLevelReferenceValues → ReferenceValuesDomain

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

    Permalink
    Definition Classes
    AnyRef

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

    Permalink
    Definition Classes
    TypeLevelReferenceValues → ReferenceValuesDomain

  317. def nextT(): Timestamp

    Permalink
    Definition Classes
    ReferenceValues

  318. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  319. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  320. final def nullT: Timestamp

    Permalink
    Definition Classes
    ReferenceValues

  321. def operandOrigin(pc: PC, stackIndex: Int): ValueOrigins

    Permalink
    Definition Classes
    RecordDefUse

  322. def operandsArray: OperandsArray

    Permalink
    Definition Classes
    TheMemoryLayout

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

    Permalink
    Definition Classes
    Origin

  324. def postDominatorTree: DominatorTree

    Permalink
    Definition Classes
    RecordCFG

  325. def postDominatorTreeFactory: DominatorTreeFactory

    Permalink
    Definition Classes
    RecordCFG

  326. def predecessorsOf(pc: PC): PCs

    Permalink
    Definition Classes
    RecordCFG

  327. val project: Project[URL]

    Permalink
    Definition Classes
    RootBugPickerAnalysisDomain → Callees → TheProject

  328. def properties(pc: Int, propertyToString: (AnyRef) ⇒ String): Option[String]

    Permalink
    Definition Classes
    RecordDefUse → ValuesDomain

  329. final lazy val propertyStore: PropertyStore

    Permalink
    Definition Classes
    TheProject → ThePropertyStore

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

    Permalink
    Definition Classes
    TypeLevelFieldAccessInstructions → FieldAccessesDomain

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

    Permalink
    Definition Classes
    TypeLevelFieldAccessInstructions → FieldAccessesDomain

  332. def recordThrownException(pc: PC, value: ExceptionValue): ThrownException

    Permalink
    Attributes
    protected[this]
    Definition Classes
    RecordAllThrownExceptions → RecordThrownExceptions

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

    Permalink
    Definition Classes
    ReferenceValues → TypeLevelReferenceValues → ReferenceValuesDomain

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

    Permalink
    Definition Classes
    ReferenceValuesDomain

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

    Permalink
    Definition Classes
    ReferenceValuesDomain

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

    Permalink
    Definition Classes
    ReferenceValuesDomain

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

    Permalink
    Definition Classes
    ReferenceValues → ReferenceValuesDomain

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

    Permalink
    Definition Classes
    ReferenceValues → ReferenceValuesDomain

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

    Permalink
    Definition Classes
    ReferenceValuesDomain

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

    Permalink
    Definition Classes
    TypeLevelReferenceValues → ReferenceValuesDomain

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

    Permalink
    Definition Classes
    ReferenceValues → TypeLevelReferenceValues → ReferenceValuesDomain

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

    Permalink
    Definition Classes
    ReferenceValues → TypeLevelReferenceValues → ReferenceValuesDomain

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

    Permalink
    Attributes
    protected[this]
    Definition Classes
    ReferenceValues

  344. def regularSuccessorsOf(pc: PC): PCs

    Permalink
    Definition Classes
    RecordCFG

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

    Permalink
    Definition Classes
    SubroutinesDomain

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

    Permalink
    Definition Classes
    RecordCFG → ReturnInstructionsDomain

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

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

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

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

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

    Permalink
    Attributes
    protected[this]
    Definition Classes
    CoreDomainFunctionality

  350. def shouldInvocationBePerformed(calledMethod: Method): Boolean

    Permalink
    Definition Classes
    BasePerformInvocationBugPickerAnalysisDomain → PerformInvocations

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

    Permalink
    Attributes
    protected[this]
    Definition Classes
    IgnoreSynchronization

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

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

  353. def subroutinesLocalsArray: LocalsArray

    Permalink
    Definition Classes
    TheMemoryLayout

  354. def subroutinesOperandsArray: OperandsArray

    Permalink
    Definition Classes
    TheMemoryLayout

  355. final def successorsOf(pc: PC, regularSuccessorOnly: Boolean): PCs

    Permalink
    Definition Classes
    RecordCFG

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

    Permalink
    Definition Classes
    ValuesDomain

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

    Permalink
    Definition Classes
    AnyRef

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

    Permalink
    Attributes
    protected[this]
    Definition Classes
    PerformInvocations

  359. def throwArithmeticExceptions: Boolean

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration

  360. def throwArrayIndexOutOfBoundsException: Boolean

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration

  361. def throwArrayStoreException: Boolean

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration

  362. def throwClassCastException: Boolean

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration

  363. def throwClassNotFoundException: Boolean

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration

  364. def throwExceptionsOnMethodCall: ExceptionsRaisedByCalledMethod

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration

  365. def throwIllegalMonitorStateException: Boolean

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration

  366. def throwNegativeArraySizeException: Boolean

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration

  367. def throwNullPointerExceptionOnArrayAccess: Boolean

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration

  368. def throwNullPointerExceptionOnFieldAccess: Boolean

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration

  369. def throwNullPointerExceptionOnMethodCall: Boolean

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration

  370. def throwNullPointerExceptionOnMonitorAccess: Boolean

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration

  371. def throwNullPointerExceptionOnThrow: Boolean

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration

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

    Permalink
    Definition Classes
    ReferenceValuesFactory

  373. def throwsException(pc: PC): Boolean

    Permalink
    Definition Classes
    RecordCFG

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

    Permalink
    Definition Classes
    StringValues → DefaultJavaObjectToDomainValueConversion → AsDomainValue

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

    Permalink
    Definition Classes
    StringValues → ReferenceValues → TypeLevelReferenceValues → AsJavaObject

  376. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

  377. def tracer: Option[AITracer]

    Permalink
    Definition Classes
    TheAI

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

  379. def typeOfValue(value: DomainValue): TypeInformation

    Permalink
    Definition Classes
    ValuesDomain

  380. def unused(): ValueOrigins

    Permalink
    Definition Classes
    RecordDefUse

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

    Permalink
    Attributes
    protected
    Definition Classes
    PostEvaluationMemoryManagement

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

    Permalink
    Attributes
    protected
    Definition Classes
    PostEvaluationMemoryManagement

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

    Permalink
    Attributes
    protected
    Definition Classes
    PostEvaluationMemoryManagement

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

    Permalink
    Definition Classes
    CoreDomainFunctionality

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

    Permalink
    Definition Classes
    ReferenceValues

  386. def useExceptionsThrownByCalledMethod: Boolean

    Permalink
    Definition Classes
    PerformInvocations

  387. def usedBy(valueOrigin: ValueOrigin): ValueOrigins

    Permalink
    Definition Classes
    RecordDefUse

  388. final def wait(): Unit

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

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

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

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

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

  391. final def wasExecuted(pc: PC): Boolean

    Permalink
    Definition Classes
    RecordCFG

  392. 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 RecordDefUse

Inherited from RecordCFG

Inherited from CustomInitialization

Inherited from RecordAllThrownExceptions

Inherited from RecordThrownExceptions

Inherited from TheAI[BaseBugPickerAnalysisDomain]

Inherited from BasePerformInvocationBugPickerAnalysisDomain

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