|
FindBugs™ 1.3.9 | |||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
See:
Description
Class Summary | |
---|---|
AcmpCondition | Deprecated. |
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. |
DefinitelyNullSetDataflow | |
IfNullCondition | |
NullnessValue | Symbolic values representing the nullness of a runtime value. |
This package is a rewrite of the null-pointer analysis to use sets of value numbers rather than frames. The main advantage of this approach is that it requires no special code to handle the case where a value is stored in the heap and re-appears in a subsequent field load.
This isn't ready for prime time, but may be in the future. Or maybe we'll rewrite the entire dataflow analysis package to use a different bytecode framework, and it will never be used. Hard to say for sure.
|
FindBugs™ 1.3.9 | |||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |