|
||||||||||
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.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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |