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 | 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 | Description |
---|---|---|
class |
IfNull |
Modifier and Type | Class | Description |
---|---|---|
class |
IsNullValueAnalysis |
A dataflow analysis to detect potential null pointer dereferences.
|
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.
|
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.