analyses

Value Members

1. object AnonymousInnerClassShouldBeStatic

   

   This analysis reports anonymous inner classes that do not use their reference to the parent class and as such could be made static in order to save some memory and to improve overall comprehension.

   This analysis reports anonymous inner classes that do not use their reference to the parent class and as such could be made static in order to save some memory and to improve overall comprehension.

   Since anonymous inner classes cannot be declared static, they must be refactored to named inner classes first.

2. final val AssertionError: ObjectType

   

3. object BugPickerAnalysis

   

   Common constants and helper methods related to the configuration of the BugPicker and generating reports.

4. object CollectionsUsage

   

   Identifies cases where the collections API is not used as intended.

5. object CovariantEquals

   

   This analysis reports classes that have some equals() method(s), but not equals(Object).

   This analysis reports classes that have some equals() method(s), but not equals(Object). This is bad practice and can lead to unexpected behavior, because without an equals(Object) method, Object.equals(Object) is not properly overridden. However, the relevance is determined by the presence of a hashCode method.

6. object DeadEdgesAnalysis

   

   Identifies dead edges in code.

7. object GuardedAndUnguardedAccessAnalysis

   

   Identifies accesses to local reference variables that are once done in a guarded context (w.r.t.

   Identifies accesses to local reference variables that are once done in a guarded context (w.r.t. its nullness property; guarded by an if instruction) and that are also done in an unguarded context.

   This is only a very shallow analysis that is subject to false positives; to filter potential false positives we filter all those issues where we can identify a control and data-dependency to a derived value. E.g.,

   def printSize(f : File) : Unit = {
    val name = if(f eq null) null else f.getName
    if(name == null) throw new NullPointerException;
    // here... f is not null; because if f is null at the beginning, name would be null to
    // and the method call would have returned abnormally (raised a NullPointerException).
    println(f.size)
   }

8. object ManualGarbageCollection

   

   This analysis reports calls to java.lang.System/Runtime.gc() that seem to be made manually in code outside the core of the JRE.

   This analysis reports calls to java.lang.System/Runtime.gc() that seem to be made manually in code outside the core of the JRE.

   Manual invocations of garbage collection are usually unnecessary and can lead to performance problems. This heuristic tries to detect such cases.

9. final val ObjectEqualsMethodDescriptor: MethodDescriptor

   

10. final val ObjectHashCodeMethodDescriptor: MethodDescriptor

    

11. object ThrowsExceptionAnalysis

    

    This analysis identifies those instructions (except of ATHROW) that always lead to an exception.

12. object UnusedFields

    

    Identifies fields (static or instance) that are not used and which are also not useable.

13. object UnusedLocalVariables

    

    Identifies unused local variables in non-synthetic methods.

14. object UnusedMethodsAnalysis

    

    Identifies unused methods and constructors using the given call graph.

15. object UselessComputationsAnalysis

    

    Identifies computations that are useless (i.e., computations that could be done in the source code.)

16. object UselessReComputationsAnalysis

    

    Identifies computations of primitive values that lead to the same result as a previous computation.

    Identifies computations of primitive values that lead to the same result as a previous computation. Such computations (which could be a constant expression) are generally useless and hinder code comprehension.