Class

org.opalj.bugpicker.core.analysis

RootBugPickerAnalysisDomain

Related Doc: package analysis

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, classFile: ClassFile, 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 DomainValue = Value

    Permalink
    Definition Classes
    DefaultDomainValueBinding → ValuesDomain
  22. trait DoubleValue extends (TypeLevelDoubleValues.this)#Value with IsDoubleValue

    Permalink
    Definition Classes
    TypeLevelDoubleValues
  23. type ExceptionValue = DomainReferenceValue

    Permalink
    Definition Classes
    ValuesDomain
  24. type ExceptionValues = Iterable[ExceptionValue]

    Permalink
    Definition Classes
    ValuesDomain
  25. trait FloatValue extends (TypeLevelFloatValues.this)#Value with IsFloatValue

    Permalink
    Definition Classes
    TypeLevelFloatValues
  26. class IllegalValue extends Value

    Permalink
    Attributes
    protected
    Definition Classes
    ValuesDomain
  27. sealed trait IntegerLikeValue extends (IntegerRangeValues.this)#Value with IsIntegerValue

    Permalink
    Definition Classes
    IntegerRangeValues
  28. class IntegerRange extends (DefaultIntegerRangeValues.this)#IntegerRange

    Permalink
    Definition Classes
    DefaultIntegerRangeValues
  29. type IntegerValueOrArithmeticException = Computation[DomainValue, ExceptionValue]

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

    Permalink
    Definition Classes
    ValuesDomain
  31. type LocalsArray = Array[Locals]

    Permalink
    Definition Classes
    ValuesDomain
  32. class LongSet extends (DefaultLongSetValues.this)#LongSet

    Permalink
    Definition Classes
    DefaultLongSetValues
  33. sealed trait LongValue extends (LongSetValues.this)#Value with IsLongValue

    Permalink
    Definition Classes
    LongSetValues
  34. type LongValueOrArithmeticException = Computation[DomainValue, ExceptionValue]

    Permalink
    Definition Classes
    LongValuesDomain
  35. class MObjectValue extends (ReferenceValues.this)#MObjectValue with (ReferenceValues.this)#ObjectValue

    Permalink
    Attributes
    protected
    Definition Classes
    ReferenceValues
  36. type MethodCallResult = Computation[DomainValue, ExceptionValues]

    Permalink
    Definition Classes
    MethodCallsDomain
  37. trait MultipleOriginsValue extends (Origin.this)#ValueWithOriginInformation

    Permalink
    Definition Classes
    Origin
  38. class MultipleReferenceValues extends (ReferenceValues.this)#ReferenceValue with (ReferenceValues.this)#MultipleOriginsValue

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

    Permalink
    Definition Classes
    ReferenceValues
  40. trait NonNullSingleOriginSReferenceValue extends (ReferenceValues.this)#NonNullSingleOriginReferenceValue

    Permalink
    Definition Classes
    ReferenceValues
  41. class NullValue extends (ReferenceValues.this)#NullValue with (ReferenceValues.this)#SingleOriginReferenceValue

    Permalink
    Attributes
    protected
    Definition Classes
    ReferenceValues
  42. trait ObjectValue extends (ReferenceValues.this)#ObjectValue with (ReferenceValues.this)#NonNullSingleOriginReferenceValue

    Permalink
    Definition Classes
    ReferenceValues
  43. type Operands = Chain[DomainValue]

    Permalink
    Definition Classes
    ValuesDomain
  44. type OperandsArray = Array[Operands]

    Permalink
    Definition Classes
    ValuesDomain
  45. type PCs = UShortSet

    Permalink
    Definition Classes
    RecordDefUse
  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

    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 Value extends AnyRef

    Permalink
    Definition Classes
    ValuesDomain
  59. type ValueOrigins = SmallValuesSet

    Permalink
    Definition Classes
    RecordDefUse
  60. 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): DomainValue

    Permalink
    Definition Classes
    DefaultIntegerRangeValues → IntegerValuesFactory
  13. def BooleanValue(origin: ValueOrigin): DomainValue

    Permalink
    Definition Classes
    DefaultIntegerRangeValues → IntegerValuesFactory
  14. def ByteValue(origin: ValueOrigin, value: Byte): IntegerRange

    Permalink
    Definition Classes
    DefaultIntegerRangeValues → IntegerValuesFactory
  15. def ByteValue(origin: ValueOrigin): DomainValue

    Permalink
    Definition Classes
    DefaultIntegerRangeValues → IntegerValuesFactory
  16. def CharValue(origin: ValueOrigin, value: Char): IntegerRange

    Permalink
    Definition Classes
    DefaultIntegerRangeValues → IntegerValuesFactory
  17. def CharValue(origin: ValueOrigin): DomainValue

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

    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): DomainValue

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerRangeValuesFactory
  47. def IntegerRange(value: Int): DomainValue

    Permalink
    Definition Classes
    IntegerRangeValues
  48. object IntegerRange

    Permalink
    Definition Classes
    IntegerRangeValues
  49. def IntegerValue(origin: ValueOrigin, value: Int): IntegerRange

    Permalink
    Definition Classes
    DefaultIntegerRangeValues → IntegerValuesFactory
  50. def IntegerValue(origin: ValueOrigin): DomainValue

    Permalink
    Definition Classes
    DefaultIntegerRangeValues → IntegerValuesFactory
  51. def LongSet(values: SortedSet[Long]): LongSet

    Permalink
    Definition Classes
    DefaultLongSetValues → LongSetValues
  52. def LongSet(value: Long): DomainValue

    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): DomainValue

    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: SortedSet[DomainSingleOriginReferenceValue], isNull: Answer, isPrecise: Boolean, theUpperTypeBound: UpperTypeBound, t: Timestamp): DomainMultipleReferenceValues

    Permalink
    Attributes
    protected[org.opalj.ai.domain]
    Definition Classes
    DefaultReferenceValuesBinding → ReferenceValues
  62. def MultipleReferenceValues(values: SortedSet[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): IntegerRange

    Permalink
    Definition Classes
    DefaultIntegerRangeValues → IntegerValuesFactory
  83. def ShortValue(origin: ValueOrigin): DomainValue

    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, exceptionValue: ExceptionValue): Unit

    Permalink
    Definition Classes
    RecordCFG → ReturnInstructionsDomain
  106. def abstractInterpretationEnded(aiResult: AIResult { val domain: RootBugPickerAnalysisDomain.this.type }): Unit

    Permalink
    Definition Classes
    RecordDefUse → 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 ai: AI[BaseBugPickerAnalysisDomain]

    Permalink
    Definition Classes
    TheAI
  110. def allExitPCs: BitSet

    Permalink
    Definition Classes
    RecordCFG
  111. def allSubroutineStartPCs: UShortSet

    Permalink
    Definition Classes
    RecordCFG
  112. def allSuccessorsOf(pc: PC): ai.PCs

    Permalink
    Definition Classes
    RecordCFG
  113. def allThrownExceptions: Map[PC, ThrownException]

    Permalink
    Definition Classes
    RecordThrownExceptions
  114. def areturn(pc: PC, value: DomainValue): Computation[Nothing, ExceptionValue]

    Permalink
    Definition Classes
    RecordCFG → ReturnInstructionsDomain
  115. def arraylength(pc: PC, arrayref: DomainValue): Computation[DomainValue, ExceptionValue]

    Permalink
    Definition Classes
    MaxArrayLengthRefinement → TypeLevelReferenceValues → ReferenceValuesDomain
  116. def arrayload(pc: PC, index: DomainValue, arrayref: DomainValue): ArrayLoadResult

    Permalink
    Definition Classes
    TypeLevelReferenceValues → GeneralizedArrayHandling
  117. def arraystore(pc: PC, value: DomainValue, index: DomainValue, arrayref: DomainValue): ArrayStoreResult

    Permalink
    Definition Classes
    TypeLevelReferenceValues → GeneralizedArrayHandling
  118. def asArrayAbstraction(value: DomainValue): ArrayAbstraction

    Permalink
    Definition Classes
    TypeLevelReferenceValues
  119. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  120. def asObjectValue(value: DomainValue): DomainObjectValue

    Permalink
    Definition Classes
    TypeLevelReferenceValues
  121. def asReferenceValue(value: DomainValue): AReferenceValue

    Permalink
    Definition Classes
    TypeLevelReferenceValues
  122. def baload(pc: PC, index: DomainValue, arrayref: DomainValue): ArrayLoadResult

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain
  123. def bastore(pc: PC, value: DomainValue, index: DomainValue, arrayref: DomainValue): ArrayStoreResult

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain
  124. def bbCFG: CFG

    Permalink
    Definition Classes
    RecordCFG
  125. def beforeBaseJoin(pc: PC): Unit

    Permalink
    Attributes
    protected[this]
    Definition Classes
    CoreDomainFunctionality
  126. val cache: CallGraphCache[MethodSignature, Set[Method]]

    Permalink
    Definition Classes
    RootBugPickerAnalysisDomain → Callees
  127. final def calledMethodAI: AI[BaseBugPickerAnalysisDomain]

    Permalink
    Definition Classes
    RootBugPickerAnalysisDomain → PerformInvocations
  128. def calledMethodDomain(classFile: ClassFile, method: Method): InvocationBugPickerAnalysisDomain

    Permalink
    Definition Classes
    RootBugPickerAnalysisDomain → PerformInvocations
  129. lazy val calledMethodsStore: CalledMethodsStore { val domain: RootBugPickerAnalysisDomain.this.coordinatingDomain.type }

    Permalink
    Definition Classes
    RootBugPickerAnalysisDomain → PerformInvocationsWithRecursionDetection
  130. def callees(declaringClassType: ObjectType, name: String, descriptor: MethodDescriptor): Set[Method]

    Permalink
    Definition Classes
    Callees
    Annotations
    @inline()
  131. def caload(pc: PC, index: DomainValue, arrayref: DomainValue): ArrayLoadResult

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain
  132. def castore(pc: PC, value: DomainValue, index: DomainValue, arrayref: DomainValue): ArrayStoreResult

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain
  133. def cfgAsGraph(): DefaultMutableNode[Chain[PC]]

    Permalink
    Definition Classes
    RecordCFG
  134. val classFile: ClassFile

    Permalink
  135. implicit final def classHierarchy: ClassHierarchy

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

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

    Permalink
    Definition Classes
    TheMethod → TheCode
  138. def controlDependencies: ControlDependencies

    Permalink
    Definition Classes
    RecordCFG
  139. final val coordinatingDomain: RootBugPickerAnalysisDomain

    Permalink
    Definition Classes
    RootBugPickerAnalysisDomain → PerformInvocationsWithRecursionDetection
  140. def createDefUseGraph(code: Code): Set[DefaultMutableNode[ValueOrigin]]

    Permalink
    Definition Classes
    RecordDefUse
  141. def createLongValueOrArithmeticException(pc: PC, exception: Boolean, results: SortedSet[Long]): LongValueOrArithmeticException

    Permalink
    Attributes
    protected[this]
    Definition Classes
    LongSetValues
  142. final def currentCallChainLength: Int

    Permalink
  143. def d2f(pc: PC, value: DomainValue): DomainValue

    Permalink
    Definition Classes
    TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain
  144. def d2i(pc: PC, value: DomainValue): DomainValue

    Permalink
    Definition Classes
    TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain
  145. def d2l(pc: PC, value: DomainValue): DomainValue

    Permalink
    Definition Classes
    TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain
  146. def dadd(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue

    Permalink
    Definition Classes
    TypeLevelDoubleValues → DoubleValuesDomain
  147. def daload(pc: PC, index: DomainValue, arrayref: DomainValue): ArrayLoadResult

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain
  148. def dastore(pc: PC, value: DomainValue, index: DomainValue, arrayref: DomainValue): ArrayStoreResult

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain
  149. def dcmpg(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue

    Permalink
    Definition Classes
    TypeLevelDoubleValues → DoubleValuesDomain
  150. def dcmpl(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue

    Permalink
    Definition Classes
    TypeLevelDoubleValues → DoubleValuesDomain
  151. def ddiv(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue

    Permalink
    Definition Classes
    TypeLevelDoubleValues → DoubleValuesDomain
  152. val debug: Boolean

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

    Permalink
    Definition Classes
    TypeLevelDoubleValues → DoubleValuesDomain
  154. def dneg(pc: PC, value: DomainValue): DomainValue

    Permalink
    Definition Classes
    TypeLevelDoubleValues → DoubleValuesDomain
  155. def doGetfield(pc: PC, objectref: DomainValue, fieldValue: DomainValue): Computation[DomainValue, ExceptionValue]

    Permalink
    Definition Classes
    TypeLevelFieldAccessInstructions
  156. def doGetstatic(pc: PC, fieldValue: DomainValue): Computation[DomainValue, Nothing]

    Permalink
    Definition Classes
    TypeLevelFieldAccessInstructions
  157. def doInvoke(pc: PC, definingClass: ClassFile, method: Method, operands: Operands, fallback: () ⇒ MethodCallResult): MethodCallResult

    Permalink
    Definition Classes
    BasePerformInvocationBugPickerAnalysisDomain → PerformInvocationsWithRecursionDetection → PerformInvocations
  158. def doInvoke(method: Method, calledMethodDomain: CalledMethodDomain)(parameters: InvocationBugPickerAnalysisDomain.Locals): AIResult { val domain: calledMethodDomain.type }

    Permalink
    Attributes
    protected[this]
    Definition Classes
    BasePerformInvocationBugPickerAnalysisDomain → PerformInvocations
  159. def doInvoke(pc: PC, method: Method, operands: Operands, fallback: () ⇒ MethodCallResult): MethodCallResult

    Permalink
    Attributes
    protected[this]
    Definition Classes
    RefinedTypeLevelInvokeInstructions → MethodCallsDomainWithMethodLockup
  160. def doInvokeNonVirtual(pc: PC, declaringClassType: ObjectType, methodName: String, methodDescriptor: MethodDescriptor, operands: Operands, fallback: () ⇒ MethodCallResult): MethodCallResult

    Permalink
    Attributes
    protected[this]
    Definition Classes
    PerformInvocations
  161. def doInvokeVirtual(pc: PC, declaringClass: ReferenceType, name: String, descriptor: MethodDescriptor, operands: Operands, fallback: () ⇒ MethodCallResult): MethodCallResult

    Permalink
    Definition Classes
    PerformInvocationsWithBasicVirtualMethodCallResolution → PerformInvocations
  162. def doNonVirtualInvoke(pc: PC, declaringClassType: ObjectType, methodName: String, methodDescriptor: MethodDescriptor, operands: Operands, fallback: () ⇒ MethodCallResult): MethodCallResult

    Permalink
    Attributes
    protected[this]
    Definition Classes
    MethodCallsDomainWithMethodLockup
  163. def doVirtualInvoke(pc: PC, declaringClassType: ObjectType, methodName: String, methodDescriptor: 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): ai.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 hasSuccessor(pc: PC, regularSuccessorsOnly: Boolean, p: (PC) ⇒ Boolean): Boolean

    Permalink
    Definition Classes
    RecordCFG
  209. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  210. def i2b(pc: PC, value: DomainValue): DomainValue

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain
  211. def i2c(pc: PC, value: DomainValue): DomainValue

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain
  212. def i2d(pc: PC, value: DomainValue): DomainValue

    Permalink
    Definition Classes
    ConcretePrimitiveValuesConversions → TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain
  213. def i2f(pc: PC, value: DomainValue): DomainValue

    Permalink
    Definition Classes
    ConcretePrimitiveValuesConversions → TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain
  214. def i2l(pc: PC, value: DomainValue): DomainValue

    Permalink
    Definition Classes
    ConcretePrimitiveValuesConversions → TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain
  215. def i2s(pc: PC, value: DomainValue): DomainValue

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain
  216. def iadd(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain
  217. def iaload(pc: PC, index: DomainValue, arrayref: DomainValue): ArrayLoadResult

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain
  218. def iand(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain
  219. def iastore(pc: PC, value: DomainValue, index: DomainValue, arrayref: DomainValue): ArrayStoreResult

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain
  220. def idiv(pc: PC, numerator: DomainValue, denominator: DomainValue): IntegerValueOrArithmeticException

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain
  221. def iinc(pc: PC, value: DomainValue, increment: Int): DomainValue

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain
  222. def imul(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain
  223. def ineg(pc: PC, value: DomainValue): DomainValue

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain
  224. def initProperties(code: Code, cfJoins: BitSet, locals: Locals): Unit

    Permalink
    Definition Classes
    RecordDefUse → RecordCFG → CustomInitialization
  225. def intAreEqual(pc: PC, value1: DomainValue, value2: DomainValue): Answer

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain
  226. def intAreNotEqual(pc: PC, value1: DomainValue, value2: DomainValue): Answer

    Permalink
    Definition Classes
    IntegerValuesDomain
  227. def intEstablishAreEqual(pc: PC, value1: DomainValue, value2: DomainValue, operands: Operands, locals: Locals): (Operands, Locals)

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain
  228. def intEstablishAreNotEqual(pc: PC, value1: DomainValue, value2: DomainValue, operands: Operands, locals: Locals): (Operands, Locals)

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain
  229. def intEstablishIsLessThan(pc: PC, left: DomainValue, right: DomainValue, operands: Operands, locals: Locals): (Operands, Locals)

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain
  230. def intEstablishIsLessThanOrEqualTo(pc: PC, left: DomainValue, right: DomainValue, operands: Operands, locals: Locals): (Operands, Locals)

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain
  231. def intEstablishValue(pc: PC, theValue: Int, value: DomainValue, operands: Operands, locals: Locals): (Operands, Locals)

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain
  232. def intIs0(pc: PC, value: DomainValue): Answer

    Permalink
    Definition Classes
    IntegerValuesDomain
  233. def intIsGreaterThan(pc: PC, largerValue: DomainValue, smallerValue: DomainValue): Answer

    Permalink
    Definition Classes
    IntegerValuesDomain
  234. def intIsGreaterThan0(pc: PC, value: DomainValue): Answer

    Permalink
    Definition Classes
    IntegerValuesDomain
  235. def intIsGreaterThanOrEqualTo(pc: PC, largerOrEqualValue: DomainValue, smallerOrEqualValue: DomainValue): Answer

    Permalink
    Definition Classes
    IntegerValuesDomain
  236. def intIsGreaterThanOrEqualTo0(pc: PC, value: DomainValue): Answer

    Permalink
    Definition Classes
    IntegerValuesDomain
  237. def intIsLessThan(pc: PC, left: DomainValue, right: DomainValue): Answer

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain
  238. def intIsLessThan0(pc: PC, value: DomainValue): Answer

    Permalink
    Definition Classes
    IntegerValuesDomain
  239. def intIsLessThanOrEqualTo(pc: PC, left: DomainValue, right: DomainValue): Answer

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain
  240. def intIsLessThanOrEqualTo0(pc: PC, value: DomainValue): Answer

    Permalink
    Definition Classes
    IntegerValuesDomain
  241. def intIsNot0(pc: PC, value: DomainValue): Answer

    Permalink
    Definition Classes
    IntegerValuesDomain
  242. def intIsSomeValueInRange(pc: PC, value: DomainValue, lowerBound: Int, upperBound: Int): Answer

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain
  243. def intIsSomeValueNotInRange(pc: PC, value: DomainValue, lowerBound: Int, upperBound: Int): Answer

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain
  244. final def intValue[T](value: DomainValue)(f: (Int) ⇒ T)(orElse: ⇒ T): T

    Permalink
    Definition Classes
    IntegerRangeValues → ConcreteIntegerValues
    Annotations
    @inline()
  245. final def intValueOption(value: DomainValue): Option[Int]

    Permalink
    Definition Classes
    IntegerRangeValues → ConcreteIntegerValues
    Annotations
    @inline()
  246. final def intValues[T](value1: DomainValue, value2: DomainValue)(f: (Int, Int) ⇒ T)(orElse: ⇒ T): T

    Permalink
    Attributes
    protected
    Definition Classes
    IntegerRangeValues
    Annotations
    @inline()
  247. def invokedynamic(pc: PC, bootstrapMethod: BootstrapMethod, name: String, methodDescriptor: MethodDescriptor, operands: Operands): MethodCallResult

    Permalink
    Definition Classes
    TypeLevelInvokeInstructions → MethodCallsDomain
  248. def invokeinterface(pc: PC, declaringClass: ObjectType, name: String, descriptor: MethodDescriptor, operands: Operands): MethodCallResult

    Permalink
    Definition Classes
    PerformInvocations → MethodCallsDomain
  249. def invokespecial(pc: PC, declaringClass: ObjectType, name: String, methodDescriptor: MethodDescriptor, operands: Operands): MethodCallResult

    Permalink
    Definition Classes
    StringValues → MethodCallsDomain
  250. def invokestatic(pc: PC, declaringClass: ObjectType, name: String, methodDescriptor: MethodDescriptor, operands: Operands): MethodCallResult

    Permalink
    Definition Classes
    ClassValues → MethodCallsDomain
  251. def invokevirtual(pc: PC, declaringClass: ReferenceType, name: String, descriptor: MethodDescriptor, operands: Operands): MethodCallResult

    Permalink
    Definition Classes
    BasePerformInvocationBugPickerAnalysisDomain → PerformInvocations → MethodCallsDomainWithMethodLockup → TypeLevelInvokeInstructions → MethodCallsDomain
  252. def ior(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain
  253. def irem(pc: PC, left: DomainValue, right: DomainValue): IntegerValueOrArithmeticException

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain
  254. def ireturn(pc: PC, value: DomainValue): Computation[Nothing, ExceptionValue]

    Permalink
    Definition Classes
    RecordCFG → ReturnInstructionsDomain
  255. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  256. def isNull(values: Iterable[AReferenceValue]): Answer

    Permalink
    Attributes
    protected
    Definition Classes
    ReferenceValues
  257. def isPrecise(values: Iterable[AReferenceValue]): Boolean

    Permalink
    Attributes
    protected
    Definition Classes
    ReferenceValues
  258. def isRegularPredecessorOf(pc: PC, successorPC: PC): Boolean

    Permalink
    Definition Classes
    RecordCFG
  259. def isSubtypeOf(subtype: ReferenceType, supertype: ReferenceType): Answer

    Permalink
    Definition Classes
    TheClassHierarchy
  260. final def isValueSubtypeOf(value: DomainValue, supertype: ReferenceType): Answer

    Permalink
    Definition Classes
    TypeLevelReferenceValues → ReferenceValuesDomain
  261. def ishl(pc: PC, value: DomainValue, shift: DomainValue): DomainValue

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain
  262. def ishr(pc: PC, value: DomainValue, shift: DomainValue): DomainValue

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain
  263. def isub(pc: PC, left: DomainValue, right: DomainValue): DomainValue

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain
  264. def iushr(pc: PC, value: DomainValue, shift: DomainValue): DomainValue

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain
  265. def ixor(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain
  266. def join(pc: PC, thisOperands: Operands, thisLocals: Locals, otherOperands: Operands, otherLocals: Locals): Update[(Operands, Locals)]

    Permalink
    Definition Classes
    CoreDomainFunctionality
  267. 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
  268. def joinThrownExceptions(pc: PC, previouslyThrownException: ThrownException, value: ExceptionValue): ThrownException

    Permalink
    Attributes
    protected[this]
    Definition Classes
    RecordAllThrownExceptions → RecordThrownExceptions
  269. def joinValues(pc: PC, left: DomainValue, right: DomainValue): Update[DomainValue]

    Permalink
    Attributes
    protected[this]
    Definition Classes
    JoinStabilization → CoreDomainFunctionality
  270. val joinedValues: Map[IdentityPair[AnyRef, AnyRef], Update[DomainValue]]

    Permalink
    Attributes
    protected[this]
    Definition Classes
    JoinStabilization
  271. def jumpToSubroutine(pc: PC, branchTarget: PC, returnTarget: PC): Unit

    Permalink
    Definition Classes
    RecordCFG → SubroutinesDomain
  272. final def justThrows(value: ExceptionValue): ThrowsException[ExceptionValues]

    Permalink
    Definition Classes
    ReferenceValuesFactory
  273. def l2d(pc: PC, value: DomainValue): DomainValue

    Permalink
    Definition Classes
    ConcretePrimitiveValuesConversions → TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain
  274. def l2f(pc: PC, value: DomainValue): DomainValue

    Permalink
    Definition Classes
    ConcretePrimitiveValuesConversions → TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain
  275. def l2i(pc: PC, value: DomainValue): DomainValue

    Permalink
    Definition Classes
    ConcretePrimitiveValuesConversions → TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain
  276. def ladd(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue

    Permalink
    Definition Classes
    LongSetValues → LongValuesDomain
  277. def laload(pc: PC, index: DomainValue, arrayref: DomainValue): ArrayLoadResult

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain
  278. def land(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue

    Permalink
    Definition Classes
    LongSetValues → LongValuesDomain
  279. def lastore(pc: PC, value: DomainValue, index: DomainValue, arrayref: DomainValue): ArrayStoreResult

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain
  280. def lcmp(pc: PC, left: DomainValue, right: DomainValue): DomainValue

    Permalink
    Definition Classes
    LongSetValues → LongValuesDomain
  281. def ldiv(pc: PC, numerator: DomainValue, denominator: DomainValue): LongValueOrArithmeticException

    Permalink
    Definition Classes
    LongSetValues → LongValuesDomain
  282. def lmul(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue

    Permalink
    Definition Classes
    LongSetValues → LongValuesDomain
  283. def lneg(pc: PC, value: DomainValue): DomainValue

    Permalink
    Definition Classes
    LongSetValues → LongValuesDomain
  284. def localOrigin(pc: PC, registerIndex: Int): ValueOrigins

    Permalink
    Definition Classes
    RecordDefUse
  285. def localsArray: LocalsArray

    Permalink
    Definition Classes
    TheMemoryLayout
  286. implicit final def logContext: LogContext

    Permalink
    Definition Classes
    TheProject → LogContextProvider
  287. final def longValue[T](value: DomainValue)(f: (Long) ⇒ T)(orElse: ⇒ T): T

    Permalink
    Definition Classes
    LongSetValues → ConcreteLongValues
    Annotations
    @inline()
  288. final def longValueOption(value: DomainValue): Option[Long]

    Permalink
    Definition Classes
    LongSetValues → ConcreteLongValues
    Annotations
    @inline()
  289. def lor(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue

    Permalink
    Definition Classes
    LongSetValues → LongValuesDomain
  290. def lrem(pc: PC, left: DomainValue, right: DomainValue): LongValueOrArithmeticException

    Permalink
    Definition Classes
    LongSetValues → LongValuesDomain
  291. def lreturn(pc: PC, value: DomainValue): Computation[Nothing, ExceptionValue]

    Permalink
    Definition Classes
    RecordCFG → ReturnInstructionsDomain
  292. def lshl(pc: PC, value: DomainValue, shift: DomainValue): DomainValue

    Permalink
    Definition Classes
    LongSetValuesShiftOperators → LongValuesDomain
  293. def lshr(pc: PC, value: DomainValue, shift: DomainValue): DomainValue

    Permalink
    Definition Classes
    LongSetValuesShiftOperators → LongValuesDomain
  294. def lsub(pc: PC, left: DomainValue, right: DomainValue): DomainValue

    Permalink
    Definition Classes
    LongSetValues → LongValuesDomain
  295. def lushr(pc: PC, value: DomainValue, shift: DomainValue): DomainValue

    Permalink
    Definition Classes
    LongSetValuesShiftOperators → LongValuesDomain
  296. def lxor(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue

    Permalink
    Definition Classes
    LongSetValues → LongValuesDomain
  297. val maxCallChainLength: Int

    Permalink
  298. val maxCardinalityOfIntegerRanges: Long

    Permalink
    Definition Classes
    RootBugPickerAnalysisDomain → IntegerRangeValues
  299. val maxCardinalityOfLongSets: Int

    Permalink
    Definition Classes
    RootBugPickerAnalysisDomain → LongSetValues
  300. def memoryLayoutBeforeSubroutineCall: Chain[(OperandsArray, LocalsArray)]

    Permalink
    Definition Classes
    TheMemoryLayout
  301. def mergeDEComputations(pc: PC, c1: Computation[DomainValue, ExceptionValue], c2: Computation[DomainValue, ExceptionValue]): Computation[DomainValue, ExceptionValue]

    Permalink
    Attributes
    protected[this]
    Definition Classes
    TypeLevelReferenceValues
  302. def mergeDEsComputations(pc: PC, c1: Computation[DomainValue, ExceptionValues], c2: Computation[DomainValue, ExceptionValues]): Computation[DomainValue, ExceptionValues]

    Permalink
    Attributes
    protected[this]
    Definition Classes
    TypeLevelReferenceValues
  303. def mergeDomainValues(pc: PC, v1: DomainValue, v2: DomainValue): DomainValue

    Permalink
    Definition Classes
    ValuesDomain
  304. def mergeEsComputations(pc: PC, c1: Computation[Nothing, ExceptionValues], c2: Computation[Nothing, ExceptionValues]): Computation[Nothing, ExceptionValues]

    Permalink
    Attributes
    protected[this]
    Definition Classes
    TypeLevelReferenceValues
  305. def mergeMultipleExceptionValues(pc: PC, v1s: ExceptionValues, v2s: ExceptionValues): ExceptionValues

    Permalink
    Definition Classes
    TypeLevelReferenceValues
  306. val method: Method

    Permalink
    Definition Classes
    RootBugPickerAnalysisDomain → TheMethod
  307. val methodReturnValueInformation: MethodReturnValueInformation

    Permalink
    Definition Classes
    RootBugPickerAnalysisDomain → RefinedTypeLevelInvokeInstructions
  308. def monitorenter(pc: PC, value: DomainValue): Computation[Nothing, ExceptionValue]

    Permalink
    Definition Classes
    IgnoreSynchronization → MonitorInstructionsDomain
  309. def monitorexit(pc: PC, value: DomainValue): Computation[Nothing, ExceptionValues]

    Permalink
    Definition Classes
    IgnoreSynchronization → MonitorInstructionsDomain
  310. def multianewarray(pc: PC, counts: Operands, arrayType: ArrayType): Computation[DomainArrayValue, ExceptionValue]

    Permalink
    Definition Classes
    TypeLevelReferenceValues → ReferenceValuesDomain
  311. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  312. def newarray(pc: PC, count: DomainValue, componentType: FieldType): Computation[DomainValue, ExceptionValue]

    Permalink
    Definition Classes
    TypeLevelReferenceValues → ReferenceValuesDomain
  313. def nextT(): Timestamp

    Permalink
    Definition Classes
    ReferenceValues
  314. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  315. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  316. final def nullT: Timestamp

    Permalink
    Definition Classes
    ReferenceValues
  317. def operandOrigin(pc: PC, stackIndex: Int): ValueOrigins

    Permalink
    Definition Classes
    RecordDefUse
  318. def operandsArray: OperandsArray

    Permalink
    Definition Classes
    TheMemoryLayout
  319. def origin(value: DomainValue): Iterable[ValueOrigin]

    Permalink
    Definition Classes
    Origin
  320. def postDominatorTree: DominatorTree

    Permalink
    Definition Classes
    RecordCFG
  321. def postDominatorTreeFactory: DominatorTreeFactory

    Permalink
    Definition Classes
    RecordCFG
  322. def predecessorsOf(pc: PC): ai.PCs

    Permalink
    Definition Classes
    RecordCFG
  323. val project: Project[URL]

    Permalink
    Definition Classes
    RootBugPickerAnalysisDomain → Callees → TheProject
  324. def properties(pc: Int, propertyToString: (AnyRef) ⇒ String): Option[String]

    Permalink
    Definition Classes
    RecordDefUse → ValuesDomain
  325. final lazy val propertyStore: PropertyStore

    Permalink
    Definition Classes
    TheProject → ThePropertyStore
  326. def putfield(pc: PC, objectref: DomainValue, value: DomainValue, declaringClass: ObjectType, fieldName: String, fieldType: FieldType): Computation[Nothing, ExceptionValue]

    Permalink
    Definition Classes
    TypeLevelFieldAccessInstructions → FieldAccessesDomain
  327. def putstatic(pc: PC, value: DomainValue, declaringClass: ObjectType, fieldName: String, fieldType: FieldType): Computation[Nothing, Nothing]

    Permalink
    Definition Classes
    TypeLevelFieldAccessInstructions → FieldAccessesDomain
  328. def recordThrownException(pc: PC, value: ExceptionValue): ThrownException

    Permalink
    Attributes
    protected[this]
    Definition Classes
    RecordAllThrownExceptions → RecordThrownExceptions
  329. def refAreEqual(pc: PC, v1: DomainValue, v2: DomainValue): Answer

    Permalink
    Definition Classes
    ReferenceValues → TypeLevelReferenceValues → ReferenceValuesDomain
  330. def refAreNotEqual(pc: PC, value1: DomainValue, value2: DomainValue): Answer

    Permalink
    Definition Classes
    ReferenceValuesDomain
  331. def refEstablishAreEqual(pc: PC, value1: DomainValue, value2: DomainValue, operands: Operands, locals: Locals): (Operands, Locals)

    Permalink
    Definition Classes
    ReferenceValuesDomain
  332. def refEstablishAreNotEqual(pc: PC, value1: DomainValue, value2: DomainValue, operands: Operands, locals: Locals): (Operands, Locals)

    Permalink
    Definition Classes
    ReferenceValuesDomain
  333. def refEstablishIsNonNull(pc: PC, value: DomainValue, operands: Operands, locals: Locals): (Operands, Locals)

    Permalink
    Definition Classes
    ReferenceValues → ReferenceValuesDomain
  334. def refEstablishIsNull(pc: PC, value: DomainValue, operands: Operands, locals: Locals): (Operands, Locals)

    Permalink
    Definition Classes
    ReferenceValues → ReferenceValuesDomain
  335. def refIsNonNull(pc: PC, value: DomainValue): Answer

    Permalink
    Definition Classes
    ReferenceValuesDomain
  336. final def refIsNull(pc: PC, value: DomainValue): Answer

    Permalink
    Definition Classes
    TypeLevelReferenceValues → ReferenceValuesDomain
  337. def refSetUpperTypeBoundOfTopOperand(pc: PC, bound: ReferenceType, operands: Operands, locals: Locals): (Operands, Locals)

    Permalink
    Definition Classes
    ReferenceValues → TypeLevelReferenceValues → ReferenceValuesDomain
  338. def refTopOperandIsNull(pc: PC, operands: Operands, locals: Locals): (Operands, Locals)

    Permalink
    Definition Classes
    ReferenceValues → TypeLevelReferenceValues → ReferenceValuesDomain
  339. def refineIsNull(pc: PC, value: DomainValue, isNull: Answer, operands: Operands, locals: Locals): (Operands, Locals)

    Permalink
    Attributes
    protected[this]
    Definition Classes
    ReferenceValues
  340. def regularSuccessorsOf(pc: PC): ai.PCs

    Permalink
    Definition Classes
    RecordCFG
  341. def returnFromSubroutine(pc: PC, lvIndex: Int): Unit

    Permalink
    Definition Classes
    SubroutinesDomain
  342. def returnVoid(pc: PC): Computation[Nothing, ExceptionValue]

    Permalink
    Definition Classes
    RecordCFG → ReturnInstructionsDomain
  343. def saload(pc: PC, index: DomainValue, arrayref: DomainValue): ArrayLoadResult

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain
  344. def sastore(pc: PC, value: DomainValue, index: DomainValue, arrayref: DomainValue): ArrayStoreResult

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain
  345. def schedule(successorPC: PC, abruptSubroutineTerminationCount: Int, worklist: Chain[PC]): Chain[PC]

    Permalink
    Attributes
    protected[this]
    Definition Classes
    CoreDomainFunctionality
  346. def shouldInvocationBePerformed(definingClass: ClassFile, calledMethod: Method): Boolean

    Permalink
    Definition Classes
    BasePerformInvocationBugPickerAnalysisDomain → PerformInvocations
  347. def sideEffectOnlyOrExceptions(pc: PC, value: DomainValue): Computation[Nothing, ExceptionValue]

    Permalink
    Attributes
    protected[this]
    Definition Classes
    IgnoreSynchronization
  348. def simpleClassForNameCall(pc: PC, className: String): MethodCallResult

    Permalink
    Attributes
    protected[org.opalj.ai.domain.l1]
    Definition Classes
    ClassValues
  349. def subroutinesLocalsArray: LocalsArray

    Permalink
    Definition Classes
    TheMemoryLayout
  350. def subroutinesOperandsArray: OperandsArray

    Permalink
    Definition Classes
    TheMemoryLayout
  351. final def successorsOf(pc: PC, regularSuccessorOnly: Boolean): ai.PCs

    Permalink
    Definition Classes
    RecordCFG
  352. def summarize(pc: PC, values: Iterable[DomainValue]): DomainValue

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

    Permalink
    Definition Classes
    AnyRef
  354. def testAndDoInvoke(pc: PC, definingClass: ClassFile, method: Method, operands: Operands, fallback: () ⇒ MethodCallResult): MethodCallResult

    Permalink
    Attributes
    protected[this]
    Definition Classes
    PerformInvocations
  355. def throwArithmeticExceptions: Boolean

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration
  356. def throwArrayIndexOutOfBoundsException: Boolean

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration
  357. def throwArrayStoreException: Boolean

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration
  358. def throwClassCastException: Boolean

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration
  359. def throwClassNotFoundException: Boolean

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration
  360. def throwExceptionsOnMethodCall: ExceptionsRaisedByCalledMethod

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration
  361. def throwIllegalMonitorStateException: Boolean

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration
  362. def throwNegativeArraySizeException: Boolean

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration
  363. def throwNullPointerExceptionOnArrayAccess: Boolean

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration
  364. def throwNullPointerExceptionOnFieldAccess: Boolean

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration
  365. def throwNullPointerExceptionOnMethodCall: Boolean

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration
  366. def throwNullPointerExceptionOnMonitorAccess: Boolean

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration
  367. def throwNullPointerExceptionOnThrow: Boolean

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration
  368. final def throws(value: ExceptionValue): ThrowsException[ExceptionValue]

    Permalink
    Definition Classes
    ReferenceValuesFactory
  369. def toDomainValue(pc: PC, value: AnyRef): DomainReferenceValue

    Permalink
    Definition Classes
    StringValues → DefaultJavaObjectToDomainValueConversion → AsDomainValue
  370. def toJavaObject(pc: PC, value: DomainValue): Option[AnyRef]

    Permalink
    Definition Classes
    StringValues → ReferenceValues → TypeLevelReferenceValues → AsJavaObject
  371. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  372. def tracer: Option[AITracer]

    Permalink
    Definition Classes
    TheAI
  373. 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
  374. def typeOfValue(value: DomainValue): TypeInformation

    Permalink
    Definition Classes
    ValuesDomain
  375. def unused(): ValueOrigins

    Permalink
    Definition Classes
    RecordDefUse
  376. def updateAfterEvaluation(oldValue: DomainValue, newValue: DomainValue): Unit

    Permalink
    Attributes
    protected
    Definition Classes
    PostEvaluationMemoryManagement
  377. def updateAfterException(oldValue: DomainValue, newValue: DomainValue): Unit

    Permalink
    Attributes
    protected
    Definition Classes
    PostEvaluationMemoryManagement
  378. def updateAfterExecution(oldValue: DomainValue, newValueAfterEvaluation: DomainValue, newValueAfterException: DomainValue): Unit

    Permalink
    Attributes
    protected
    Definition Classes
    PostEvaluationMemoryManagement
  379. def updateMemoryLayout(oldValue: DomainValue, newValue: DomainValue, operands: Operands, locals: Locals): (Operands, Locals)

    Permalink
    Definition Classes
    CoreDomainFunctionality
  380. def upperTypeBound(theValues: SortedSet[DomainSingleOriginReferenceValue]): UpperTypeBound

    Permalink
    Definition Classes
    ReferenceValues
  381. def useExceptionsThrownByCalledMethod: Boolean

    Permalink
    Definition Classes
    PerformInvocations
  382. def usedBy(valueOrigin: ValueOrigin): ValueOrigins

    Permalink
    Definition Classes
    RecordDefUse
  383. final def wait(): Unit

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

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  386. final def wasExecuted(pc: PC): Boolean

    Permalink
    Definition Classes
    RecordCFG
  387. 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 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 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