|
FindBugs™ 1.3.9 | |||||||||
PREV NEXT | FRAMES NO FRAMES |
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 | |||||||||
PREV NEXT | FRAMES NO FRAMES |