Uses of Package
edu.umd.cs.findbugs.ba.npe

Packages that use edu.umd.cs.findbugs.ba.npe
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.npe   
edu.umd.cs.findbugs.detect   
 

Classes in edu.umd.cs.findbugs.ba.npe used by edu.umd.cs.findbugs.ba
IsNullValueDataflow
           
ParameterNullnessPropertyDatabase
          Method property database storing which method parameters might be unconditionally dereferenced.
UnconditionalDerefDataflow
          Dataflow class for UnconditionalDerefAnalysis.
 

Classes in edu.umd.cs.findbugs.ba.npe used by edu.umd.cs.findbugs.ba.npe
IsNullConditionDecision
          A control decision which resulted in information being gained about whether a particular value is null or non-null on the IFCMP_EDGE and FALL_THROUGH_EDGE branches.
IsNullValue
          A class to abstractly represent values in stack slots, indicating whether thoses values can be null, non-null, null on some incoming path, or unknown.
IsNullValueAnalysis
          A dataflow analysis to detect potential null pointer dereferences.
IsNullValueAnalysisFeatures
          Knobs for null value analysis.
IsNullValueDataflow
           
IsNullValueFrame
           
MayReturnNullPropertyDatabase
          Deprecated.  
NonNullContractCollector.SpecificationBuilder
           
NonNullParamViolation
           
NonNullSpecification
           
NullDerefAndRedundantComparisonCollector
          Callback interface for collecting null pointer derefs and redundant null comparisons.
ParameterNullnessProperty
          Method property recording which parameters are (or should be) non-null, meaning that null values should be passed as their arguments.
ParameterNullnessPropertyDatabase
          Method property database storing which method parameters might be unconditionally dereferenced.
RedundantBranch
          An instruction recorded as a redundant reference comparison.
UnconditionalDerefAnalysis
          Dataflow analysis to look for parameters dereferenced unconditionally.
UnconditionalDerefSet
           
WillBeDereferencedInfo
           
 

Classes in edu.umd.cs.findbugs.ba.npe used by edu.umd.cs.findbugs.detect
IsNullValue
          A class to abstractly represent values in stack slots, indicating whether thoses values can be null, non-null, null on some incoming path, or unknown.
NullDerefAndRedundantComparisonCollector
          Callback interface for collecting null pointer derefs and redundant null comparisons.
ParameterNullnessPropertyDatabase
          Method property database storing which method parameters might be unconditionally dereferenced.
RedundantBranch
          An instruction recorded as a redundant reference comparison.