| 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.classfile.engine.bcel |
Support for analyses based on the BCEL bytecode framework.
|
| Modifier and Type | Class and Description |
|---|---|
class |
DominatorsAnalysis
Dataflow analysis to compute dominator sets for a CFG.
|
class |
PostDominatorsAnalysis
Dataflow analysis to compute postdominator sets for a CFG.
|
| Modifier and Type | Class and Description |
|---|---|
class |
NonExceptionPostdominatorsAnalysis
PostDominatorsAnalysis variant in which all exception edges are ignored.
|
class |
NonImplicitExceptionPostDominatorsAnalysis
PostDominatorsAnalysis variant in which implicit exception edges are ignored.
|
SpotBugs is licensed under the LGPL.