All Classes Interface Summary Class Summary Enum Summary Exception Summary Annotation Types Summary
| Class |
Description |
| AboutDialog |
The Help:About dialog.
|
| AboutDialog |
The Help:About dialog.
|
| 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 |
|
| AbstractCloud |
|
| 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.
|
| AbstractDataflowTestDriver |
Abstract base class for dataflow test driver classes.
|
| AbstractDataflowTestDriver.Knob |
|
| 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.
|
| AcmpCondition |
Deprecated. |
| AddAnnotation |
Add an annotation string to every BugInstance in a BugCollection.
|
| 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.
|
| AnalysisCacheToAnalysisContextAdapter |
An AnalysisContext implementation that uses the
IAnalysisCache.
|
| AnalysisCacheToRepositoryAdapter |
An implementation of org.apache.bcel.util.Repository that
uses the AnalysisCache as its backing store.
|
| AnalysisCallback |
We use this to know how the analysis went in AnalyzingDialog so we can determine what to do next
|
| AnalysisContext |
A context for analysis of a complete project.
|
| AnalysisError |
Object recording a recoverable error that occurred during analysis.
|
| AnalysisErrorDialog |
A dialog to report errors that occured 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 |
|
| AnalysisFeatureSetting |
Configure a specific boolean analysis property.
|
| AnalysisLocal<T> |
|
| AnalysisOptions |
|
| AnalysisPass |
An analysis pass in the overall ExecutionPlan.
|
| AnalysisRun |
Representation of a run of the FindBugs analysis on a Project.
|
| Analyze |
|
| AnalyzingDialog |
|
| AndMatcher |
|
| AnnotatedObject |
|
| AnnotatedString |
Class to handle Strings annotated with embedded mnemonics
Note: Since the human interface guidelines for Mac OS X say never
to use mnemonics, this class behaves as if no mnemonics are set
when run on Mac OS X.
|
| 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.
|
| 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.
|
| BCPMethodReturnCheck |
Deprecated. |
| 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 occuring
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 |
|
| BugAspects |
These are the branches in our tree, each branch forms a complete query that could be sent
to the main bugset to return all the bugs it contains
For example, a single bugAspects could be or it could be ,
,,
In this implementation, , is different from
,. |
| BugCategory |
A BugCategory object collects all of the metadata
for a category of bugs.
|
| BugCellRenderer |
Custom cell renderer for the bug tree.
|
| BugCode |
A BugCode is an abbreviation that is shared among some number
of BugPatterns.
|
| BugCollection |
|
| BugCollectionBugReporter |
|
| BugDesignation |
class to hold the user annotation and user designation for a BugInstance
|
| BugHistory |
Deprecated. |
| BugHistory.SetOperation |
A set operation between two bug collections.
|
| BugInstance |
An instance of a bug pattern.
|
| BugInstanceGroup |
A BugInstanceGroup represents a node in the bug tree which groups
related bug instances.
|
| BugLeafNode |
These are the leaves of the tree, note that coloring is not done here, it is done in BugRenderer
This class is basically just a wrapper for BugInstance
|
| BugLoader |
Everything having to do with loading bugs should end up here.
|
| 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.
|
| BugRanker |
Bug rankers are used to compute a bug rank for each bug instance.
|
| BugRenderer |
|
| BugReporter |
Generic interface for bug reporter objects.
|
| BugReporterObserver |
Observer to determine when a BugReporter reports a bug.
|
| BugSaver |
Save bugs here, uses SortedBugCollection.writeXML()
|
| BugSet |
BugSet is what we use instead of SortedBugCollections.
|
| BugTreeModel |
The treeModel for our JTree
|
| BuildCheckReturnAnnotationDatabase |
Scan application classes for CheckReturnValue annotations.
|
| BuildInterproceduralCallGraph |
Build the interprocedural call graph.
|
| BuildNonNullAnnotationDatabase |
Scan application classes for
NonNull annotations.
|
| BuildNonnullReturnDatabase |
Build database of methods that return values guaranteed to be nonnull
|
| BuildObligationPolicyDatabase |
Build the ObligationPolicyDatabase used by ObligationAnalysis.
|
| 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.
|
| CbeckMustOverrideSuperAnnotation |
|
| 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.
|
| CheckBcel |
Check that the BCEL classes present seem to be the right ones.
|
| CheckBoxList |
A list of JCheckBoxes! How convenient!
Adapted from: http://www.devx.com/tips/Tip/5342
|
| 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 |
Check uses of the ExpectWarning and NoWarning annotations.
|
| CheckForNull |
The annotated element might be null, and uses of the element should check for null.
|
| CheckImmutableAnnotation |
|
| CheckReturnAnnotationDatabase |
|
| CheckReturnValue |
This annotation is used to denote a method whose return value
should always be checked when invoking the method.
|
| CheckReturnValueAnnotation |
|
| CheckTypeQualifiers |
Check JSR-305 type qualifiers.
|
| Churn |
Mine historical information from a BugCollection.
|
| 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 |
|
| CleanupObligation |
Mark a class or interface as a resource type
requiring cleanup.
|
| ClearGuiSaveState |
|
| CloneIdiom |
|
| Cloud |
An interface for describing how a bug collection interacts with the FindBugs
Cloud.
|
| Cloud.BugFilingStatus |
|
| Cloud.CloudListener |
|
| Cloud.Mode |
|
| Cloud.UserDesignation |
|
| CloudFactory |
|
| CommandLine |
Helper class for parsing command line arguments.
|
| CommandLine.HelpRequestedException |
|
| CommandLineUiCallback |
Implementation of the UI callback for command line sessions.
|
| CommentsArea |
|
| CompactLocationNumbering |
Compute a compact numbering of Locations in a CFG.
|
| CompactLocationNumberingFactory |
Analysis engine to produce CompactLocationNumbering objects for methods.
|
| ComparatorIdiom |
|
| CompoundMatcher |
|
| CompoundMatcher |
Deprecated. |
| CompoundMethodChooser |
Deprecated. |
| Condition |
|
| ConfigureDetectorsDialog |
Configure Detectors by enabling/disabling them.
|
| 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.
|
| ConvertToARFF |
Convert a BugCollection into ARFF format.
|
| ConvertToARFF.AbstractClassificationAttribute |
|
| ConvertToARFF.AppNameAttribute |
|
| ConvertToARFF.Attribute |
|
| ConvertToARFF.AttributeCallback |
|
| ConvertToARFF.BinaryClassificationAttribute |
|
| ConvertToARFF.BooleanAttribute |
|
| ConvertToARFF.ClassificationAttribute |
|
| ConvertToARFF.IdAttribute |
An attribute that just gives each instance a unique id.
|
| ConvertToARFF.IdStringAttribute |
|
| ConvertToARFF.NominalAttribute |
|
| ConvertToARFF.NumericAttribute |
|
| ConvertToARFF.PriorityAttribute |
|
| ConvertToARFF.RandomIdAttribute |
|
| 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 |
|
| CreatesObligation |
Mark a constructor or method as creating a resource
which requires cleanup.
|
| 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.
|
| DBCloud |
|
| DBStats |
|
| DeadBugFilter |
|
| DeadLocalStoreProperty |
Warning property for FindDeadLocalStores.
|
| Debug |
|
| Debug |
For debugging purposes only...
|
| DebugRepositoryLookupFailureCallback |
DebugRepositoryLookupFailureCallback implementation for debugging.
|
| Decision |
|
| DeepSubtypeAnalysis |
|
| DefaultAnnotation |
Indicates that all members of the class or package should be
annotated with the default value of the supplied annotation class.
|
| DefaultAnnotationForFields |
Indicates that all members of the class or package should be
annotated with the default value of the supplied annotation class.
|
| DefaultAnnotationForMethods |
Indicates that all members of the class or package should be
annotated with the default value of the supplied annotation class.
|
| DefaultAnnotationForParameters |
Indicates that all members of the class or package should be
annotated with the default value of the supplied annotation class.
|
| DefaultNullnessAnnotations |
|
| DefaultSortedTableModel |
A Table model that sits between the JTable and the real model.
|
| DefectDensity |
Java main application to compute defect density for a bug collection
(stored as an XML collection)
|
| DefinitelyNullSet |
Set of values that is definitely known to be null.
|
| DefinitelyNullSetAnalysis |
A simple null-pointer analysis that keeps track of which
value numbers are definitely known to be null.
|
| DefinitelyNullSetDataflow |
|
| DefinitelyNullSetDataflowFactory |
Analysis engine to produce DefinitelyNullSetDataflow objects
for analyzed methods.
|
| 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.
|
| DesignationMatcher |
Match bug instances having one of given codes or patterns.
|
| DesireNoWarning |
Annotation indicating that no FindBugs warning of the specified type
is desired.
|
| DesireWarning |
Annotation indicating that a FindBugs warning is desired.
|
| 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 constants.
|
| 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.
|
| DischargesObligation |
Mark a method as cleaning up a resource.
|
| 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 |
|
| DisplayNonmodelMessage |
|
| DocumentCharacterIterator |
A CharacterIterator over a Document.
|
| 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.
|
| 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.
|
| Driver |
This is where it all begins
run with -f int to set font size
run with -clear to clear recent projects menu, or any other issues with program not starting properly due to
something being corrupted (or just faulty) in backend store for GUISaveState.
|
| DroppedException |
|
| DualKeyHashMap<K1,K2,V> |
|
| DumbMethodInvocations |
|
| DumbMethods |
|
| DuplicateBranches |
|
| Edge |
An edge of a control flow graph.
|
| 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.
|
| EmptyZipFileEntry |
|
| 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.
|
| EqStringTest |
|
| 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.
|
| ExpectWarning |
Annotation indicating that a FindBugs warning is expected.
|
| 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.
|
| FBClassReader |
|
| FBDialog |
All Dialogs are FBDialogs so font size will work.
|
| FBFileChooser |
All FileChoosers are FBFileChoosers so font size will work
|
| FBFrame |
|
| 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.
|
| FilterActivity |
|
| FilterBugReporter |
|
| FilterException |
|
| FilterFactory |
|
| FilterListener |
Implemented by BugTreeModel.
|
| FilterListener.Action |
|
| FilterMatcher |
Deprecated. |
| FinalizerNullsFields |
|
| FindBadCast |
Deprecated. |
| FindBadCast2 |
|
| FindBadEqualsImplementation |
Find equals(Object) methods that unconditionally dereference the parameter,
rather than returning false if it's null.
|
| FindBadForLoop |
|
| FindBugs |
Static methods and fields useful for working with instances of
IFindBugsEngine.
|
| FindBugs2 |
FindBugs driver class.
|
| FindBugsAnalysisFeatures |
Boolean-valued analysis properties for FindBugs.
|
| FindBugsAnalysisFileFilter |
|
| FindBugsCommandLine |
Base class for FindBugs command line classes.
|
| FindBugsDefaultAnnotations |
FindBugs-specific default-annotation annotations.
|
| FindBugsDisplayFeatures |
|
| FindBugsFBAFileFilter |
|
| FindBugsFBPFileFilter |
|
| FindBugsFilterFileFilter |
|
| FindBugsFrame |
The main GUI frame for FindBugs.
|
| FindBugsLayoutManager |
|
| FindBugsLayoutManagerFactory |
|
| 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.
|
| FindBugsProjectFileFilter |
|
| 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.
|
| 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.FinalConstant |
|
| FindRefComparison.ParameterStringType |
Type representing a String passed as a parameter.
|
| FindRefComparison.StaticStringType |
Type representing a static String.
|
| FindReturnRef |
|
| 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.
|
| 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 possbile 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.
|
| FuzzyBugComparator |
A slightly more intellegent way of comparing BugInstances from two versions
to see if they are the "same".
|
| GeneralWarningProperty |
General warning properties.
|
| GenerateUIDs |
Add uid attributes to BugInstances in a BugCollection.
|
| 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.
|
| 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.
|
| Grouper<ElementType> |
Given a sorted Collection and a Comparator, produces groups of objects
that compare as equal.
|
| Grouper.Callback<ElementType2> |
|
| GUI2CommandLine |
Command line switches/options for GUI2.
|
| GUISaveState |
Saves all the stuff that should be saved for each run,
like recent projects, previous comments, the current docking layout
and the sort order
For project related things, look in ProjectSettings
|
| HelpDialog |
TODO: Write this class.
|
| Hierarchy |
Facade for class hierarchy queries.
|
| Hierarchy2 |
Facade for class hierarchy queries.
|
| HighlightInformation |
|
| 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.
|
| 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.
|
| IFindBugsEngine2 |
Additional capabilities which can be supported by FindBugs engine classes.
|
| IfNull |
|
| IfNullCondition |
|
| IGuiCallback |
Interface for any kind of GUI attached to the current FindBug analysis
|
| 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.
|
| 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 |
Deprecated. |
| InheritanceEdge |
An edge in the InheritanceGraph.
|
| InheritanceGraph |
Graph of inheritance relationships.
|
| InheritanceGraphVisitor |
Visitor interface for traversals of the inheritance graph.
|
| InheritanceUnsafeGetResource |
|
| InitializationChain |
|
| 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.
|
| 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.
|
| 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. |
| JavaScanner |
|
| JavaSourceDocument |
|
| 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.
|
| JCIPAnnotationDatabase |
|
| 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 |
|
| LineNumberer |
|
| 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.
|
| 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.
|
| LockedFields |
|
| 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
|
| MainFrame |
|
| 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.
|
| MayReturnNullPropertyDatabase |
Deprecated. |
| MemberMatcher |
|
| MergeMap<K,V> |
|
| MergeMap.MaxMap<K,V extends java.lang.Comparable<? super V>> |
|
| MergeMap.MinMap<K,V extends java.lang.Comparable<? super V>> |
|
| MergeSummarizeAndView |
Compute the union of two sets of bug results, preserving annotations.
|
| MergeSummarizeAndView.MSVOptions |
|
| 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 |
|
| 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 |
|
| MutableLock |
|
| MutableStaticFields |
|
| NameMatch |
Matches a String value against a predefined specification.
|
| Naming |
|
| Naming.NamingProperty |
|
| NavigableTextPane |
|
| NavigableTextPane.DistanceComparator |
|
| 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.
|
| NewFilterFrame |
Lets you choose your new filter, shouldn't let you choose filters that wouldn't filter anything out
including filters that you already have
|
| NewFilterFromBug |
Allows you to make a new Filter by right clicking (control clicking) on a bug in the tree
|
| NewProjectWizard |
The User Interface for creating a Project and editing it after the fact.
|
| 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.
|
| NonNull |
The annotated element must not be null.
|
| NonNullParamViolation |
|
| NonNullReturnProperty |
|
| NonNullSpecification |
|
| NonReportingDetector |
A Detector which does not report warnings.
|
| NonReportingDetectorToDetector2Adapter |
|
| NoOpFindBugsProgress |
|
| NoteAnnotationRetention |
|
| NoteCheckReturnValue |
|
| 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.
|
| NoWarning |
Annotation indicating that no FindBugs warning is expected.
|
| Nullable |
The annotated element could be null under some circumstances.
|
| 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 comparisions.
|
| NullDerefProperty |
Warning properties for null pointer dereference and redundant null
comparison warnings.
|
| NullIterator<E> |
An Iterator that returns no elements.
|
| NullnessAnnotation |
|
| NullnessAnnotation.Parser |
|
| NullnessAnnotationDatabase |
|
| NullnessValue |
Symbolic values representing the nullness of a runtime 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.
|
| 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.Item |
|
| OpcodeStack.Item.SpecialKind |
|
| OpcodeStack.JumpInfoFactory |
|
| OpcodeStackDetector |
Base class for Detectors that want to scan the bytecode
of a method and use an opcode stack.
|
| OpcodeStackScanner |
|
| OrderingConstraintException |
An exception indicating that the detector ordering constraints
specified by a plugin are invalid.
|
| OriginalGUI2ProjectFile |
|
| 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.
|
| OverrideMustInvoke |
Used to annotate a method that, if overridden, must (or should) be invoked
by an invocation on super in the overriding method.
|
| OverridingEqualsNotSymmetrical |
|
| PackageMemberAnnotation |
Abstract base class for BugAnnotations describing constructs
which are contained in a Java package.
|
| PackageStats |
Class to store package bug statistics.
|
| PackageStats.ClassStats |
|
| PackageWarningSuppressor |
|
| ParameterAnnotationAccumulator |
Accumulate type qualifier annotations for a method parameter.
|
| ParameterNullnessProperty |
Method property recording which parameters are (or should be)
non-null, meaning that null values should not be passed
as their arguments.
|
| ParameterNullnessPropertyDatabase |
Method property database storing which method parameters might
be unconditionally dereferenced.
|
| 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.
|
| PluginException |
An exception to indicate that a plugin could not be loaded.
|
| PluginLoader |
Loader for a FindBugs plugin.
|
| PointerUsageRequiringNonNullValue |
|
| PossiblyNull |
Deprecated.
|
| PostDominatorsAnalysis |
Dataflow analysis to compute postdominator sets for a CFG.
|
| PreferencesFrame |
User Preferences
|
| 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 |
|
| Priority |
|
| 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 |
|
| Profiler.ClassNameComparator |
|
| Profiler.Filter |
|
| Profiler.FilterByCalls |
|
| Profiler.FilterByTime |
|
| Profiler.FilterByTimePerCall |
|
| Profiler.Profile |
|
| Profiler.TimePerCallComparator |
|
| Profiler.TotalCallsComparator |
|
| Profiler.TotalTimeComparator |
|
| ProfilingMapCache<K,V> |
|
| ProgramPoint |
|
| Project |
A project in the GUI.
|
| ProjectFilterSettings |
Settings for user filtering of warnings for a project.
|
| ProjectPackagePrefixes |
|
| ProjectPackagePrefixes.PrefixFilter |
|
| ProjectSettings |
Deprecated. |
| ProjectStats |
Statistics resulting from analyzing a project.
|
| PropertiesDialog |
This is the properties dialog of the GUI.
|
| 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 |
|
| QueryBugAnnotations |
Search for bug instances whose text annotations contain
one of a set of keywords.
|
| QuestionableBooleanAssignment |
|
| QuoteMetaCharacters |
Quote metacharacters in a String.
|
| RapidTypeAnalysis |
Deprecated. |
| ReadOfInstanceFieldInMethodInvokedByConstructorInSuperclass |
|
| ReadReturnShouldBeChecked |
|
| RebornIssues |
Mine historical information from a BugCollection.
|
| RecentMenu |
|
| RecomputableClassAnalysisEngine<ResultType> |
|
| RecursiveFileSearch |
Recursively search a directory, its subdirectories, etc.
|
| RecursiveSearchForJavaFiles |
|
| RedundantBranch |
An instruction recorded as a redundant reference comparison.
|
| 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
|
| ReturnValuesAreNonnullByDefault |
This annotation can be applied to a package, class or method to indicate that the methods
in that element have nonnull return values by default unless there is:
An explicit nullness annotation
The method overrides a method in a superclass (in which case the annotation of the corresponding
parameter in the superclass applies)
there is a default annotation applied to a more tightly nested element.
|
| 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.
|
| RunAnalysisDialog |
A modal dialog to run the actual FindBugs analysis on a project.
|
| RuntimeExceptionCapture |
RuntimeExceptionCapture
|
| 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.
|
| 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 |
|
| Sortables |
A useful enum for dealing with all the types of filterable and sortable data in BugInstances
This is the preferred way for getting the information out of a BugInstance and formatting it for display
It also has the comparators for the different types of data
|
| SortableStringComparator |
|
| 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 |
|
| SorterDialog |
This is the window that pops up when the user double clicks on the sorting table
Its also available from the menu if they remove all Sortables.
|
| SorterTableColumnModel |
Handles the sorting order and informs the treeModel when changes are necessary
|
| SortingBugReporter |
A BugReporter which stores all of the reported bug instances,
and sorts them by class name before printing them.
|
| SourceCodeDisplay |
|
| SourceDirectoryWizard |
Wizard dialog to automatically find and configure
source directories for a project.
|
| 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.
|
| 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.
|
| SplashFrame |
|
| SplitCamelCaseIdentifier |
Split a camel case identifier into individual words.
|
| SplitLayout |
|
| SpringUtilities |
A 1.4 file that provides utility methods for
creating form- or grid-style layouts with SpringLayout.
|
| 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.
|
| StackedFilterMatcher |
Deprecated. |
| 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.
|
| 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.
|
| SuppressionMatcher |
Deprecated. |
| SuppressionMatcher |
|
| SuppressWarnings |
|
| SuspiciousThreadInterrupted |
looks for calls to Thread.interrupted from a non static context, especially when that context is
not 'currentThread()'.
|
| SwingGUIBugReporter |
BugReporter used by AnalysisRun.
|
| SwingThread |
|
| 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 |
This detector is just a test harness to test a dataflow
analysis class specified by the dataflow.classname property.
|
| TestDesktopIntegration |
|
| TestingGround |
|
| TestingGround |
|
| 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.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.
|
| 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 |
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 TypeQualifierValue is a pair specifying a type qualifier annotation
and a value.
|
| TypeQualifierValueSet |
Set of ValueNumbers and their corresponding FlowValues.
|
| 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.
|
| UnknownNullness |
Used to indicate that the nullness of element is unknown, or may vary in
unknown ways in subclasses.
|
| 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 |
|
| 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 |
|
| UseObjectEquals |
|
| UserPreferences |
User Preferences outside of any one Project.
|
| Util |
|
| 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.
|
| 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.
|
| ViewFilter |
|
| 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 |
|
| When |
|
| 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.
|
| 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.
|