|
Class Summary |
| Analyze |
|
| AnyMethodReturnValueStreamFactory |
Factory for stream objects of a particular
base class type returned by any method. |
| BadAppletConstructor |
|
| BadCastWarningProperty |
Warning property for bad cast warnings. |
| BadlyOverriddenAdapter |
|
| BadResultSetAccess |
|
| BadSyntaxForRegularExpression |
|
| BadUseOfReturnValue |
|
| BCPMethodReturnCheck |
This detector looks for places where the return value of a method
is suspiciously ignored. |
| BuildCheckReturnAnnotationDatabase |
Scan application classes for
CheckReturnValue annotations. |
| BuildNonNullAnnotationDatabase |
Scan application classes for
NonNull annotations. |
| BuildUnconditionalParamDerefDatabase |
Build database of unconditionally dereferenced parameters. |
| CheckCalls |
This is just for debugging method call resolution. |
| CloneIdiom |
|
| ComparatorIdiom |
|
| ConfusedInheritance |
|
| ConfusionBetweenInheritedAndOuterMethod |
|
| DeadLocalStoreProperty |
Warning property for FindDeadLocalStores. |
| DoInsideDoPriviledged |
|
| DontCatchIllegalMonitorStateException |
|
| DroppedException |
|
| DumbMethodInvocations |
|
| DumbMethods |
|
| DuplicateBranches |
|
| EmptyZipFileEntry |
|
| EqStringTest |
|
| FindBadCast |
|
| FindBadCast2 |
|
| FindBadEqualsImplementation |
Find equals(Object) methods that unconditionally dereference the parameter,
rather than returning false if it's null. |
| FindBadForLoop |
|
| FindBugsSummaryStats |
|
| FindCircularDependencies |
|
| FindDeadLocalStores |
Find dead stores to local variables. |
| FindDoubleCheck |
|
| FindEmptySynchronizedBlock |
|
| FindFieldSelfAssignment |
|
| FindFinalizeInvocations |
|
| FindFloatEquality |
|
| FindFloatMath |
|
| FindHEmismatch |
|
| FindInconsistentSync2 |
Find instance fields which are sometimes accessed (read or written)
with the receiver lock held and sometimes without. |
| FindJSR166LockMonitorenter |
Find places where ordinary (balanced) synchronization is performed
on JSR166 Lock objects. |
| FindLocalSelfAssignment2 |
|
| FindMaskedFields |
|
| FindMismatchedWaitOrNotify |
|
| FindNakedNotify |
|
| FindNonSerializableStoreIntoSession |
|
| FindNonSerializableValuePassedToWriteObject |
|
| FindNonShortCircuit |
|
| FindNullDeref |
A Detector to find instructions where a NullPointerException
might be raised. |
| FindOpenStream |
A Detector to look for streams that are opened in a method,
do not escape the method, and are not closed on all paths
out of the method. |
| FindPuzzlers |
|
| FindRefComparison |
Find suspicious reference comparisons. |
| FindReturnRef |
|
| FindRunInvocations |
|
| FindSleepWithLockHeld |
Find calls to Thread.sleep() made with a lock held. |
| FindSpinLoop |
|
| FindSqlInjection |
Find potential SQL injection vulnerabilities. |
| FindTwoLockWait |
|
| FindUncalledPrivateMethods |
Detector to find private methods that are never called. |
| FindUnconditionalWait |
|
| FindUninitializedGet |
|
| FindUnreleasedLock |
|
| FindUnsatisfiedObligation |
Find unsatisfied obligations in Java methods. |
| FindUnsyncGet |
|
| FindUselessControlFlow |
A Detector to look for useless control flow. |
| IDivResultCastToDouble |
|
| IncompatMask |
Find comparisons involving values computed with bitwise
operations whose outcomes are fixed at compile time. |
| InconsistentSyncWarningProperty |
Warning properties for inconsistent synchronization detector. |
| InefficientMemberAccess |
|
| InefficientToArray |
Find occurrences of collection.toArray( new Foo[0] );
This causes another memory allocation through reflection
Much better to do collection.toArray( new Foo[collection.size()] ); |
| InfiniteLoop |
|
| InfiniteRecursiveLoop |
|
| InfiniteRecursiveLoop2 |
Signal an infinite loop if either:
we see a call to the same method with the same parameters, or
we see a call to the same (dynamically dispatched method), and there
has been no transfer of control. |
| InheritanceUnsafeGetResource |
|
| InitializationChain |
|
| InstanceFieldLoadStreamFactory |
StreamFactory for stream objects loaded from instance fields. |
| InstantiateStaticClass |
|
| InvalidJUnitTest |
|
| IOStreamFactory |
A StreamFactory for normal java.io streams that
are created using NEW instructions. |
| IteratorIdioms |
|
| LazyInit |
|
| LoadOfKnownNullValue |
|
| LockedFields |
|
| MethodReturnCheck |
Look for calls to methods where the return value is
erroneously ignored. |
| MethodReturnValueStreamFactory |
StreamFactory for streams that are created as the result
of calling a method on an object. |
| Methods |
|
| MultithreadedInstanceAccess |
|
| MutableLock |
|
| MutableStaticFields |
|
| Naming |
|
| NonNullReturnProperty |
|
| NoteCheckReturnValue |
|
| NoteCheckReturnValueAnnotations |
Scan classes for @CheckReturnValue annotations |
| NoteNonNullAnnotations |
Scan classes for @NonNull, @PossiblyNull and @CheckForNull annotations,
and convey them to FindNullDeref. |
| NoteSuppressedWarnings |
|
| NoteUnconditionalParamDerefs |
As a first scanning pass, make a note of unconditionally dereferenced
parameters for later use by FindNullDerefs. |
| NullArgumentWarningProperty |
Warning property for a null argument being passed to a
method which might dereference it. |
| NullDerefProperty |
Warning properties for null pointer dereference and redundant null
comparison warnings. |
| PreferZeroLengthArrays |
|
| PublicSemaphores |
finds public classes that use 'this' as a semaphore, which can cause conflicts if clients of this
class use an instance of this class as their own synchronization point. |
| QuestionableBooleanAssignment |
|
| ReadReturnShouldBeChecked |
|
| RedundantInterfaces |
|
| RefComparisonWarningProperty |
Warning properties for FindRefComparison detector. |
| ResolveAllReferences |
|
| RuntimeExceptionCapture |
RuntimeExceptionCapture |
| SerializableIdiom |
|
| StartInConstructor |
|
| StaticFieldLoadStreamFactory |
Stream factory for streams created by loading a value
from a static field. |
| Stream |
A Stream object marks the location in the code where a
stream is created. |
| StreamEquivalenceClass |
Set of streams that are in an equivalence class. |
| StreamEscape |
A StreamEscape is an object representing the escape of a Stream
to a called method. |
| StreamFrameModelingVisitor |
A visitor to model the effect of instructions on the status
of the resource (in this case, Streams). |
| StreamResourceTracker |
Resource tracker which determines where streams are created,
and how they are used within the method. |
| StringConcatenation |
Find occurrences of using the String "+" or "+=" operators
within a loop. |
| SuperfluousInstanceOf |
Find occurrences of a instanceof b where it can be determined
statically whether this is true or false. |
| SuspiciousThreadInterrupted |
looks for calls to Thread.interrupted from a non static context, especially when that context is
not 'currentThread()'. |
| SwitchFallthrough |
|
| TestingGround |
|
| TrainFieldStoreTypes |
Build a database of reference types stored into fields. |
| TrainNonNullAnnotations |
Training detector to
store NonNull, PossiblyNull and CheckForNull annotations to database files. |
| TrainUnconditionalDerefParams |
Training pass to find method parameters which are
unconditionally dereferenced. |
| UnnecessaryMath |
Find occurrences of Math using constants, where the result of the
calculation can be determined statically. |
| UnreadFields |
|
| UselessSubclassMethod |
|
| UseObjectEquals |
|
| VarArgsProblems |
|
| VolatileUsage |
|
| WaitInLoop |
|
| WrongMapIterator |
|
| XMLFactoryBypass |
|