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.