FindBugs™ 1.3.9

Package 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.

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.
 

Package edu.umd.cs.findbugs.ba.npe2 Description

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

FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.