Uses of Package
edu.umd.cs.findbugs.ba.npe
-
Packages that use edu.umd.cs.findbugs.ba.npe Package Description edu.umd.cs.findbugs.ba edu.umd.cs.findbugs.ba.deref edu.umd.cs.findbugs.ba.npe edu.umd.cs.findbugs.ba.obl edu.umd.cs.findbugs.classfile.engine.bcel Support for analyses based on the BCEL bytecode framework.edu.umd.cs.findbugs.detect -
Classes in edu.umd.cs.findbugs.ba.npe used by edu.umd.cs.findbugs.ba Class Description IsNullValueDataflow ParameterNullnessPropertyDatabase Method property database storing which method parameters might be unconditionally dereferenced.ReturnPathTypeDataflow Dataflow class for ReturnPathTypeAnalysis.ReturnValueNullnessPropertyDatabase Method property database storing which methods return values guaranteed to be nonnullTypeQualifierNullnessAnnotationDatabase Implementation of INullnessAnnotationDatabase that is based on JSR-305 type qualifiers.UsagesRequiringNonNullValues -
Classes in edu.umd.cs.findbugs.ba.npe used by edu.umd.cs.findbugs.ba.deref Class Description IsNullValueDataflow IsNullValueFrame -
Classes in edu.umd.cs.findbugs.ba.npe used by edu.umd.cs.findbugs.ba.npe Class Description 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.IsNullValueAnalysis.PointerEqualityCheck IsNullValueAnalysisFeatures Knobs for null value analysis.IsNullValueFrame LocationWhereValueBecomesNull A Location where a particular value number becomes null.NullDerefAndRedundantComparisonCollector Callback interface for collecting null pointer derefs and redundant null comparisons.NullValueUnconditionalDeref Collected information about a single value number observed at one or more locations to be both definitely-null and unconditionally dereferenced.PointerUsageRequiringNonNullValue RedundantBranch An instruction recorded as a redundant reference comparison.ReturnPathType A dataflow value that indicates what kind of return path is possible at the current program location.ReturnPathTypeAnalysis A dataflow analysis to determine, at each location in a method's CFG, whether or not it is possible to return normally at that location.UsagesRequiringNonNullValues UsagesRequiringNonNullValues.Pair -
Classes in edu.umd.cs.findbugs.ba.npe used by edu.umd.cs.findbugs.ba.obl Class Description IsNullValueDataflow -
Classes in edu.umd.cs.findbugs.ba.npe used by edu.umd.cs.findbugs.classfile.engine.bcel Class Description IsNullValueDataflow ReturnPathTypeDataflow Dataflow class for ReturnPathTypeAnalysis.UsagesRequiringNonNullValues -
Classes in edu.umd.cs.findbugs.ba.npe used by edu.umd.cs.findbugs.detect Class Description 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.NullValueUnconditionalDeref Collected information about a single value number observed at one or more locations to be both definitely-null and unconditionally dereferenced.RedundantBranch An instruction recorded as a redundant reference comparison.