edu.umd.cs.findbugs.ba.npe
Interfaces 
IsNullValueAnalysisFeatures
NonNullContractCollector.SpecificationBuilder
NullDerefAndRedundantComparisonCollector
Classes 
IsNullConditionDecision
IsNullValue
IsNullValueAnalysis
IsNullValueDataflow
IsNullValueFrame
IsNullValueFrameModelingVisitor
MayReturnNullPropertyDatabase
NonNullContractCollector
NonNullParamViolation
NonNullReturnValueAnnotationChecker
NonNullSpecification
NullDerefAndRedundantComparisonFinder
ParameterNullnessProperty
ParameterNullnessPropertyDatabase
RedundantBranch
UnconditionalDerefAnalysis
UnconditionalDerefDataflow
UnconditionalDerefSet
WillBeDereferencedAnalysis
WillBeDereferencedInfo