l2

Type Members

1. trait CalledMethodsStore extends AnyRef

   

   Stores information about how methods were called.

   Stores information about how methods were called.

   Thread Safety

   "CalledMethodsStore" are immutable.

2. class ChildDefaultDomain[Source] extends SharedDefaultDomain[Source] with ChildPerformInvocationsWithRecursionDetection with DefaultRecordMethodCallResults

   

3. trait ChildPerformInvocationsWithRecursionDetection extends PerformInvocationsWithRecursionDetection

   

4. class CoordinatingValuesDomain[Source] extends ValuesCoordinatingDomain with SharedValuesDomain[Source]

   

   A basic Domain that is used to identify recursive calls.

5. class DefaultDomain[Source] extends SharedDefaultDomain[Source] with PerformInvocationsWithRecursionDetection with RecordCFG with TheMemoryLayout

   

6. class DefaultPerformInvocationsDomain[Source] extends SharedDefaultDomain[Source] with PerformInvocations

   

   Performs a simple invocation of the immediately called methods.

7. class DefaultPerformInvocationsDomainWithCFG[Source] extends DefaultPerformInvocationsDomain[Source] with RecordCFG

   

8. trait PerformInvocations extends MethodCallsHandling

   

   Mix in this trait if methods that are called by invokeXYZ instructions should actually be interpreted using a custom domain.

9. trait PerformInvocationsWithRecursionDetection extends PerformInvocations with TheMemoryLayout

   

   Enables to perform invocations.

   Enables to perform invocations.

   Example

   (PerformInvocationsWithRecursionDetection is in particular used by BugPicker's domain.)

10. class SharedDefaultDomain[Source] extends TheMethod with ThrowAllPotentialExceptionsConfiguration with DefaultHandlingOfMethodResults with IgnoreSynchronization with TypeLevelFieldAccessInstructions with TypeLevelInvokeInstructions with SpecialMethodsHandling with SharedValuesDomain[Source] with MaxArrayLengthRefinement with NullPropertyRefinement with LongValuesShiftOperators with ConcretePrimitiveValuesConversions

    

    The domain that is used to perform the abstract interpretations.

    The domain that is used to perform the abstract interpretations.

    This domain uses the l1 and l2 level stable domains.

    Note

    This domain is intended to be used for demo purposes only. Tests should create their own domains to make sure that the test results remain stable. The configuration of this domain just reflects a reasonable configuration that may change without further notice.

11. trait SharedValuesDomain[Source] extends CorrelationalDomain with DefaultDomainValueBinding with TheProject with DefaultTypeLevelFloatValues with DefaultTypeLevelDoubleValues with DefaultClassValuesBinding with DefaultIntegerRangeValues with DefaultLongValues

    

    A common that defines a common reference frame for all subsequent domains.