|
FindBugs™ 1.3.9 | |||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use edu.umd.cs.findbugs.ba.npe2 | |
|---|---|
| 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. |
| Classes in edu.umd.cs.findbugs.ba.npe2 used by edu.umd.cs.findbugs.ba | |
|---|---|
| DefinitelyNullSetDataflow
|
|
| Classes in edu.umd.cs.findbugs.ba.npe2 used by edu.umd.cs.findbugs.ba.npe2 | |
|---|---|
| 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. |
|
| Classes in edu.umd.cs.findbugs.ba.npe2 used by edu.umd.cs.findbugs.classfile.engine.bcel | |
|---|---|
| DefinitelyNullSetDataflow
|
|
|
FindBugs™ 1.3.9 | |||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||