| 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.npe2 |
This package is a rewrite of the null-pointer analysis to use
sets of value numbers rather than frames.
|
| edu.umd.cs.findbugs.classfile.engine.bcel |
Support for analyses based on the BCEL bytecode framework.
|
| Class and Description |
|---|
| DefinitelyNullSetDataflow |
| Class and Description |
|---|
| Condition |
| Decision |
| DefinitelyNullSet
Set of values that is definitely known to be null.
|
| DefinitelyNullSetAnalysis
A simple null-pointer analysis that keeps track of which
value numbers are definitely known to be null.
|
| NullnessValue
Symbolic values representing the nullness of a runtime value.
|
| Class and Description |
|---|
| DefinitelyNullSetDataflow |
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.