Package | Description |
---|---|
edu.umd.cs.findbugs.ba |
A bytecode analysis framework for BCEL, providing CFG construction,
generic dataflow analysis, and a variety of specific dataflow analyses.
|
edu.umd.cs.findbugs.ba.ca | |
edu.umd.cs.findbugs.ba.constant | |
edu.umd.cs.findbugs.ba.deref | |
edu.umd.cs.findbugs.ba.heap | |
edu.umd.cs.findbugs.ba.jsr305 |
Support for analyzing code containing JSR-305 type qualifier annotations.
|
edu.umd.cs.findbugs.ba.npe | |
edu.umd.cs.findbugs.ba.npe2 |
This package is a rewrite of the null-pointer analysis to use
sets of value numbers rather than frames.
|
edu.umd.cs.findbugs.ba.obl |
Implementation of dataflow analysis for checking whether
obligations to close streams and other resources (e.g.
|
edu.umd.cs.findbugs.ba.type | |
edu.umd.cs.findbugs.ba.vna | |
edu.umd.cs.findbugs.classfile.engine.bcel |
Support for analyses based on the BCEL bytecode framework.
|
Modifier and Type | Class | Description |
---|---|---|
class |
AbstractDataflow<Fact,AnalysisType extends BasicAbstractDataflowAnalysis<Fact>> |
Convenience class for defining Dataflow classes which use a
BasicAbstractDataflowAnalysis subtype.
|
Modifier and Type | Class | Description |
---|---|---|
class |
AbstractDataflowAnalysis<Fact> |
Abstract base class providing functionality that will be useful
for most dataflow analysis implementations that model instructions
within basic blocks.
|
class |
AbstractDominatorsAnalysis |
A dataflow analysis to compute dominator relationships between
basic blocks.
|
class |
BackwardDataflowAnalysis<Fact> |
Abstract base class for backward dataflow analyses.
|
class |
BlockTypeAnalysis |
Dataflow analysis to determine the nesting of catch and finally
blocks within a method.
|
class |
DominatorsAnalysis |
Dataflow analysis to compute dominator sets for a CFG.
|
class |
ForwardDataflowAnalysis<Fact> |
Abstract base class for forward dataflow analyses.
|
class |
FrameDataflowAnalysis<ValueType,FrameType extends Frame<ValueType>> |
A convenient base class for dataflow analysis classes which
use Frames as values.
|
class |
LiveLocalStoreAnalysis |
Dataflow analysis to find live stores of locals.
|
class |
LockAnalysis |
Analysis to determine where particular values are locked in a method.
|
class |
PostDominatorsAnalysis |
Dataflow analysis to compute postdominator sets for a CFG.
|
class |
ResourceValueAnalysis<Resource> |
|
class |
ReturnPathAnalysis |
|
class |
StackDepthAnalysis |
A really simple forward dataflow analysis to find the depth of
the Java operand stack.
|
Modifier and Type | Method | Description |
---|---|---|
static <Fact,AnalysisType extends BasicAbstractDataflowAnalysis<Fact>> |
DataflowCFGPrinter.printCFG(Dataflow<Fact,AnalysisType> dataflow,
java.io.PrintStream out) |
Print CFG annotated with results from given dataflow analysis.
|
Modifier and Type | Class | Description |
---|---|---|
class |
CallListAnalysis |
Modifier and Type | Class | Description |
---|---|---|
class |
ConstantAnalysis |
Dataflow analysis to find constant values.
|
Modifier and Type | Class | Description |
---|---|---|
class |
UnconditionalValueDerefAnalysis |
Dataflow analysis to find values unconditionally dereferenced in the future.
|
Modifier and Type | Class | Description |
---|---|---|
class |
FieldSetAnalysis |
|
class |
LoadAnalysis |
|
class |
StoreAnalysis |
Modifier and Type | Class | Description |
---|---|---|
class |
BackwardTypeQualifierDataflowAnalysis |
Backwards type qualifier dataflow analysis.
|
class |
ForwardTypeQualifierDataflowAnalysis |
Forward type qualifier dataflow analysis.
|
class |
TypeQualifierDataflowAnalysis |
Abstract base class for type qualifier dataflow analyses.
|
Modifier and Type | Class | Description |
---|---|---|
class |
IsNullValueAnalysis |
A dataflow analysis to detect potential null pointer dereferences.
|
class |
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.
|
Modifier and Type | Class | Description |
---|---|---|
class |
DefinitelyNullSetAnalysis |
A simple null-pointer analysis that keeps track of which
value numbers are definitely known to be null.
|
Modifier and Type | Class | Description |
---|---|---|
class |
ObligationAnalysis |
Dataflow analysis to track obligations (i/o streams and other
resources which must be closed).
|
Modifier and Type | Class | Description |
---|---|---|
class |
TypeAnalysis |
A forward dataflow analysis to determine the types of all values
in the Java stack frame at all points in a Java method.
|
Modifier and Type | Class | Description |
---|---|---|
class |
ValueNumberAnalysis |
A dataflow analysis to track the production and flow of values in the Java
stack frame.
|
Modifier and Type | Class | Description |
---|---|---|
class |
NonExceptionPostdominatorsAnalysis |
PostDominatorsAnalysis variant in which all exception edges are ignored.
|
class |
NonImplicitExceptionPostDominatorsAnalysis |
PostDominatorsAnalysis variant in which implicit exception edges are ignored.
|
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.