class |
BuildInterproceduralCallGraph |
Build the interprocedural call graph.
|
class |
BuildObligationPolicyDatabase |
Build the ObligationPolicyDatabase used by ObligationAnalysis.
|
class |
BuildStringPassthruGraph |
Builds the database of string parameters passed from method to method unchanged.
|
class |
CalledMethods |
Detector to find private methods that are never called.
|
class |
CheckCalls |
This is just for debugging method call resolution.
|
class |
CheckExpectedWarnings |
Check uses of the ExpectWarning and NoWarning annotations.
|
class |
EqualsOperandShouldHaveClassCompatibleWithThis |
|
class |
ExplicitSerialization |
|
class |
FieldItemSummary |
|
class |
FindBugsSummaryStats |
|
class |
FindNoSideEffectMethods |
|
class |
FunctionsThatMightBeMistakenForProcedures |
|
class |
Methods |
|
class |
NoteAnnotationRetention |
|
class |
NoteCheckReturnValueAnnotations |
Scan classes for @CheckReturnValue annotations
|
class |
NoteDirectlyRelevantTypeQualifiers |
Scan methods for directly-relevant type qualifiers, building the
DirectlyRelevantTypeQualifiersDatabase.
|
class |
NoteJCIPAnnotation |
|
class |
NoteNonNullAnnotations |
Deprecated.
|
class |
NoteNonnullReturnValues |
As a first scanning pass, make a note of unconditionally dereferenced
parameters for later use by FindNullDerefs.
|
class |
NoteSuppressedWarnings |
|
class |
NoteUnconditionalParamDerefs |
Make a note of unconditionally dereferenced parameters for later use by
FindNullDerefs.
|
class |
OverridingEqualsNotSymmetrical |
|
class |
ReflectiveClasses |
Detector to find private methods that are never called.
|
class |
TestDataflowAnalysis<Fact,AnalysisType extends DataflowAnalysis<Fact>> |
This detector is just a test harness to test a dataflow analysis class
specified by the dataflow.classname property.
|