Uses of Package
edu.umd.cs.findbugs.ba.npe2
-
Packages that use edu.umd.cs.findbugs.ba.npe2 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. -
Classes in edu.umd.cs.findbugs.ba.npe2 used by edu.umd.cs.findbugs.ba Class Description DefinitelyNullSetDataflow -
Classes in edu.umd.cs.findbugs.ba.npe2 used by edu.umd.cs.findbugs.ba.npe2 Class 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. -
Classes in edu.umd.cs.findbugs.ba.npe2 used by edu.umd.cs.findbugs.classfile.engine.bcel Class Description DefinitelyNullSetDataflow