|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Interface Summary | |
---|---|
IsNullValueAnalysisFeatures | Knobs for null value analysis. |
NonNullContractCollector.SpecificationBuilder | |
NullDerefAndRedundantComparisonCollector | Callback interface for collecting null pointer derefs and redundant null comparisons. |
Class Summary | |
---|---|
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. |
IsNullValueDataflow | |
IsNullValueFrame | |
IsNullValueFrameModelingVisitor | |
MayReturnNullPropertyDatabase | Deprecated. |
NonNullContractCollector | Find the contract specified by @NonNull and @CheckForNull parameter annotations in the class hierarchy. |
NonNullParamViolation | |
NonNullReturnValueAnnotationChecker | Deprecated. |
NonNullSpecification | |
NullDerefAndRedundantComparisonFinder | A user-friendly front end for finding null pointer dereferences and redundant null comparisions. |
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. |
UnconditionalDerefDataflow | Dataflow class for UnconditionalDerefAnalysis. |
UnconditionalDerefSet | |
WillBeDereferencedAnalysis | Dataflow analysis to look for parameters dereferenced unconditionally. |
WillBeDereferencedInfo |
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |