| 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.bcp | |
| edu.umd.cs.findbugs.ba.npe | |
| edu.umd.cs.findbugs.ba.type | 
| Modifier and Type | Class and Description | 
|---|---|
class  | 
BetterCFGBuilder2
A CFGBuilder that really tries to construct accurate control flow graphs. 
 | 
class  | 
Edge
An edge of a control flow graph. 
 | 
class  | 
PruneInfeasibleExceptionEdges
Prune a CFG to remove infeasible exception edges. 
 | 
class  | 
PruneUnconditionalExceptionThrowerEdges  | 
class  | 
ResourceValueAnalysis<Resource>  | 
class  | 
ReturnPathAnalysis  | 
class  | 
SimplePathEnumerator
Object to enumerate (some subset of) the simple paths in a CFG. 
 | 
class  | 
TargetEnumeratingVisitor
Visitor to find all of the targets of an instruction whose InstructionHandle
 is given. 
 | 
| Modifier and Type | Class and Description | 
|---|---|
class  | 
IfNull  | 
| Modifier and Type | Class and Description | 
|---|---|
class  | 
IsNullValueAnalysis
A dataflow analysis to detect potential null pointer dereferences. 
 | 
| 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. 
 | 
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.