Class Summary |
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. |
AbstractClassMember | |
AbstractDataflow<Fact,AnalysisType> |
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,EdgeType,VertexType> |
Perform a depth first search on a graph.
|
AbstractDominatorsAnalysis |
A dataflow analysis to compute dominator relationships between
basic blocks. |
AbstractEdge<ActualEdgeType,VertexType> |
GraphEdge implementation for use with AbstractGraph.
|
AbstractField | |
AbstractFrameModelingVisitor<Value,FrameType> |
A common base class for frame modeling visitors.
|
AbstractGraph<EdgeType,VertexType> |
A simple Graph implementation where the vertex objects
store a list of incoming and outgoing edges.
|
AbstractMethod | |
AbstractScannableCodeBase |
Abstract base class for implementations of IScannableCodeBase.
|
AbstractScannableCodeBaseEntry | |
AbstractVertex<EdgeType,ActualVertexType> |
GraphVertex implementation for use with AbstractGraph.
|
AbstractWarningProperty |
Abstract base class for implementing warning properties.
|
AcmpCondition | |
AddAnnotation |
Add an annotation string to every BugInstance in a BugCollection. |
AddMessages |
Add human-readable messages to a dom4j tree containing
FindBugs XML output. |
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 |
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. |
AnalysisFeatures |
Boolean analysis properties for use in the AnalysisContext.
|
AnalysisFeatureSetting |
Configure a specific boolean analysis property.
|
AnalysisLocal<T> | |
AnalysisPass |
An analysis pass in the overall ExecutionPlan.
|
AnalysisRun |
Representation of a run of the FindBugs analysis on a Project.
|
Analyze | |
AndMatcher | |
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> | |
AnnotationDetector |
Base class for Detectors which want to perform a preorder traversal of the classfile
including visiting Annotations.
|
AnnotationEnumeration<E> | |
AnnotationRetentionDatabase | |
AnnotationVisitor | |
AnyMethodReturnValueStreamFactory |
Factory for stream objects of a particular
base class type returned by any method.
|
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.
|
AssignedFieldMap | |
AtomicityProblem |
if we get from a ConcurrentHashMap and assign to a variable...
and don't do anything else
and perform a null check on it...
and then do a set on it... (or anything else inside the if that modifies it?)
|
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.
|
BadAppletConstructor | |
BadCastWarningProperty |
Warning property for bad cast warnings.
|
BadlyOverriddenAdapter | |
BadResultSetAccess | |
BadSyntaxForRegularExpression | |
BadUseOfReturnValue | |
BasicAbstractDataflowAnalysis<Fact> |
A useful starting point for defining a dataflow analysis.
|
BasicBlock |
Simple basic block abstraction for BCEL.
|
BasicBlock.InstructionIterator |
A forward Iterator over the instructions of a basic block.
|
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.
|
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 | |
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.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.
|
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.
|
BuildNonnullReturnDatabase |
Build database of methods that return values guaranteed to be nonnull
|
BuildNonNullAnnotationDatabase |
Scan application classes for
NonNull annotations.
|
BuildUnconditionalParamDerefDatabase |
Build database of unconditionally dereferenced parameters.
|
ByInterfaceDetectorFactorySelector | |
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.
|
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 | |
Call | |
CalledMethods |
Detector to find private methods that are never called. |
CallGraph | |
CallGraphEdge | |
CallGraphNode | |
CallList | |
CallListAnalysis | |
CallListDataflow | |
CallSite |
The site of a method call. |
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.
|
CFGPrinter |
Print out a representation of a control-flow graph.
|
CheckBoxList.CellRenderer | |
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.
|
CheckImmutableAnnotation | |
CheckReturnAnnotationDatabase | |
CheckReturnValueAnnotation | |
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.
|
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.
|
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.
see
http://java.sun.com/docs/books/vmspec/2nd-edition/html/ClassFile.doc.html
|
ClassPathBuilder |
Implementation of IClassPathBuilder.
|
ClassPathImpl |
Implementation of IClassPath.
|
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. |
ClassWarningSuppressor | |
CloneIdiom | |
CommandLine |
Helper class for parsing command line arguments. |
CommandLine.HelpRequestedException | |
CommentsArea | |
CompactLocationNumbering |
Compute a compact numbering of Locations in a CFG.
|
ComparatorIdiom | |
CompoundMatcher | |
CompoundMethodChooser | |
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.
|
ConstantFrame |
Dataflow Frame for Constants.
|
ConstantFrameModelingVisitor |
Visitor to model the effect of bytecode instructions
on ConstantFrames.
|
Constants2 | |
ConstraintEdge |
Edge in a ConstraintGraph.
|
ConstraintGraph |
Graph of Detector ordering constraints.
|
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.
|
Dataflow<Fact,AnalysisType> |
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> |
CFGPrinter class which prints dataflow values at
each basic block and instruction. |
DataflowTestDriver<Fact,AnalysisType> |
A test driver for dataflow analysis classes.
|
DataflowValueChooser<Value> |
Predicate for dataflow values.
|
DeadBugFilter | |
DeadLocalStoreProperty |
Warning property for FindDeadLocalStores.
|
Debug | |
Debug |
For debugging purposes only... |
DebugRepositoryLookupFailureCallback |
DebugRepositoryLookupFailureCallback implementation for debugging.
|
Decision | |
DeepSubtypeAnalysis | |
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 | |
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,EdgeType,VertexType> |
Perform a forward depth first search of a graph.
|
DerefFinder | |
DesignationMatcher |
Match bug instances having one of given codes or patterns.
|
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 | |
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.
|
DirectoryCodeBase |
IScannableCodeBase implementation to read resources
from a filesystem directory.
|
DirectoryCodeBaseEntry |
Codebase entry class for directory codebases.
|
DismantleBytecode | |
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.
|
DontCatchIllegalMonitorStateException | |
DontUseEnum | |
DoomedCodeWarningProperty |
A WarningProperty for warnings that are reported at a "doomed" Location;
one that cannot return normally.
|
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 | |
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.
|
EmacsBugReporter |
BugReporter to output warnings in Emacs format.
|
EmptyZipFileEntry | |
EngineRegistrar |
Register analysis engines with an analysis cache.
|
EngineRegistrar | |
EngineRegistrar |
Register BCEL-framework analysis engines.
|
EqStringTest | |
ErrorCountingBugReporter |
A delegating bug reporter which counts reported bug instances,
missing classes, and serious analysis errors. |
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 | |
ExceptionSet.ThrownExceptionIterator |
Object to iterate over the exception types in the set. |
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. |
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.
|
FBFileChooser |
All FileChoosers are FBFileChoosers so font size will work |
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.
|
FieldMatcher | |
FieldOrMethodDescriptor |
Common superclass for FieldDescriptor and MethodDescriptor.
|
FieldPropertyDatabase<Property> |
Interprocedural field property database.
|
FieldSet | |
FieldSetAnalysis | |
FieldStoreType |
Field property storing the types of values stored
in a field. |
FieldStoreTypeDatabase | |
FieldVariable | |
FieldWarningSuppressor | |
FilesystemCodeBaseLocator |
Codebase locator for files and directories in the filesystem.
|
FileSourceFileDataSource |
Data source for source files which are stored 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 | |
FinalizerNullsFields | |
FindBadCast | |
FindBadCast2 | |
FindBadEqualsImplementation |
Find equals(Object) methods that unconditionally dereference the parameter,
rather than returning false if it's null.
|
FindBadForLoop | |
FindBugs |
An instance of this class is used to apply the selected set of
analyses on some collection of Java classes. |
FindBugs2 |
FindBugs driver class.
|
FindBugsAnalysisFeatures |
Boolean-valued analysis properties for FindBugs.
|
FindBugsAnalysisFileFilter | |
FindBugsCommandLine |
Base class for FindBugs command line classes.
|
FindBugsDisplayFeatures | |
FindBugsFBAFileFilter | |
FindBugsFBPFileFilter | |
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.
|
FindOpenStream |
A Detector to look for streams that are opened in a method,
do not escape the method, and are not closed on all paths
out of the method. |
FindPuzzlers | |
FindRefComparison |
Find suspicious reference comparisons.
|
FindReturnRef | |
FindRunInvocations | |
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. |
FirstVersionMatcher |
Matcher to select BugInstances with a particular first version. |
Footprint |
Class to maintain a snapshot of a processes's time and memory usage.
|
Footprint.CollectionBeanWrapper | Wrapper so that possbile NoClassDefFoundError can be caught. |
Footprint.MemoryBeanWrapper | Wrapper so that possbile NoClassDefFoundError can be caught. |
Footprint.OperatingSystemBeanWrapper | Wrapper so that possbile NoClassDefFoundError can be caught. |
ForwardDataflowAnalysis<Fact> |
Abstract base class for forward dataflow analyses.
|
Frame<ValueType> |
Generic class for representing a Java stack frame as a dataflow value. |
FrameDataflowAnalysis<ValueType,FrameType> |
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,VertexType> |
Graph interface; defines the operations used to access and manipulate
a graph. |
GraphEdge<ActualEdgeType,VertexType> |
GraphEdge interface; represents an edge in a graph. |
GraphToolkit<GraphType,EdgeType,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> | |
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 |
HashList<E> |
A list with ArrayList's fast add and set operations,
and HashMap's fast contains and indexOf() operations. |
HelpDialog |
TODO: Write this class. |
Hierarchy |
Facade for class hierarchy queries.
|
HighlightInformation | |
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> |
An engine for analyzing classes or methods.
|
IAnalysisEngineRegistrar |
Interface for a registrar class that registers analysis
engines with an analysis cache.
|
IClassAnalysisEngine |
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.
|
IdentityClassNameRewriter |
ClassNameRewriter that leaves classe names unchanged.
|
IDatabaseFactory<T> |
Interface for a database factory.
|
IDivResultCastToDouble | |
IErrorLogger |
Interface for objects that log various kinds of analysis errors.
|
IfNull | |
IfNullCondition | |
IFindBugsEngine |
Interface for a FindBugs engine class.
|
IMethodAnalysisEngine |
Engine for performing an analysis on methods.
|
IncompatibleTypes | |
IncompatMask |
Find comparisons involving values computed with bitwise
operations whose outcomes are fixed at compile time.
|
InconsistentSyncWarningProperty |
Warning properties for inconsistent synchronization detector.
|
InefficientMemberAccess | |
InefficientToArray |
Find occurrences of collection.toArray( new Foo[0] );
This causes another memory allocation through reflection
Much better to do collection.toArray( new Foo[collection.size()] );
|
InfiniteLoop | |
InfiniteRecursiveLoop | |
InheritanceUnsafeGetResource | |
InitializationChain | |
InnerClassAccess | |
InnerClassAccessMap |
Determine which methods are accessors used
by inner classes to access fields in their enclosing classes.
|
InstanceField | |
InstanceFieldLoadStreamFactory |
StreamFactory for stream objects loaded from instance fields.
|
InstanceMethod | |
InstantiateStaticClass | |
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.
|
InterproceduralFirstPassDetector |
Detector implementing a slow first pass to collect
interprocedural properties for a later detector pass.
|
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. |
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.
|
IsNullValueAnalysisFeatures |
Knobs for null value analysis.
|
IsNullValueDataflow | |
IsNullValueFrame | |
IsNullValueFrameModelingVisitor | |
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.
|
IteratorIdioms | |
JavaClassAnalysisEngine |
Analysis engine to produce a BCEL JavaClass object for
a named class.
|
JavaClassAndMethod |
A JavaClass and a Method belonging to the class.
|
JavaClassAndMethodChooser | |
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 | |
L10N | |
LastVersionMatcher |
Matcher to select BugInstances with a particular last version. |
LaunchAppropriateUI |
Class to launch the appropriate GUI |
LaunchBrowser |
|
LazyInit | |
LegacyAnalysisContext |
Original implementation of AnalysisContext.
|
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.
|
Load |
A PatternElement representing a load from a field.
|
LoadAnalysis | |
LoadDataflow | |
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. |
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.
|
LockDataflow | |
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 | |
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.
|
MatchResult |
The result of matching a single PatternElement against a single instruction.
|
MayReturnNullPropertyDatabase |
MethodPropertyDatabase for keeping track of which methods
may return null.
|
MemberMatcher | |
MergeTree |
Data structure to keep track of which input ValueNumbers were
combined to produce which other output ValueNumbers.
|
MergeVertices<GraphType,EdgeType,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.
|
MethodChooser |
Interface for choosing methods.
|
MethodDescriptor |
Descriptor uniquely identifying a method in a class.
|
MethodHash |
Compute a hash of the bytecode for given method.
|
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> | |
MultithreadedInstanceAccess | |
MutableLock | |
MutableStaticFields | |
NameMatch |
Matches a String value against a predefined specification.
|
Naming | |
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.
|
NewResults | |
NonexistentObligationException | |
NonNullContractCollector |
Find the contract specified by @NonNull and @CheckForNull parameter
annotations in the class hierarchy. |
NonNullContractCollector.SpecificationBuilder | |
NonNullParamViolation | |
NonNullReturnProperty | |
NonNullReturnValueAnnotationChecker |
This callback can be passed to Hierarchy.findInvocationLeastUpperBound
to find the @NonNull or @CheckForNull method return value annotation
which should be applied at a call site.
|
NonNullSpecification | |
NonReportingDetector |
A Detector which does not report warnings.
|
NoOpFindBugsProgress | |
NoteAnnotationRetention | |
NoteCheckReturnValue | |
NoteCheckReturnValueAnnotations |
Scan classes for @CheckReturnValue annotations |
NoteJCIPAnnotation | |
NoteNonnullReturnValues |
As a first scanning pass, make a note of unconditionally dereferenced
parameters for later use by FindNullDerefs.
|
NoteNonNullAnnotations |
Scan classes for @NonNull, @PossiblyNull and @CheckForNull annotations,
and convey them to FindNullDeref. |
NoteSuppressedWarnings | |
NoteUnconditionalParamDerefs |
As a first scanning pass, make a note of unconditionally dereferenced
parameters for later use by FindNullDerefs.
|
NullArgumentWarningProperty |
Warning property for a null argument being passed to a
method which might dereference it.
|
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 | |
NullnessAnnotationDatabase | |
NullnessAnnotation.Parser | |
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.
|
ObligationAnalysis |
Dataflow analysis to track obligations (i/o streams and other
resources which must be closed).
|
ObligationFactory |
Factory for Obligation and ObligationSet objects to be
used in an instance of ObligationAnalysis. |
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. |
OpcodeStackDetector |
Base class for Detectors that want to scan the bytecode
of a method and use an opcode stack.
|
OpcodeStack.Item | |
OrderingConstraintException |
An exception indicating that the detector ordering constraints
specified by a plugin are invalid.
|
OriginalGUI2ProjectFile | |
OrMatcher | |
OutputStreamXMLOutput |
Write XML to an output stream.
|
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 | |
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.
|
Path |
A Path is a sequence of program statements.
|
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 | |
PolicyDatabase |
Policy database which defines which methods create and remove
obligations.
|
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 | |
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.
|
Project |
A project in the GUI.
|
ProjectFilterSettings |
Settings for user filtering of warnings for a project.
|
ProjectStats |
Statistics resulting from analyzing a project. |
PropertiesDialog |
This is the properties dialog of the GUI. |
PropertyDatabase<KeyType,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. |
QueryBugAnnotations |
Search for bug instances whose text annotations contain
one of a set of keywords. |
QuestionableBooleanAssignment | |
QuoteMetaCharacters |
Quote metacharacters in a String.
|
RapidTypeAnalysis |
Driver for performing Rapid Type Analysis (RTA) on a collection of
classes. |
ReadReturnShouldBeChecked | |
RecentMenu | |
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
|
RegenerateClassFeatures |
Repopulate a BugCollection with class features from
the classes in a specified jar file.
|
RelationalOp | |
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> |
Abstract implementation of a Detector to find methods where a
particular kind of created resource is not cleaned up
or closed properly. |
ResourceValue | |
ResourceValueAnalysisTestDriver<Resource,ResourceTrackerType> | |
ResourceValueFrame | |
ResourceValueFrameModelingVisitor | |
ReturnPath | |
ReturnPathAnalysis | |
ReturnPathDataflow | |
ReturnPathType |
A dataflow value that indicates what kind of return path
is possible at the current program location.
|
ReturnPathTypeAnalysis | |
ReturnPathTypeDataflow |
Dataflow class for ReturnPathTypeAnalysis.
|
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,EdgeType,VertexType> |
Perform a reverse depth first search of a graph.
|
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> |
SearchTree represents a search tree produced by a graph
search algorithm, such as BreadthFirstSearch or DepthFirstSearch. |
SearchTreeBuilder<VertexType> |
A search tree callback implementation that builds a
list of SearchTrees recording a graph search.
|
SearchTreeCallback<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. |
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.
|
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.
|
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 | |
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 | |
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. |
StandardTypeMerger |
A TypeMerger which applies standard Java semantics
when merging Types. |
StartInConstructor | |
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.
|
StateSet.StateCallback | |
StaticCalendarDetector |
Detector for static fields of type java.util.Calendar or
java.text.DateFormat and their subclasses. |
StaticField | |
StaticFieldLoadStreamFactory |
Stream factory for streams created by loading a value
from a static field. |
StaticMethod | |
Store |
A PatternElement representing a store to a field.
|
StoreAnalysis | |
StoreDataflow | |
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 integer values.
|
StringConcatenation |
Find occurrences of using the String "+" or "+=" operators
within a loop. |
Strings | A class for static String utility methods. |
StringSetMatch |
Matches a string against a set of predefined values.
|
StronglyConnectedComponents<GraphType,EdgeType,VertexType> |
Algorithm to find strongly connected components in a graph.
|
Subtypes |
Support for class hierarchy queries.
|
SuperfluousInstanceOf |
Find occurrences of a instanceof b where it can be determined
statically whether this is true or false. |
SuppressionMatcher | |
SuspiciousThreadInterrupted |
looks for calls to Thread.interrupted from a non static context, especially when that context is
not 'currentThread()'. |
SwingGUIBugReporter |
BugReporter used by AnalysisRun. |
SwitchFallthrough | |
SwitchHandler | |
SwitchHandler.SwitchDetails | |
SynchronizeAndNullCheckField | |
SystemProperties | |
TabbedLayout | |
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
|
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.
|
ThrownException |
An exception thrown from an instruction.
|
TigerSubstitutes |
This class provides substitutes for 1.5 methods that we don't want to depend upon in
FindBugs.
|
Token |
Simple token class.
|
Tokenizer |
A simple tokenizer for Java source text.
|
TopologicalSort | |
TopologicalSort.OutEdges<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 |
Training detector to
store NonNull, PossiblyNull and CheckForNull annotations to database files.
|
TrainUnconditionalDerefParams |
Training pass to find method parameters which are
unconditionally dereferenced. |
Transpose<GraphType,EdgeType,VertexType> |
Algorithm to transpose a graph. |
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 | |
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.
|
TypeMerger |
Interface for object which merges types for TypeAnalysis.
|
UncallableMethodOfAnonymousClass | |
UnconditionalDerefAnalysis |
Dataflow analysis to look for parameters dereferenced unconditionally.
|
UnconditionalDerefDataflow |
Dataflow class for UnconditionalDerefAnalysis.
|
UnconditionalDerefSet | |
UnconditionalValueDerefAnalysis |
Dataflow analysis to find values unconditionally derefenced in the future.
|
UnconditionalValueDerefDataflow |
Dataflow to find value numbers unconditionally dereferenced.
|
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. |
UnreadFields | |
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 | |
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 | |
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.
|
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> |
VertexChooser specifies an interface for objects that determine
whether or not a vertex is chosen for some purpose.
|
VertexCombinator<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> |
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 |
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.
|
WillBeDereferencedInfo | |
WrongMapIterator | |
XDocsBugReporter |
BugReporter to output warnings in xdocs format for Maven.
|
XFactory |
Factory methods for creating XMethod objects.
|
XField |
Abstract representation of a field.
|
XMethod | |
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. |
ZipFileCodeBase |
Implementation of ICodeBase to read from a zip file or jar file.
|
ZipFileCodeBaseEntry |
Implementation of ICodeBaseEntry for resources in zipfile codebases.
|
ZipSourceFileDataSource |
A source file data source for source files residing in Zip or Jar
archives. |