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.constant | |
edu.umd.cs.findbugs.ba.heap | |
edu.umd.cs.findbugs.ba.npe | |
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 |
Modifier and Type | Class and Description |
---|---|
class |
FrameDataflowAnalysis<ValueType,FrameType extends Frame<ValueType>>
A convenient base class for dataflow analysis classes which use Frames as
values.
|
class |
LockAnalysis
Analysis to determine where particular values are locked in a method.
|
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 | Class and Description |
---|---|
class |
ConstantAnalysis
Dataflow analysis to find constant values.
|
Modifier and Type | Class and Description |
---|---|
class |
FieldSetAnalysis |
class |
LoadAnalysis |
class |
StoreAnalysis |
Modifier and Type | Class and Description |
---|---|
class |
IsNullValueAnalysis
A dataflow analysis to detect potential null pointer dereferences.
|
Modifier and Type | Class and Description |
---|---|
class |
ObligationAnalysis
Dataflow analysis to track obligations (i/o streams and other resources which
must be closed).
|
Modifier and Type | Class and 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 and Description |
---|---|
class |
ValueNumberAnalysis
A dataflow analysis to track the production and flow of values in the Java
stack frame.
|
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.