All Classes Interface Summary Class Summary Enum Summary Exception Summary Error Summary Annotation Types Summary
Class |
Description |
AbstractBlockOrder |
Abstract base class for BlockOrder variants.
|
AbstractBugReporter |
An abstract class which provides much of the functionality required of all
BugReporter objects.
|
AbstractBugReporter.Error |
|
AbstractClassMember |
|
AbstractDataflow<Fact,AnalysisType extends BasicAbstractDataflowAnalysis<Fact>> |
Convenience class for defining Dataflow classes which use a
BasicAbstractDataflowAnalysis subtype.
|
AbstractDataflowAnalysis<Fact> |
Abstract base class providing functionality that will be useful for most
dataflow analysis implementations that model instructions within basic
blocks.
|
AbstractDepthFirstSearch<GraphType extends Graph<EdgeType,VertexType>,EdgeType extends GraphEdge<EdgeType,VertexType>,VertexType extends GraphVertex<VertexType>> |
Perform a depth first search on a graph.
|
AbstractDominatorsAnalysis |
A dataflow analysis to compute dominator relationships between basic blocks.
|
AbstractEdge<ActualEdgeType extends AbstractEdge<ActualEdgeType,VertexType>,VertexType extends AbstractVertex<ActualEdgeType,VertexType>> |
GraphEdge implementation for use with AbstractGraph.
|
AbstractFBMethodVisitor |
|
AbstractField |
|
AbstractFieldAnnotationVisitor |
|
AbstractFrameModelingVisitor<Value,FrameType extends Frame<Value>> |
A common base class for frame modeling visitors.
|
AbstractGraph<EdgeType extends AbstractEdge<EdgeType,VertexType>,VertexType extends AbstractVertex<EdgeType,VertexType>> |
A simple Graph implementation where the vertex objects store a list of
incoming and outgoing edges.
|
AbstractMethod |
|
AbstractMethodAnnotationAccumulator |
Accumulate type qualifier annotations on method, taking supertype methods
into account.
|
AbstractMethodVisitor |
|
AbstractScannableCodeBase |
Abstract base class for implementations of IScannableCodeBase.
|
AbstractScannableCodeBaseEntry |
|
AbstractVertex<EdgeType extends AbstractEdge<EdgeType,ActualVertexType>,ActualVertexType extends AbstractVertex<EdgeType,ActualVertexType>> |
GraphVertex implementation for use with AbstractGraph.
|
AbstractWarningProperty |
Abstract base class for implementing warning properties.
|
AccessibleEntity |
Common superinterface for code entities having access flags: classes, fields,
and methods.
|
AddMessages |
Add human-readable messages to a dom4j tree containing FindBugs XML output.
|
Analysis |
Find relevant type qualifiers needing to be checked for a given method.
|
AnalysisCache |
Implementation of IAnalysisCache.
|
AnalysisCacheToRepositoryAdapter |
An implementation of org.apache.bcel.util.Repository that uses the
AnalysisCache as its backing store.
|
AnalysisContext |
A context for analysis of a complete project.
|
AnalysisContextContained |
Any class or package annotation with this annotation must avoid using mutable static data,
and instead use the AnalysisContext for any cross-instance data.
|
AnalysisError |
Object recording a recoverable error that occurred during analysis.
|
AnalysisException |
A kind of runtime exception that can be thrown to indicate a fatal error in
an analysis.
|
AnalysisFactory<Analysis> |
Abstract factory class for creating analysis objects.
|
AnalysisFeatures |
Boolean analysis properties for use in the AnalysisContext.
|
AnalysisFeatures.AnalysisFeature |
|
AnalysisFeatures.Builder |
|
AnalysisFeatureSetting |
Configure a specific boolean analysis property.
|
AnalysisLocal<T> |
Deprecated.
|
AnalysisOptions |
|
AnalysisPass |
An analysis pass in the overall ExecutionPlan.
|
Analyze |
|
AndMatcher |
|
AnnotatedObject |
|
AnnotationDatabase<AnnotationEnum extends AnnotationEnumeration<AnnotationEnum>> |
Database to keep track of annotated fields/methods/classes/etc.
|
AnnotationDatabase.Target |
|
AnnotationDetector |
Base class for Detectors which want to perform a preorder traversal of the
classfile including visiting Annotations.
|
AnnotationEnumeration<E extends AnnotationEnumeration<E>> |
|
AnnotationRetentionDatabase |
|
AnnotationValue |
The "raw" version of an annotation appearing in a class file.
|
AnnotationVisitor |
Subclass of PreorderVisitor that visits annotations on classes, fields,
methods, and method parameters.
|
AnyMethodReturnValueStreamFactory |
Factory for stream objects of a particular base class type returned by any
method.
|
AnyTypeMatcher |
A TypeMatcher that matches all types.
|
AppendingToAnObjectOutputStream |
|
AppVersion |
A version of an analyzed application.
|
Archive |
Utility methods for working with zip/jar archives.
|
AssertionMethods |
Mark methodref constant pool entries of methods that are likely to implement
assertions.
|
AssertionMethodsFactory |
Class analysis engine for creating AssertionMethods objects.
|
AssignedFieldMap |
|
AssignedFieldMapFactory |
Analysis engine for producing an AssignedFieldMap for a class.
|
AtomicityProblem |
if we get from a ConcurrentHashMap and assign to a variable...
|
AvailableLoad |
An AvailableLoad indicates a field and (optionally) object reference for
which a value is available.
|
AWTEventQueueExecutor |
|
BackwardDataflowAnalysis<Fact> |
Abstract base class for backward dataflow analyses.
|
BackwardTypeQualifierDataflow |
Dataflow class for BackwardTypeQualifierDataflowAnalysis.
|
BackwardTypeQualifierDataflowAnalysis |
Backwards type qualifier dataflow analysis.
|
BackwardTypeQualifierDataflowFactory |
Factory for BackwardTypeQualifierDataflow objects for given type qualifier
values.
|
BackwardTypeQualifierDataflowFactoryFactory |
Factory to create BackwardTypeQualifierDataflowFactory objects.
|
BadAppletConstructor |
|
BadlyOverriddenAdapter |
|
BadResultSetAccess |
|
BadSyntaxForRegularExpression |
|
BadUseOfReturnValue |
|
Bag<E> |
Simple implementation of a Bag
|
BasicAbstractDataflowAnalysis<Fact> |
A useful starting point for defining a dataflow analysis.
|
BasicBlock |
Simple basic block abstraction for BCEL.
|
BCELUtil |
Utility methods for detectors and analyses using BCEL.
|
BetterCFGBuilder2 |
A CFGBuilder that really tries to construct accurate control flow graphs.
|
BetterVisitor |
Fixedup of from org.apache.bcel.classfile.Visitor
|
Binding |
A Binding binds a name to a Variable.
|
BindingSet |
A set of Bindings, which are definitions of variables occurring in a
ByteCodePattern.
|
BlockOrder |
Specify an order for visiting basic blocks.
|
BlockType |
Dataflow value representing the current nesting of catch and finally blocks.
|
BlockTypeAnalysis |
Dataflow analysis to determine the nesting of catch and finally blocks within
a method.
|
BlockTypeAnalysisFactory |
Analysis engine for producing BlockTypeDataflow for an analyzed method.
|
BlockTypeDataflow |
|
BooleanReturnNull |
|
BottomType |
Special "bottom" type.
|
BugAccumulator |
Accumulate warnings that may occur at multiple source locations,
consolidating them into a single warning.
|
BugAnnotation |
An object providing context information about a particular BugInstance.
|
BugAnnotationUtil |
Utility methods for BugAnnotation classes.
|
BugAnnotationVisitor |
|
BugAnnotationWithSourceLines |
|
BugCategory |
A BugCategory object collects all of the metadata for a category of bugs.
|
BugCode |
A BugCode is an abbreviation that is shared among some number of BugPatterns.
|
BugCollection |
|
BugCollectionBugReporter |
|
BugInstance |
An instance of a bug pattern.
|
BugInstance.NoSuchBugPattern |
|
BugMatcher |
Match bug instances having one of given codes or patterns.
|
BugPattern |
A BugPattern object collects all of the metadata for a particular species of
BugInstance.
|
BugProperty |
Name/value metadata pair that may be attached to a BugInstance.
|
BugRankCategory |
Smaller value is scarier
|
BugRanker |
Bug rankers are used to compute a bug rank for each bug instance.
|
BugReporter |
Generic interface for bug reporter objects.
|
BugReporterDecorator |
Abstract base class for bug reporters defined as plugins.
|
BugReporterObserver |
Observer to determine when a BugReporter reports a bug.
|
BuildCheckReturnAnnotationDatabase |
Scan application classes for CheckReturnValue annotations.
|
BuildInterproceduralCallGraph |
Build the interprocedural call graph.
|
BuildNonNullAnnotationDatabase |
Deprecated.
|
BuildNonnullReturnDatabase |
Build database of methods that return values guaranteed to be nonnull
|
BuildObligationPolicyDatabase |
Build the ObligationPolicyDatabase used by ObligationAnalysis.
|
BuildStringPassthruGraph |
Builds the database of string parameters passed from method to method unchanged.
|
BuildStringPassthruGraph.MethodParameter |
|
BuildStringPassthruGraph.StringPassthruDatabase |
|
BuildUnconditionalParamDerefDatabase |
Build database of unconditionally dereferenced parameters.
|
ByInterfaceDetectorFactorySelector |
DetectorFactorySelector implementation that chooses detectors based on an
implemented interface or extended superclass.
|
ByteCodePattern |
A ByteCodePattern is a pattern matching a sequence of bytecode instructions.
|
ByteCodePatternDetector |
A base class for bug detectors that are based on a ByteCodePattern.
|
ByteCodePatternMatch |
|
BytecodeScanner |
Scan the raw bytecodes of a method.
|
BytecodeScanner.Callback |
Callback interface to report scanned instructions.
|
BytecodeScanningDetector |
Base class for Detectors which want to extend DismantleBytecode.
|
Call |
|
CalledMethods |
Detector to find private methods that are never called.
|
CallGraph |
|
CallGraphEdge |
|
CallGraphNode |
|
CallList |
|
CallListAnalysis |
|
CallListDataflow |
Dataflow class for CallListAnalysis.
|
CallListDataflowFactory |
Analysis engine to produce CallListDataflow objects for a method.
|
CallSite |
The site of a method call.
|
CallToUnconditionalThrower |
|
CallToUnsupportedMethod |
|
CategoryFilteringBugReporter |
Filter reported warnings by category.
|
CFG |
Simple control flow graph abstraction for BCEL.
|
CFGBuilder |
Abstract interface for CFG builder classes.
|
CFGBuilderException |
|
CFGBuilderFactory |
Factory object to create CFGBuilders for methods.
|
CFGDetector |
Base class for detectors that analyze CFG (and/or use CFG-based analyses).
|
CFGFactory |
Analysis engine to produce CFG (control flow graph) objects for an analyzed
method.
|
CFGPrinter |
Print out a representation of a control-flow graph.
|
CheckAnalysisContextContainedAnnotation |
|
CheckBcel |
Check that the BCEL classes present seem to be the right ones.
|
CheckCalls |
This is just for debugging method call resolution.
|
CheckedAnalysisException |
Common superclass for all checked exceptions that can be thrown while
performing some kind of analysis.
|
CheckExpectedWarnings |
Deprecated.
|
CheckImmutableAnnotation |
|
CheckRelaxingNullnessAnnotation |
Checks that overriding methods do not relax Nonnull (made
CheckForNull ) on return values or CheckForNull (made
Nonnull ) on parameters.
|
CheckReturnAnnotationDatabase |
|
CheckReturnValueAnnotation |
|
CheckTypeQualifiers |
Check JSR-305 type qualifiers.
|
Churn |
|
ClassAnnotation |
A BugAnnotation object specifying a Java class involved in the bug.
|
ClassContext |
A ClassContext caches all of the auxiliary objects used to analyze the
methods of a class.
|
ClassContextClassAnalysisEngine |
Adapter to produce the ClassContext for a given class.
|
ClassData |
The data (bytes) of a class.
|
ClassDataAnalysisEngine |
Analysis engine to produce the data (bytes) of a class.
|
ClassDescriptor |
Descriptor identifying a class.
|
ClassFactory |
Factory to create codebase/classpath/classfile objects.
|
ClassFeatureSet |
Features of a class which may be used to identify it if it is renamed or
modified.
|
ClassHash |
Compute a hash of method names and signatures.
|
ClassInfo |
ClassInfo represents important metadata about a loaded class, such as its
superclass, access flags, codebase entry, etc.
|
ClassInfo.Builder |
|
ClassInfoAnalysisEngine |
Analysis engine to produce the ClassInfo for a loaded class.
|
ClassMatcher |
|
ClassMember |
Common super-interface for class members (fields and methods).
|
ClassName |
Utility methods for working with class names.
|
ClassNameAndSuperclassInfo |
Represents the class name, superclass name, and interface list of a class.
|
ClassNameAndSuperclassInfo.Builder |
|
ClassNameAndSuperclassInfoAnalysisEngine |
Analysis engine to produce the ClassInfo for a loaded class.
|
ClassNameMismatchException |
Exception to indicate that the class name defined in a class file does not
match its expected class name (as indicated by its resource name).
|
ClassNameRewriter |
Rewrite class names.
|
ClassNameRewriterUtil |
Utility methods for using a ClassNameRewriter.
|
ClassNodeAnalysisEngine |
Analysis engine to produce the ClassNode (ASM tree format) for a class.
|
ClassNodeDetector |
Abstract base class to to reduce boilerplate needed for writing ASM-based
Detectors implemented as ClassNode visitors
|
ClassNotFoundExceptionParser |
Parse the detail message in a ClassNotFoundException to extract the name of
the missing class.
|
ClassParser |
Parse a class to extract symbolic information.
|
ClassParserInterface |
Interface implemented by ClassParsers - objects that take the raw bytes of a
classfile and parse the important symbolic information to produce
ClassNameAndSuperclassInfo and ClassInfo objects.
|
ClassParserUsingASM |
|
ClassParserUsingBCEL |
Deprecated. |
ClassPathBuilder |
Implementation of IClassPathBuilder.
|
ClassPathImpl |
Implementation of IClassPath.
|
ClassPathUtil |
Some utility methods for working with the Java class path.
|
ClassReaderAnalysisEngine |
Analysis engine to produce an ASM ClassReader for a class.
|
ClassScreener |
Class to pre-screen class files, so that only a subset are analyzed.
|
ClassSummary |
|
ClassWarningSuppressor |
|
CloneIdiom |
|
CommandLine |
Helper class for parsing command line arguments.
|
CommandLine.HelpRequestedException |
|
CommandLineUiCallback |
Implementation of the UI callback for command line sessions.
|
CompactLocationNumbering |
Compute a compact numbering of Locations in a CFG.
|
CompactLocationNumberingFactory |
Analysis engine to produce CompactLocationNumbering objects for methods.
|
ComparableField |
|
ComparableMethod |
|
ComparatorIdiom |
|
ComponentPlugin<T> |
|
CompoundMatcher |
|
CompoundMethodChooser |
Deprecated. |
ConfidenceMatcher |
Matcher to select BugInstances with a particular confidence.
|
ConfusedInheritance |
|
ConfusionBetweenInheritedAndOuterMethod |
|
ConsoleLogger |
|
Constant |
Abstract dataflow value representing a value which may or may not be a
constant.
|
ConstantAnalysis |
Dataflow analysis to find constant values.
|
ConstantDataflow |
Dataflow class for ConstantAnalysis.
|
ConstantDataflowFactory |
Analysis engine to produce ConstantDataflow objects for an analyzed method.
|
ConstantFrame |
Dataflow Frame for Constants.
|
ConstantFrameModelingVisitor |
Visitor to model the effect of bytecode instructions on ConstantFrames.
|
ConstantPoolGenFactory |
Analysis engine to produce ConstantPoolGen objects for an analyzed class.
|
Constants2 |
|
ConstraintEdge |
Edge in a ConstraintGraph.
|
ConstraintGraph |
Graph of Detector ordering constraints.
|
ContainsCamelCaseWordStringMatcher |
A StringMatcher that checks to see if a candidate string (assumed to be a
camel-case word), when broken into components, contains a given word.
|
CopyBuggySource |
Java main application to compute update a historical bug collection with
results from another build/analysis.
|
CountByPackagePrefix |
Java main application to compute update a historical bug collection with
results from another build/analysis.
|
CountClassVersions |
|
CovariantArrayAssignment |
|
CrossSiteScripting |
|
Dataflow<Fact,AnalysisType extends DataflowAnalysis<Fact>> |
Perform dataflow analysis on a method using a control flow graph.
|
DataflowAnalysis<Fact> |
A dataflow analysis to be used with the Dataflow class.
|
DataflowAnalysisException |
Exception type to indicate a dataflow analysis failure.
|
DataflowCFGPrinter<Fact,AnalysisType extends DataflowAnalysis<Fact>> |
CFGPrinter class which prints dataflow values at each basic block and
instruction.
|
DataflowValueChooser<Value> |
Predicate for dataflow values.
|
DeadLocalStoreProperty |
Warning property for FindDeadLocalStores.
|
Debug |
|
DebugRepositoryLookupFailureCallback |
DebugRepositoryLookupFailureCallback implementation for debugging.
|
DeepSubtypeAnalysis |
|
DefaultEncodingDetector |
Finds invocations of JDK methods that rely on the default platform encoding.
|
DefaultNullnessAnnotations |
|
DefectDensity |
Java main application to compute defect density for a bug collection (stored
as an XML collection)
|
DelegatingBugReporter |
A BugReporter which delegates all method calls to another BugReporter.
|
DelegatingCodeBaseEntry |
Implementation of ICodeBaseEntry that delegates to another codebase entry.
|
DelegatingCodeBaseIterator |
An implementation of ICodeBaseIterator that delegates to another codebase.
|
DepthFirstSearch |
Algorithm to perform a depth first search on a CFG.
|
DepthFirstSearch<GraphType extends Graph<EdgeType,VertexType>,EdgeType extends GraphEdge<EdgeType,VertexType>,VertexType extends GraphVertex<VertexType>> |
Perform a forward depth first search of a graph.
|
DepthFirstSearchFactory |
Analysis engine to produce DepthFirstSearch objects for analyzed methods.
|
DerefFinder |
|
DescriptorFactory |
Factory for creating ClassDescriptors, MethodDescriptors, and
FieldDescriptors.
|
Detector |
The interface which all bug pattern detectors must implement.
|
Detector2 |
Detector interface for new bytecode-framework-neutral architecture.
|
DetectorFactory |
A DetectorFactory is responsible for creating instances of Detector objects
and for maintaining meta-information about the detector class.
|
DetectorFactoryChooser |
Predicate for choosing DetectorFactory objects.
|
DetectorFactoryCollection |
The DetectorFactoryCollection stores all of the DetectorFactory objects used
to create the Detectors which implement the various analyses.
|
DetectorFactorySelector |
Select one or more DetectorFactories as part of satisfying a Detector
ordering constraint.
|
DetectorNode |
Node in a ConstraintGraph.
|
DetectorOrderingConstraint |
An ordering constraint which must be taken into account when Detectors are
run.
|
DetectorToDetector2Adapter |
An adapter allowing classes implementing the Detector interface to support
the new Detector2 interface.
|
DFSCFGPrinter |
|
DFSEdgeTypes |
Interface defining depth first search edge type Const.
|
DFSEdgeTypes |
Edge types in a depth first search.
|
DirectlyRelevantTypeQualifiersDatabase |
Database of type qualfiers applied directly to methods.
|
DirectoryCodeBase |
IScannableCodeBase implementation to read resources from a filesystem
directory.
|
DirectoryCodeBaseEntry |
Codebase entry class for directory codebases.
|
DiscoverSourceDirectories |
Based on the contents of the application directories/archives in a Project,
and a "root" source directory (under which some number of "real" source
directories may be located), scan to find the source directories containing
the application's source files.
|
DiscoverSourceDirectories.Progress |
Progress callback interface for reporting the progress of source
directory discovery.
|
DismantleBytecode |
|
DoInsideDoPrivileged |
|
Dom4JXMLOutput |
XMLOutput class to build all or part of a dom4j tree.
|
DominatorsAnalysis |
Dataflow analysis to compute dominator sets for a CFG.
|
DominatorsAnalysisFactory |
Analysis engine to produce DominatorsAnalysis objects for analyzed methods.
|
DontAssertInstanceofInTests |
A detector that checks for lines in JUnit tests that look like `assertTrue(object instanceof Class)` and discourages them.
|
DontCatchIllegalMonitorStateException |
|
DontIgnoreResultOfPutIfAbsent |
|
DontUseEnum |
|
DoomedCodeWarningProperty |
A WarningProperty for warnings that are reported at a "doomed" Location; one
that cannot return normally.
|
DottedClassName |
Denotes a class name or package name where the .
|
DoubleExtraType |
Special type used to represent the "extra" part of a double value.
|
DroppedException |
|
DualKeyHashMap<K1,K2,V> |
|
DumbMethodInvocations |
|
DumbMethods |
|
DuplicateBranches |
|
DuplicatePluginIdError |
|
DuplicatePluginIdException |
|
Edge |
An edge of a control flow graph.
|
Edge.Type |
|
EdgeChooser |
Interface for choosing CFG Edges.
|
EdgeTypes |
Constants defining the type of control flow edges, as well as flags defining
additional information about the edges.
|
EditDistance |
|
EmacsBugReporter |
BugReporter to output warnings in Emacs format.
|
EmptyCodeBase |
|
EmptyZipFileEntry |
This detector is currently disabled by default.
|
EngineRegistrar |
Analysis engine registrar for ASM-based analyses.
|
EngineRegistrar |
Register BCEL-framework analysis engines.
|
EngineRegistrar |
Register analysis engines with an analysis cache.
|
EnumValue |
Represents an enumeration value used with an application of an annotation.
|
EqualsKindSummary |
|
EqualsKindSummary.KindOfEquals |
|
EqualsOperandShouldHaveClassCompatibleWithThis |
|
ErrorCountingBugReporter |
A delegating bug reporter which counts reported bug instances, missing
classes, and serious analysis errors.
|
ExactStringMatcher |
Exact String-matching predicate.
|
ExceptionHandlerMap |
This class provides a convenient way of determining the exception handlers
for instructions in a method.
|
ExceptionObjectType |
Special ReferenceType representing the type of a caught exception.
|
ExceptionSet |
Class for keeping track of exceptions that can be thrown by an instruction.
|
ExceptionSetFactory |
|
ExceptionSetFactoryFactory |
Analysis engine to produce ExceptionSetFactory objects for analyzed methods.
|
ExcludingHashesBugReporter |
|
ExecutionPlan |
A plan for executing Detectors on an application.
|
ExitCodes |
Flags returned in the process exit code returned when the FindBugs text UI is
invoked with the -exitcode command line argument.
|
ExplicitSerialization |
|
ExtendedTypes |
Extended type codes used by StackAndLocalTypes and StackAndLocalTypeAnalysis
for typing locals and stack values used in Java bytecode.
|
FatalException |
A fatal exception which should completely halt the FindBugs analysis.
|
FB |
|
FBClassReader |
|
FBMethodVisitor |
|
FieldAccess |
Base class for Load and Store PatternElements.
|
FieldAnnotation |
A BugAnnotation specifying a particular field in particular class.
|
FieldDescriptor |
Descriptor uniquely identifying a field in a class.
|
FieldInfo |
|
FieldInfo.Builder |
|
FieldItemSummary |
|
FieldMatcher |
|
FieldOrMethodDescriptor |
Common superclass for FieldDescriptor and MethodDescriptor.
|
FieldOrMethodName |
|
FieldPropertyDatabase<Property> |
Interprocedural field property database.
|
FieldSet |
|
FieldSetAnalysis |
|
FieldStoreType |
Field property storing the types of values stored in a field.
|
FieldStoreTypeDatabase |
|
FieldSummary |
Interprocedural analysis summary
|
FieldVariable |
|
FieldWarningSuppressor |
|
FileBugHash |
For each source file that has reported bugs, compute a hash of all the issues
reported for that file.
|
FileSourceFileDataSource |
Data source for source files which are stored in the filesystem.
|
FilesystemCodeBaseLocator |
Codebase locator for files and directories in the filesystem.
|
Filter |
Filter to match a subset of BugInstances.
|
Filter |
Java main application to filter/transform an XML bug collection or bug
history collection.
|
FilterBugReporter |
|
FilterException |
|
FinalizerNullsFields |
|
FinallyDuplicatesInfoFactory |
|
FinallyDuplicatesInfoFactory.FinallyDuplicatesInfo |
|
FindBadCast2 |
|
FindBadForLoop |
|
FindBugs |
Static methods and fields useful for working with instances of
IFindBugsEngine.
|
FindBugs2 |
FindBugs driver class.
|
FindBugsAnalysisFeatures |
Boolean-valued analysis properties for FindBugs.
|
FindBugsASM |
|
FindBugsCommandLine |
Base class for FindBugs command line classes.
|
FindBugsDefaultAnnotations |
Deprecated. |
FindBugsDisplayFeatures |
|
FindBugsMain |
|
FindBugsMessageFormat |
Format the message for a BugInstance.
|
FindBugsProgress |
A callback that may be installed in a FindBugs instance to asynchronously
keep track of its progress.
|
FindBugsSummaryStats |
|
FindCircularDependencies |
|
FindComparatorProblems |
|
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 |
|
FindNoSideEffectMethods |
|
FindNoSideEffectMethods.MethodSideEffectStatus |
Public status of the method in NSE database
TODO: implement CHECK
|
FindNoSideEffectMethods.NoSideEffectMethodsDatabase |
|
FindNullDeref |
A Detector to find instructions where a NullPointerException might be raised.
|
FindNullDerefsInvolvingNonShortCircuitEvaluation |
|
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.
|
FindRefComparison.DynamicStringType |
Type representing a dynamically created String.
|
FindRefComparison.EmptyStringType |
|
FindRefComparison.FinalConstant |
|
FindRefComparison.ParameterStringType |
Type representing a String passed as a parameter.
|
FindRefComparison.StaticStringType |
Type representing a static String.
|
FindReturnRef |
|
FindRoughConstants |
|
FindRunInvocations |
|
FindSelfComparison |
|
FindSelfComparison2 |
|
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 |
|
FindUnrelatedTypesInGenericContainer |
|
FindUnreleasedLock |
|
FindUnsatisfiedObligation |
Find unsatisfied obligations in Java methods.
|
FindUnsyncGet |
|
FindUselessControlFlow |
A Detector to look for useless control flow.
|
FindUselessObjects |
|
FindUseOfNonSerializableValue |
|
FirstPassDetector |
A Detector that can be run in the first pass.
|
FirstVersionMatcher |
Matcher to select BugInstances with a particular first version.
|
FlowValue |
Flow value type for type qualifier dataflow analysis.
|
Footprint |
Class to maintain a snapshot of a processes's time and memory usage.
|
Footprint.CollectionBeanWrapper |
Wrapper so that possible NoClassDefFoundError can be caught.
|
Footprint.MemoryBeanWrapper |
Wrapper so that possible NoClassDefFoundError can be caught.
|
Footprint.OperatingSystemBeanWrapper |
Wrapper so that possible NoClassDefFoundError can be caught.
|
FormatStringChecker |
|
ForwardDataflowAnalysis<Fact> |
Abstract base class for forward dataflow analyses.
|
ForwardTypeQualifierDataflow |
Dataflow object for ForwardTypeQualifierDataflowAnalysis.
|
ForwardTypeQualifierDataflowAnalysis |
Forward type qualifier dataflow analysis.
|
ForwardTypeQualifierDataflowFactory |
Factory for producing ForwardTypeQualifierDataflow objects for various kinds
of type qualifiers.
|
ForwardTypeQualifierDataflowFactoryFactory |
Factory for ForwardTypeQualifierDataflowFactory objects.
|
FractionalMultiset<K> |
|
Frame<ValueType> |
Generic class for representing a Java stack frame as a dataflow value.
|
FrameDataflowAnalysis<ValueType,FrameType extends Frame<ValueType>> |
A convenient base class for dataflow analysis classes which use Frames as
values.
|
FunctionsThatMightBeMistakenForProcedures |
|
FutureValue<V> |
|
FuzzyBugComparator |
A slightly more intellegent way of comparing BugInstances from two versions
to see if they are the "same".
|
GeneralWarningProperty |
General warning properties.
|
GenericObjectType |
Extension to ObjectType that includes additional information about the
generic signature.
|
GenericSignatureParser |
A simple class to parse method signatures that include generic information.
|
GenericUtilities |
Utilities for adding support for generics.
|
GenericUtilities.TypeCategory |
|
Global |
Static methods for accessing objects that are global to an analysis session.
|
GlobalOptions |
|
Graph<EdgeType extends GraphEdge<EdgeType,VertexType>,VertexType extends GraphVertex<VertexType>> |
Graph interface; defines the operations used to access and manipulate a
graph.
|
GraphEdge<ActualEdgeType extends GraphEdge<ActualEdgeType,VertexType>,VertexType extends GraphVertex<VertexType>> |
GraphEdge interface; represents an edge in a graph.
|
GraphToolkit<GraphType extends Graph<EdgeType,VertexType>,EdgeType extends GraphEdge<EdgeType,VertexType>,VertexType extends GraphVertex<VertexType>> |
An interface for creating Graph objects, and for copying auxiliary
information in vertices and edges.
|
GraphVertex<ActualVertexType> |
GraphVertex interface; represents a vertex in a graph.
|
Hierarchy |
Facade for class hierarchy queries.
|
Hierarchy2 |
Facade for class hierarchy queries.
|
HTML |
|
HTMLBugReporter |
|
HugeSharedStringConstants |
|
I18N |
Singleton responsible for returning localized strings for information
returned to the user.
|
IAnalysisCache |
The analysis cache performs analyses on classes and methods and caches the
results.
|
IAnalysisEngine<DescriptorType,ResultType> |
An engine for analyzing classes or methods.
|
IAnalysisEngineRegistrar |
Interface for a registrar class that registers analysis engines with an
analysis cache.
|
IClassAnalysisEngine<ResultType> |
Engine for performing an analysis on classes.
|
IClassConstants |
|
IClassFactory |
|
IClassObserver |
Observer for classes being visited in some manner.
|
IClassPath |
A classpath from which resources (classes and other files) may be loaded.
|
IClassPathBuilder |
Build a classpath.
|
IClassPathBuilderProgress |
Progress callback interface for classpath construction.
|
IClassScreener |
Screen class files to decide which subset of them to analyze.
|
ICodeBase |
Interface for a basic code base in which we can look up resources but not
necessarily scan for the list of all resources.
|
ICodeBase.Discovered |
|
ICodeBaseEntry |
Object representing a resource in a code base.
|
ICodeBaseIterator |
Iterator over the resources in an IScannableCodeBase.
|
ICodeBaseLocator |
Specify the location of a codebase.
|
IDatabaseFactory<T> |
Interface for a database factory.
|
IdentityClassNameRewriter |
ClassNameRewriter that leaves classe names unchanged.
|
IDivResultCastToDouble |
|
IErrorLogger |
Interface for objects that log various kinds of analysis errors.
|
IFindBugsEngine |
Interface for a FindBugs engine class.
|
IfNull |
|
IGuiCallback |
Interface for any kind of GUI attached to the current FindBug analysis
|
IGuiCallback.FormItem |
|
IMethodAnalysisEngine<ResultType> |
Engine for performing an analysis on methods.
|
IncompatibleTypes |
|
IncompatMask |
Find comparisons involving values computed with bitwise operations whose
outcomes are fixed at compile time.
|
InconsistentAnnotations |
|
InconsistentSyncWarningProperty |
Warning properties for inconsistent synchronization detector.
|
InefficientIndexOf |
Use whenever possible String.indexOf(int) instead of String.indexOf(String),
or String.lastIndexOf(int) instead of String.lastIndexOf(String).
|
InefficientInitializationInsideLoop |
|
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 |
|
InheritanceEdge |
An edge in the InheritanceGraph.
|
InheritanceGraph |
Graph of inheritance relationships.
|
InheritanceGraphVisitor |
Visitor interface for traversals of the inheritance graph.
|
InheritanceUnsafeGetResource |
|
InitializationChain |
|
InitializeNonnullFieldsInConstructor |
|
InnerClassAccess |
|
InnerClassAccessMap |
Determine which methods are accessors used by inner classes to access fields
in their enclosing classes.
|
InstanceFieldLoadStreamFactory |
StreamFactory for stream objects loaded from instance fields.
|
InstantiateStaticClass |
|
InstructionActionCache |
A cache for looking up the collection of ObligationPolicyDatabaseActions
associated with a given InstructionHandle.
|
InstructionHandleMap<ValueType> |
Map BCEL InstructionHandles to some kind of value type.
|
InstructionScanner |
A scanner for implementing a state machine over a sequence of instructions
and control edges.
|
InstructionScannerDriver |
Drive an InstructionScannerGenerator over the instructions of a simple path.
|
InstructionScannerGenerator |
Class for generating InstructionScanners at particular instructions of a
path.
|
IntAnnotation |
Bug annotation class for integer values.
|
IntCast2LongAsInstant |
|
InterproceduralCallGraph |
Deprecated. |
InterproceduralCallGraphEdge |
A class representing an edge in the interprocedural call graph; i.e., a call
from one method to another.
|
InterproceduralCallGraphVertex |
Class representing a vertex in the interprocedural call graph; i.e., a
method.
|
InterproceduralFirstPassDetector |
Detector implementing a slow first pass to collect interprocedural properties
for a later detector pass.
|
INullnessAnnotationDatabase |
Interface for querying nullness annotations on methods, fields, and
parameters.
|
InvalidBytecodeException |
An exception that may be thrown by frame modeling visitor classes to indicate
that the method being analyzed contains invalid bytecode.
|
InvalidClassFileFormatException |
|
InvalidJUnitTest |
|
Invoke |
A PatternElement to match a method invocation.
|
IO |
|
IOStreamFactory |
A StreamFactory for normal java.io streams that are created using NEW
instructions.
|
IProfiler |
|
IScannableCodeBase |
A scannable code base: in addition to looking up a named resource, scannable
code bases can also enumerate the names of the resources they contain.
|
IsNullConditionDecision |
A control decision which resulted in information being gained about whether a
particular value is null or non-null on the IFCMP_EDGE and FALL_THROUGH_EDGE
branches.
|
IsNullValue |
A class to abstractly represent values in stack slots, indicating whether
thoses values can be null, non-null, null on some incoming path, or unknown.
|
IsNullValueAnalysis |
A dataflow analysis to detect potential null pointer dereferences.
|
IsNullValueAnalysis.PointerEqualityCheck |
|
IsNullValueAnalysisFeatures |
Knobs for null value analysis.
|
IsNullValueDataflow |
|
IsNullValueDataflowFactory |
Analysis engine to produce IsNullValueDataflow objects for an analyzed
method.
|
IsNullValueFrame |
|
IsNullValueFrameModelingVisitor |
|
IteratorIdioms |
|
JAIFEnumConstant |
|
JAIFEvents |
Callbacks for parsing an extenal annotation file.
|
JAIFParser |
Parse an external annotation file.
|
JAIFScanner |
Lexical scanner for external annotation files.
|
JAIFSyntaxException |
|
JAIFTokenKind |
|
JavaClassAnalysisEngine |
Analysis engine to produce a BCEL JavaClass object for a named class.
|
JavaClassAndMethod |
A JavaClass and a Method belonging to the class.
|
JavaClassAndMethodChooser |
Deprecated. |
JavaVersion |
Support for finding out what version of Java we're running on.
|
JavaVersionException |
Exception indicating that a Java version string couldn't be parsed.
|
JavaWebStart |
|
JCIPAnnotationDatabase |
|
JrtfsCodeBase |
Code base supporting Java 9 new jimage packed modules
|
JrtfsCodeBase.JrtfsCodebaseEntry |
|
JSR305NullnessAnnotations |
ClassDescriptors for JSR-305 nullness annotations.
|
L10N |
|
LastVersionMatcher |
Matcher to select BugInstances with a particular last version.
|
LaunchAppropriateUI |
Class to launch the appropriate textUI or GUI.
|
LaunchBrowser |
|
LazyInit |
|
LineNumberMap |
Summarize line numbers (and other source information) for a method.
|
ListBugDatabaseInfo |
Java main application to compute update a historical bug collection with
results from another build/analysis.
|
ListErrors |
List the analysis errors in a bug collection
|
LiveLocalStoreAnalysis |
Dataflow analysis to find live stores of locals.
|
LiveLocalStoreDataflow |
Dataflow class for LiveLocalStoreAnalysis.
|
LiveLocalStoreDataflowFactory |
Analysis engine to produce LiveLocalStoreDataflow objects for analyzed
methods.
|
Load |
A PatternElement representing a load from a field.
|
LoadAnalysis |
|
LoadDataflow |
|
LoadDataflowFactory |
Analysis engine to produce LoadDataflow objects for analyzed methods.
|
LoadedFieldSet |
Object which stores which fields are loaded and stored by the instructions in
a method (including through inner-class access methods), and also which
fields are loaded/stored by the overall method.
|
LoadedFieldSet.LoadStoreCount |
Count number of times a field is loaded and/or stored in the method.
|
LoadedFieldSetFactory |
Factory to determine which fields are loaded and stored by the instructions
in a method, and the overall method.
|
LoadOfKnownNullValue |
|
LocalMatcher |
|
LocalVariable |
|
LocalVariableAnnotation |
Bug annotation class for local variable names
|
Location |
A class representing a location in the CFG for a method.
|
LocationWhereValueBecomesNull |
A Location where a particular value number becomes null.
|
LockAnalysis |
Analysis to determine where particular values are locked in a method.
|
LockChecker |
Front-end for LockDataflow that can avoid doing unnecessary work (e.g.,
actually performing the lock dataflow) if the method analyzed does not
contain explicit monitorenter/monitorexit instructions.
|
LockCheckerFactory |
Analysis engine to produce LockChecker objects for analyzed methods.
|
LockDataflow |
Dataflow class for LockAnalysis.
|
LockDataflowFactory |
Analysis engine to produce LockDataflow objects for analyzed methods.
|
LockSet |
Lock counts for values (as produced by ValueNumberAnalysis).
|
Logger |
|
LogSync |
|
LongExtraType |
Special type used to represent the "extra" part of a long value.
|
LongOrDoubleLocalVariable |
|
Lookup |
|
LostLoggerDueToWeakReference |
We found a problem with the new OpenJDK that everyone is now using to compile
and run java code.
|
LVTHelper |
Eases access to a BCEL LocalVariable object
|
MapCache<K,V> |
Provide a HashMap that can only grow to a specified maximum capacity, with
entries discarded using a LRU policy to keep the size of the HashMap within
that bound.
|
MatchAny |
A "meta" PatternElement that matches any of a list of other child
PatternElements.
|
Matcher |
Match BugInstances for some feature.
|
MatchMethodEntry |
An ObligationPolicyDatabaseEntry which creates or deletes an obligation based
on a call to a specified method.
|
MatchResult |
The result of matching a single PatternElement against a single instruction.
|
MaxRankDecorator |
|
MayReturnNullPropertyDatabase |
Deprecated. |
MemberMatcher |
|
MemberUtils |
Utility to analyze class members.
|
MergeMap<K,V> |
|
MergeMap.MaxMap<K,V extends java.lang.Comparable<? super V>> |
|
MergeMap.MinMap<K,V extends java.lang.Comparable<? super V>> |
|
MergeTree |
Data structure to keep track of which input ValueNumbers were combined to
produce which other output ValueNumbers.
|
MergeVertices<GraphType extends Graph<EdgeType,VertexType>,EdgeType extends GraphEdge<EdgeType,VertexType>,VertexType extends GraphVertex<VertexType>> |
Algorithm to merge a set of vertices into a single vertex.
|
MetaCharacterMap |
Map of metacharacters that need to be escaped, and what to replace them with.
|
MethodAnnotation |
A BugAnnotation specifying a particular method in a particular class.
|
MethodBytecodeSet |
Class representing the set of opcodes used in a method.
|
MethodBytecodeSetFactory |
|
MethodChooser |
Interface for choosing methods.
|
MethodDescriptor |
Descriptor uniquely identifying a method in a class.
|
MethodFactory |
Method analysis engine to produce BCEL Method objects.
|
MethodGenFactory |
Analysis engine to produce MethodGen objects for analyzed methods.
|
MethodHash |
Compute a hash of the bytecode for given method.
|
MethodInfo |
|
MethodInfo.Builder |
|
MethodInfo.MethodInfoDatabase |
|
MethodMatcher |
|
MethodPropertyDatabase<Property> |
A MethodPropertyDatabase keeps track of properties of methods.
|
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 |
|
MethodUnprofitableException |
Used to signal a method not analyzed because it seemed unprofitable to do so
|
MethodWarningSuppressor |
|
MineBugHistory |
Mine historical information from a BugCollection.
|
MissingClassException |
DataflowAnalysisException variant to report a class lookup failure that
caused dataflow analysis to abort.
|
MissingClassException |
CheckedAnalysisException subtype to indicate that a required class was
missing.
|
Monitorenter |
A PatternElement for matching a MONITORENTER instruction.
|
MovedClassMap |
Build a map of added class names to removed class names.
|
MultiMap<K,V> |
|
Multiset<K> |
|
MultithreadedInstanceAccess |
|
MutableClasses |
|
MutableEnum |
|
MutableLock |
|
MutableStaticFields |
|
NameMatch |
Matches a String value against a predefined specification.
|
Naming |
|
Naming.NamingProperty |
|
NestedAccessUtil |
Provides checks to support JEP 181, improved nested member access.
|
NestedZipFileCodeBase |
A scannable code base class for a zip (or Jar) file nested inside some other
codebase.
|
NestedZipFileCodeBaseLocator |
Codebase locator for a zip/jar archive nested inside a parent codebase.
|
New |
A PatternElement which matches NEW instructions and binds the result to a
variable.
|
NewResults |
Deprecated. |
NoClassesFoundToAnalyzeException |
Signals that FindBugs found no classes on the classpath it was invoked to
analyze.
|
Noise |
|
NoiseNullDeref |
A Detector to find instructions where a NullPointerException might be raised.
|
NonExceptionPostdominatorsAnalysis |
PostDominatorsAnalysis variant in which all exception edges are ignored.
|
NonExceptionPostdominatorsAnalysisFactory |
Analysis engine to produce NonExceptionPostDominatorsAnalysis objects for
analyzed methods.
|
NonexistentObligationException |
|
NonImplicitExceptionPostDominatorsAnalysis |
PostDominatorsAnalysis variant in which implicit exception edges are ignored.
|
NonImplicitExceptionPostDominatorsAnalysisFactory |
Analysis engine to produce NonImplicitExceptionPostDominatorsAnalysis objects
for analyzed methods.
|
NONNULL2Z |
A synthetic instruction that converts a reference to a boolean value,
translating any nonnull value to 1 (true), and null value to 0 (false).
|
NonNullParamViolation |
|
NonNullReturnProperty |
|
NonNullSpecification |
|
NonReportingDetector |
A Detector which does not report warnings.
|
NonReportingDetectorToDetector2Adapter |
|
NoOpFindBugsProgress |
|
NoteAnnotationRetention |
|
NoteCheckReturnValueAnnotations |
Scan classes for @CheckReturnValue annotations
|
NoteDirectlyRelevantTypeQualifiers |
Scan methods for directly-relevant type qualifiers, building the
DirectlyRelevantTypeQualifiersDatabase.
|
NoteJCIPAnnotation |
|
NoteNonNullAnnotations |
Deprecated.
|
NoteNonnullReturnValues |
As a first scanning pass, make a note of unconditionally dereferenced
parameters for later use by FindNullDerefs.
|
NoteSuppressedWarnings |
|
NoteUnconditionalParamDerefs |
Make a note of unconditionally dereferenced parameters for later use by
FindNullDerefs.
|
NotImplementedYetException |
|
NotMatcher |
|
NULL2Z |
A synthetic instruction that converts a reference to a boolean value,
translating null to 1 (true), and any nonnull value to 0 (false).
|
NullArgumentWarningProperty |
Warning property for a null argument being passed to a method which might
dereference it.
|
NullDerefAndRedundantComparisonCollector |
Callback interface for collecting null pointer derefs and redundant null
comparisons.
|
NullDerefAndRedundantComparisonFinder |
A user-friendly front end for finding null pointer dereferences and redundant
null comparisons.
|
NullDerefProperty |
Warning properties for null pointer dereference and redundant null comparison
warnings.
|
NullIterator<E> |
An Iterator that returns no elements.
|
NullnessAnnotation |
Nullness annotation detector.
|
NullnessAnnotation.Parser |
|
NullnessAnnotationDatabase |
Deprecated. |
NullnessConversationInstruction |
A synthetic instruction that converts a the nullness of a reference to a boolean value.
|
NullType |
Special type representing the null value.
|
NullValueUnconditionalDeref |
Collected information about a single value number observed at one or more
locations to be both definitely-null and unconditionally dereferenced.
|
NumberConstructor |
Detector to find calls to Number constructors with base type argument in Java
5 or newer bytecode.
|
Obfuscate |
|
ObfuscateBugs |
|
ObjectTypeFactory |
|
Obligation |
An obligation that must be cleaned up by error handling code.
|
ObligationAcquiredOrReleasedInLoopException |
Exception to indicate that ObligationAnalysis has detected a situation in
which an obligation is either acquired or released inside a loop.
|
ObligationAnalysis |
Dataflow analysis to track obligations (i/o streams and other resources which
must be closed).
|
ObligationDataflow |
Dataflow class for ObligationAnalysis.
|
ObligationDataflowFactory |
Analysis factory which creates instances of ObligationDataflow.
|
ObligationFactory |
Factory for Obligation and ObligationSet objects to be used in an instance of
ObligationAnalysis.
|
ObligationPolicyDatabase |
Policy database which defines which methods create and remove obligations.
|
ObligationPolicyDatabaseAction |
An action applied by an entry in the ObligationPolicyDatabase.
|
ObligationPolicyDatabaseActionType |
Enumeration describing possible actions for policy database entries.
|
ObligationPolicyDatabaseEntry |
Interface defining an entry in the ObligationPolicyDatabase.
|
ObligationPolicyDatabaseEntryType |
Types of ObligationPolicyDatabaseEntries.
|
ObligationSet |
A multiset of obligations that must be cleaned up by error-handling code.
|
OneVariableInstruction |
Abstract PatternElement subclass for matching single instructions which have
a single Variable.
|
Opcode |
PatternElement to match instructions with a particular opcode.
|
OpcodeStack |
tracks the types and numbers of objects that are currently on the operand
stack throughout the execution of method.
|
OpcodeStack.CustomUserValue |
You can put this annotation on a OpcodeStack detector
to indicate that it uses OpcodeStack.Item.userValue ,
and thus should not reuse generic OpcodeStack information
from an iterative evaluation of the opcode stack.
|
OpcodeStack.Item |
|
OpcodeStack.Item.SpecialKind |
A type qualifier to mark int value as SpecialKind type.
|
OpcodeStack.JumpInfo |
|
OpcodeStack.JumpInfoFactory |
|
OpcodeStackDetector |
Base class for Detectors that want to scan the bytecode of a method and use
an opcode stack.
|
OpcodeStackDetector.WithCustomJumpInfo |
|
OpcodeStackScanner |
|
OpcodeStackScanner.UnreachableCodeException |
|
OptionalReturnNull |
Methods with "Optional" return type should never return null.
|
OrderingConstraintException |
An exception indicating that the detector ordering constraints specified by a
plugin are invalid.
|
OrMatcher |
|
OutputStreamXMLOutput |
Write XML to an output stream.
|
OverriddenMethodsVisitor |
This class implements a best-effort visitation of all methods overridden by a
given derived instance method.
|
OverridingEqualsNotSymmetrical |
|
OverridingMethodsMustInvokeSuperDetector |
|
PackageMemberAnnotation |
Abstract base class for BugAnnotations describing constructs which are
contained in a Java package.
|
PackageStats |
|
PackageStats.ClassStats |
|
PackageWarningSuppressor |
|
ParameterAnnotationAccumulator |
Accumulate type qualifier annotations for a method parameter.
|
ParameterNullnessPropertyDatabase |
Method property database storing which method parameters might be
unconditionally dereferenced.
|
ParameterProperty |
Method property recording which parameters are have some property
(originally, which were required to be nonnull, now made more generic)
|
ParameterSignatureListFactory |
Analysis engine to produce parameter signature lists for analyzed methods.
|
ParameterWarningSuppressor |
|
Path |
A Path is a sequence of basic blocks.
|
PathVisitor |
Visit the BasicBlocks, InstructionHandles, and Edges along a Path.
|
PatternElement |
A PatternElement is an element of a ByteCodePattern.
|
PatternElementMatch |
PatternElementMatch represents matching a PatternElement against a single
instruction.
|
PatternMatcher |
Match a ByteCodePattern against the code of a method, represented by a CFG.
|
Plugin |
A FindBugs plugin.
|
PluginDoesntContainMetadataException |
|
PluginException |
An exception to indicate that a plugin could not be loaded.
|
PluginLoader |
Loader for a FindBugs plugin.
|
PluginLoader.Summary |
|
PointerUsageRequiringNonNullValue |
|
PostDominatorsAnalysis |
Dataflow analysis to compute postdominator sets for a CFG.
|
PreferZeroLengthArrays |
|
PreorderDetector |
Base class for Detectors which want to perform a preorder traversal of the
classfile.
|
PreorderVisitor |
Interface to make the use of a visitor pattern programming style possible.
|
PrintAppVersion |
Print the AppVersion information from a BugCollection.
|
PrintClass |
|
PrintingBugReporter |
A simple BugReporter which simply prints the formatted message to the output
stream.
|
Priorities |
|
PriorityAdjustment |
Enum representing how a particular warning property is expected to affect its
likelihood of being serious, benign, or a false positive.
|
PriorityMatcher |
Matcher to select BugInstances with a particular priority.
|
Profiler |
This class is mutable and not synchronized, so create independent Profiler instance for each worker thread.
|
Profiler.ClassNameComparator |
|
Profiler.Filter |
|
Profiler.FilterByCalls |
|
Profiler.FilterByTime |
|
Profiler.FilterByTimePerCall |
|
Profiler.Profile |
|
Profiler.TimePerCallComparator |
|
Profiler.TotalCallsComparator |
|
Profiler.TotalTimeComparator |
|
ProfileSummary |
A class that summarize profile recorded by multiple Profiler instances.
|
ProfilingMapCache<K,V> |
|
ProgramPoint |
|
Project |
A project in the GUI.
|
ProjectFilterSettings |
Settings for user filtering of warnings for a project.
|
ProjectPackagePrefixes |
|
ProjectPackagePrefixes.PrefixFilter |
|
ProjectStats |
Statistics resulting from analyzing a project.
|
PropertyBundle |
|
PropertyDatabase<KeyType extends FieldOrMethodDescriptor,ValueType> |
Property database for interprocedural analysis.
|
PropertyDatabaseFormatException |
|
PruneInfeasibleExceptionEdges |
Prune a CFG to remove infeasible exception edges.
|
PruneUnconditionalExceptionThrowerEdges |
|
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.
|
PutfieldScanner |
|
QuestionableBooleanAssignment |
|
QuoteMetaCharacters |
Quote metacharacters in a String.
|
RankMatcher |
Matcher to select BugInstances with a particular rank or higher.
|
ReadOfInstanceFieldInMethodInvokedByConstructorInSuperclass |
|
ReadReturnShouldBeChecked |
|
RebornIssues |
Mine historical information from a BugCollection.
|
RecomputableClassAnalysisEngine<ResultType> |
|
RecursiveFileSearch |
Recursively search a directory, its subdirectories, etc.
|
RecursiveSearchForJavaFiles |
|
RedundantBranch |
An instruction recorded as a redundant reference comparison.
|
RedundantConditions |
|
RedundantInterfaces |
|
RefComparisonWarningProperty |
Warning properties for FindRefComparison detector.
|
ReflectionDatabaseFactory<E> |
A generic database factory that tries to create the database by (in order of
preference)
Invoking a static create method
Invoking a no-arg constructor
|
ReflectiveClasses |
Detector to find private methods that are never called.
|
RegenerateClassFeatures |
Repopulate a BugCollection with class features from the classes in a
specified jar file.
|
RegexStringMatcher |
StringMatcher that matches based on a regular expression.
|
RejarClassesForAnalysis |
|
RelationalOp |
|
RepeatedConditionals |
|
ReportingDetectorFactorySelector |
Select all detector factories for reporting detectors.
|
RepositoryClassParser |
A special version of ClassParser that automatically enters parsed classes
into the Repository.
|
RepositoryLookupFailureCallback |
An interface which Repository class lookup failures are reported to.
|
ResolveAllReferences |
|
ResourceCollection<Resource> |
A ResourceCollection defines all of the resources created and used in a
particular method.
|
ResourceCreationPoint |
A resource creation point.
|
ResourceNotFoundException |
Exception to indicate that a resource was not found.
|
ResourceTracker<Resource> |
A ResourceTracker is used with ResourceValueAnalysis to determine where in a
method a certain kind of resource is created, and to model the effect of
instructions on the state of that resource.
|
ResourceTrackingDetector<Resource,ResourceTrackerType extends ResourceTracker<Resource>> |
Abstract implementation of a Detector to find methods where a particular kind
of created resource is not cleaned up or closed properly.
|
ResourceValue |
|
ResourceValueAnalysis<Resource> |
|
ResourceValueFrame |
|
ResourceValueFrameModelingVisitor |
|
ReturnPath |
|
ReturnPathAnalysis |
|
ReturnPathDataflow |
|
ReturnPathDataflowFactory |
Analysis engine to produce ReturnPathDataflow objects for analyzed methods.
|
ReturnPathType |
A dataflow value that indicates what kind of return path is possible at the
current program location.
|
ReturnPathTypeAnalysis |
A dataflow analysis to determine, at each location in a method's CFG, whether
or not it is possible to return normally at that location.
|
ReturnPathTypeDataflow |
Dataflow class for ReturnPathTypeAnalysis.
|
ReturnPathTypeDataflowFactory |
Analysis engine to produce ReturnPathTypeDataflow objects for analyzed
methods.
|
ReturnValueNullnessPropertyDatabase |
Method property database storing which methods return values guaranteed to be
nonnull
|
ReverseDepthFirstSearch |
Algorithm to perform a reverse depth first search on a CFG.
|
ReverseDepthFirstSearch<GraphType extends Graph<EdgeType,VertexType>,EdgeType extends GraphEdge<EdgeType,VertexType>,VertexType extends GraphVertex<VertexType>> |
Perform a reverse depth first search of a graph.
|
ReverseDepthFirstSearchFactory |
Analysis engine to produce ReverseDepthFirstSearch objects for analyzed
methods.
|
ReverseDFSOrder |
A BlockOrder for visiting the blocks of a CFG in the order they would be
visited in a depth first search of the reversed CFG.
|
ReversePostOrder |
A BlockOrder for visiting the blocks of a CFG in the reverse of the order in
which they are finished in a depth first search.
|
RuntimeExceptionCapture |
RuntimeExceptionCapture
|
SarifBugReporter |
|
SAXBugCollectionHandler |
Build a BugCollection based on SAX events.
|
SearchTree<VertexType extends GraphVertex<VertexType>> |
SearchTree represents a search tree produced by a graph search algorithm,
such as BreadthFirstSearch or DepthFirstSearch.
|
SearchTreeBuilder<VertexType extends GraphVertex<VertexType>> |
A search tree callback implementation that builds a list of SearchTrees
recording a graph search.
|
SearchTreeCallback<VertexType extends GraphVertex<VertexType>> |
Callback interface for building a search tree from a depth first search.
|
SelfCalls |
Build a call graph of the self calls in a class.
|
SelfMethodCalls |
|
SerializableIdiom |
|
SetBugDatabaseInfo |
Java main application to compute update a historical bug collection with
results from another build/analysis.
|
ShowHelp |
Show command line help.
|
SignatureConverter |
Convert part or all of a Java type signature into something closer to what
types look like in the source code.
|
SignatureParser |
A simple class to parse method signatures.
|
SignatureUtil |
|
SimilarClassFinder |
|
SimilarClassSet |
A set of classes considered similar because of their features.
|
SimplePathEnumerator |
Object to enumerate (some subset of) the simple paths in a CFG.
|
SingleDetectorFactorySelector |
Select a detector factory for a specific detector class.
|
SingleFileCodeBase |
Implementation of ICodeBase for a single classfile.
|
SingleFileCodeBaseEntry |
Codebase entry for a single-file codebase.
|
SingleInstruction |
An abstract PatternElement subclass for pattern elements which must match
exactly one instruction and accept any kind of branch.
|
SlashedClassName |
Denotes a class name or package name where the / character is used to
separate package/class name components.
|
SlashedClassName.Checker |
|
SloppyBugComparator |
Very sloppy bug comparator: if the warnings are of the same type, and in the
same class/method/field, assume they are the same.
|
SlowInputStream |
|
SortedBugCollection |
An implementation of BugCollection that keeps the BugInstances sorted
by class (using the native comparison ordering of BugInstance's compareTo()
method as a tie-breaker).
|
SortedBugCollection.BugInstanceComparator |
|
SortedBugCollection.MultiversionBugInstanceComparator |
|
SortedProperties |
|
SortingBugReporter |
A BugReporter which stores all of the reported bug instances, and sorts them
by class name before printing them.
|
SourceCharset |
|
SourceFile |
Cached data for a source file.
|
SourceFileDataSource |
A data source which can produce a stream for a source file.
|
SourceFinder |
Class to open input streams on source files.
|
SourceInfoMap |
Global information about the source code for an application.
|
SourceInfoMap.SourceLineRange |
A range of source lines.
|
SourceLineAnnotation |
A BugAnnotation that records a range of source lines in a class.
|
SourceMatcher |
|
SourceSearcher |
|
SourceSinkInfo |
Information about a source or sink in the type qualifier dataflow analysis.
|
SourceSinkType |
Types of sources and sinks in type qualifier dataflow analysis.
|
SplitCamelCaseIdentifier |
Split a camel case identifier into individual words.
|
StackDepth |
Dataflow fact to represent the depth of the Java operand stack.
|
StackDepthAnalysis |
A really simple forward dataflow analysis to find the depth of the Java
operand stack.
|
StackMapAnalyzer |
|
StackMapAnalyzer.StackMapAnalysisFactory |
|
StandardTypeMerger |
A TypeMerger which applies standard Java semantics when merging Types.
|
StartInConstructor |
|
StartTime |
|
State |
Error-handling obligation analysis state.
|
StatelessDetector |
is a marker interface for detectors that don't save state from one class file
to the next.
|
StateSet |
A dataflow fact used in ObligationAnalysis.
|
StaticCalendarDetector |
Detector for static fields of type Calendar or
DateFormat and their subclasses.
|
StaticConstant |
Denotes a static field that is initialized to a constant value and then never changes.
|
StaticFieldLoadStreamFactory |
Stream factory for streams created by loading a value from a static field.
|
Store |
A PatternElement representing a store to a field.
|
StoreAnalysis |
|
StoreDataflow |
|
StoreDataflowFactory |
Analysis engine to produce StoreDataflow objects for analyzed methods.
|
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.
|
StreamFactory |
An object that examines a Location and determines if a Stream is created
there.
|
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.
|
StringAnnotation |
Bug annotation class for string values.
|
StringConcatenation |
Find occurrences of using the String "+" or "+=" operators within a loop.
|
StringMatcher |
A boolean predicate for matching String values.
|
Strings |
A class for static String utility methods.
|
StringSetMatch |
Matches a string against a set of predefined values.
|
StronglyConnectedComponents<GraphType extends Graph<EdgeType,VertexType>,EdgeType extends GraphEdge<EdgeType,VertexType>,VertexType extends GraphVertex<VertexType>> |
Algorithm to find strongly connected components in a graph.
|
Subtypes2 |
Class for performing class hierarchy queries.
|
SubtypeTypeMatcher |
Type matcher that determines if a candidate Type is a subtype of a given
Type.
|
SuperfluousInstanceOf |
Find occurrences of a instanceof b where it can be determined statically
whether this is true or false.
|
SupertypeTraversalVisitor |
Visitor interface for simple traversals of the inheritance graph.
|
SuppressionDecorator |
|
SuppressionMatcher |
|
SuspiciousThreadInterrupted |
looks for calls to Thread.interrupted from a non static context, especially
when that context is not 'currentThread()'.
|
SwitchFallthrough |
|
SwitchHandler |
|
SwitchHandler.SwitchDetails |
|
SynchronizationOnSharedBuiltinConstant |
|
SynchronizeAndNullCheckField |
|
SynchronizeOnClassLiteralNotGetClass |
|
SynchronizingOnContentsOfFieldToProtectField |
|
SystemProperties |
|
Target |
The target of a branch instruction.
|
TargetEnumeratingVisitor |
Visitor to find all of the targets of an instruction whose InstructionHandle
is given.
|
TestASM |
Sample detector, using ASM
|
TestCaseDetector |
|
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.
|
TestDesktopIntegration |
|
TestingGround |
|
TestingGround |
|
TestingGround2 |
|
TextUIBugReporter |
Base class for BugReporters which provides convenient formatting and
reporting of warnings and analysis errors.
|
TextUICommandLine |
Helper class to parse the command line and configure the IFindBugsEngine
object.
|
TextUIProgressCallback |
Display FindBugs progress in the terminal window using ASCII codes.
|
ThrownException |
An exception thrown from an instruction.
|
Token |
Simple token class.
|
Tokenizer |
A simple tokenizer for Java source text.
|
TopologicalSort |
|
TopologicalSort.OutEdges<E> |
|
TopologicalSort.OutEdges2<E> |
|
TopologicalSort.OutEdgesCache<E> |
|
TopType |
Special "top" type.
|
TrainFieldStoreTypes |
Build a database of reference types stored into fields.
|
TrainingDetector |
Interface to mark Detector classes which are used only as a training pass.
|
TrainLongInstantfParams |
|
TrainNonNullAnnotations |
Deprecated.
|
TrainUnconditionalDerefParams |
Training pass to find method parameters which are unconditionally
dereferenced.
|
Transpose<GraphType extends Graph<EdgeType,VertexType>,EdgeType extends GraphEdge<EdgeType,VertexType>,VertexType extends GraphVertex<VertexType>> |
Algorithm to transpose a graph.
|
TreemapVisualization |
|
TripleKeyHashMap<K1,K2,K3,V> |
|
TypeAnalysis |
A forward dataflow analysis to determine the types of all values in the Java
stack frame at all points in a Java method.
|
TypeAnnotation |
Bug annotation class for java types.
|
TypeDataflow |
|
TypeDataflow.LocationAndFactPair |
|
TypeDataflowFactory |
Analysis engine to produce TypeDataflow objects for analyzed methods.
|
TypeFrame |
A specialization of Frame for determining the types of values in the
Java stack frame (locals and operand stack).
|
TypeFrameModelingVisitor |
Visitor to model the effects of bytecode instructions on the types of the
values (local and operand stack) in Java stack frames.
|
TypeMatcher |
|
TypeMatcher |
Predicate for matching types.
|
TypeMerger |
Interface for object which merges types for TypeAnalysis.
|
TypeQualifierAnnotation |
A type qualifier applied to a field, method, parameter, or return value.
|
TypeQualifierAnnotationLookupResult |
The result of looking up a TypeQualifierAnnotation.
|
TypeQualifierAnnotationLookupResult.PartialResult |
Partial result of looking up a TypeQualifierAnnotation.
|
TypeQualifierApplications |
Figure out where and how type qualifier annotations are applied.
|
TypeQualifierDatabase |
Store computed type qualifiers for method parameters and return values.
|
TypeQualifierDataflow<AnalysisType extends TypeQualifierDataflowAnalysis> |
Dataflow class for TypeQualifierDataflowAnalysis.
|
TypeQualifierDataflowAnalysis |
Abstract base class for type qualifier dataflow analyses.
|
TypeQualifierDataflowFactory<AnalysisType extends TypeQualifierDataflowAnalysis,DataflowType extends TypeQualifierDataflow<AnalysisType>> |
Factory to create and cache TypeQualifierDataflow objects for a particular
method.
|
TypeQualifierNullnessAnnotationDatabase |
Implementation of INullnessAnnotationDatabase that is based on JSR-305 type
qualifiers.
|
TypeQualifierResolver |
Resolve annotations into type qualifiers.
|
TypeQualifierValue<A extends java.lang.annotation.Annotation> |
A TypeQualifierValue is a pair specifying a type qualifier annotation and a
value.
|
TypeQualifierValueSet |
Set of ValueNumbers and their corresponding FlowValues.
|
TypeReturnNull |
Base class for simple type checking detectors which tests if the method
returns null references for specific types.
|
UncallableMethodOfAnonymousClass |
|
UncheckedAnalysisException |
Common base class for unchecked analysis exceptions.
|
UnconditionalValueDerefAnalysis |
Dataflow analysis to find values unconditionally dereferenced in the future.
|
UnconditionalValueDerefDataflow |
Dataflow to find value numbers unconditionally dereferenced.
|
UnconditionalValueDerefDataflowFactory |
Analysis engine to produce UnconditionalValueDerefDataflow objects for
analyzed methods.
|
UnconditionalValueDerefSet |
A set of values unconditionally dereferenced in the future.
|
UnionResults |
Compute the union of two sets of bug results, preserving annotations.
|
UnnecessaryMath |
Find occurrences of Math using constants, where the result of the calculation
can be determined statically.
|
UnpackedBytecodeCallback |
|
UnpackedCode |
Unpacked code for a method.
|
UnpackedCodeFactory |
Analysis engine to produce UnpackedCode objects for analyzed methods.
|
UnreadFields |
|
UnreadFieldsData |
|
UnresolvedXField |
|
Update |
Java main application to compute update a historical bug collection with
results from another build/analysis.
|
URLClassPath |
A work-alike class to use instead of BCEL's ClassPath class.
|
URLClassPathRepository |
BCEL Repository implementation that uses an URLClassPath to find classes.
|
URLProblems |
equals and hashCode are blocking methods on URL's.
|
UsagesRequiringNonNullValues |
|
UsagesRequiringNonNullValues.Pair |
|
UsagesRequiringNonNullValuesFactory |
|
UseAnnotationDatabase |
A marker interface for detectors which use an AnnotationDatabase.
|
UselessSubclassMethod |
|
UserPreferences |
User Preferences outside of any one Project.
|
UserTextFile |
|
UTF8 |
|
Util |
|
Util |
|
ValueNumber |
A "value number" is a value produced somewhere in a methods.
|
ValueNumberAnalysis |
A dataflow analysis to track the production and flow of values in the Java
stack frame.
|
ValueNumberAnalysisFeatures |
Global flags controlling ValueNumberAnalysis.
|
ValueNumberCache |
A cache mapping instructions and input values to the output values they
produce.
|
ValueNumberCache.Entry |
An entry in the cache.
|
ValueNumberDataflow |
|
ValueNumberDataflowFactory |
Analysis engine to produce ValueNumberDataflow objects for analyzed methods.
|
ValueNumberFactory |
Factory for ValueNumbers.
|
ValueNumberFrame |
A dataflow value representing a Java stack frame with value number
information.
|
ValueNumberFrameModelingVisitor |
Visitor which models the effects of bytecode instructions on value numbers of
values in the operand stack frames.
|
ValueNumberSourceInfo |
Helper methods to find out information about the source of the value
represented by a given ValueNumber.
|
ValueRangeAnalysisFactory |
|
ValueRangeAnalysisFactory.LongRangeSet |
|
ValueRangeAnalysisFactory.RedundantCondition |
|
ValueRangeAnalysisFactory.ValueRangeAnalysis |
|
Values |
a class holding common constants used throughout FindBugs
|
VarArgsProblems |
|
Variable |
A Variable is either a LocalVariable or a FieldVariable.
|
Version |
Version number and release date information.
|
VersionInsensitiveBugComparator |
Compare bug instances by only those criteria which we would expect to remain
constant between versions.
|
VersionMatcher |
|
VertexChooser<VertexType extends GraphVertex<VertexType>> |
VertexChooser specifies an interface for objects that determine whether or
not a vertex is chosen for some purpose.
|
VertexCombinator<VertexType extends GraphVertex<VertexType>> |
Interface for an object which combines a set of vertices into a single
composite vertex; for example, after finding strongly connected components.
|
VisitationTimeComparator<VertexType extends GraphVertex<VertexType>> |
Comparator to compare GraphVertex objects by their visitation times in a
search; for example, it could compare the finishing times produced by
DepthFirstSearch.
|
VolatileUsage |
|
WaitInLoop |
|
WarningComparator |
|
WarningProperty |
Interface that all warning property enumerations are expected to implement.
|
WarningPropertySet<T extends WarningProperty> |
A Set of WarningProperty objects, each with an optional attribute Object.
|
WarningPropertyUtil |
Utility methods for creating general warning properties.
|
WarningSuppressor |
|
Wild |
A wildcard PatternElement, which matches any kind of instruction
indiscriminately.
|
WriteOnceProperties |
|
WrongMapIterator |
|
XClass |
Interface for object representing information about a class.
|
XDocsBugReporter |
BugReporter to output warnings in xdocs format for Maven.
|
XFactory |
Factory methods for creating XMethod objects.
|
XField |
Abstract representation of a field.
|
XMethod |
An XMethod represents symbolic information about a particular method.
|
XMethodParameter |
|
XMLAttributeList |
Helper class to format attributes in an XML tag.
|
XMLAttributeList.NameValuePair |
|
XMLBugReporter |
Report warnings as an XML document.
|
XMLFactoryBypass |
|
XMLOutput |
Interface to generate an XML document in some form.
|
XMLOutputUtil |
Utility routines for writing to XMLOutput.
|
XMLUtil |
|
XMLWriteable |
Interface indicating that an object can write itself to an XML document.
|
XMLWriteableWithMessages |
Write an object to XMLOutput while optionally adding descriptive messages.
|
XPathFind |
Find nodes in a dom4j tree that match a particular XPath expression.
|
ZipCodeBaseFactory |
|
ZipFileCodeBase |
Implementation of ICodeBase to read from a zip file or jar file.
|
ZipFileCodeBaseEntry |
Implementation of ICodeBaseEntry for resources in zipfile codebases.
|
ZipInputStreamCodeBase |
Implementation of ICodeBase to read from a zip file or jar file.
|
ZipInputStreamCodeBaseEntry |
Implementation of ICodeBaseEntry for resources in zipfile codebases.
|
ZipSourceFileDataSource |
A source file data source for source files residing in Zip or Jar archives.
|