FindBugs™ 1.3.9

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.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
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 nonnull
UsagesRequiringNonNullValues
           
 

Classes in edu.umd.cs.findbugs.ba.npe used by edu.umd.cs.findbugs.ba.deref
IsNullValueDataflow
           
IsNullValueFrame
           
 

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.
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.
ParameterNullnessProperty
          Method property recording which parameters are (or should be) non-null, meaning that null values should not be passed as their arguments.
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
IsNullValueDataflow
           
 

Classes in edu.umd.cs.findbugs.ba.npe used by edu.umd.cs.findbugs.classfile.engine.bcel
IsNullValueDataflow
           
ReturnPathTypeDataflow
          Dataflow class for ReturnPathTypeAnalysis.
UsagesRequiringNonNullValues
           
 

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.
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.
 


FindBugs™ 1.3.9

FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.