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 A bytecode analysis framework for BCEL, providing CFG construction, generic dataflow analysis, and a variety of specific dataflow analyses.edu.umd.cs.findbugs.ba.deref edu.umd.cs.findbugs.ba.npe edu.umd.cs.findbugs.ba.obl Implementation of dataflow analysis for checking whether obligations to close streams and other resources (e.g.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.