la

Type Members

1. class DefaultDomain extends CorrelationalDomain with DefaultDomainValueBinding with ThrowAllPotentialExceptionsConfiguration with DefaultTypeLevelFloatValues with DefaultTypeLevelDoubleValues with RefinedTypeLevelFieldAccessInstructions with TypeLevelInvokeInstructions with RefinedTypeLevelInvokeInstructions with DefaultClassValuesBinding with NullPropertyRefinement with DefaultIntegerRangeValues with MaxArrayLengthRefinement with DefaultLongSetValues with LongSetValuesShiftOperators with ConcretePrimitiveValuesConversions with DefaultHandlingOfMethodResults with IgnoreSynchronization with TheProject with TheMethod with RecordCFG with l1.RecordAllThrownExceptions

   

   A default configuration of a Domain that uses - in particular - the domains implemented in package la.

   A default configuration of a Domain that uses - in particular - the domains implemented in package la.

   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.

2. trait PerformInvocationsWithBasicVirtualMethodCallResolution extends PerformInvocations with Callees

   

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

3. trait RefinedTypeLevelFieldAccessInstructions extends TypeLevelFieldAccessInstructions

   

   Queries the project information to identify fields with refined field type information.

4. trait RefinedTypeLevelInvokeInstructions extends MethodCallsDomainWithMethodLockup