|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use soot.jimple.toolkits.annotation.nullcheck | |
|---|---|
| soot | Base Soot classes, shared by different intermediate representations. |
| soot.jimple.toolkits.annotation.nullcheck | Classes that carry out an analysis to determine whether or not null pointer checks are necessary. |
| Classes in soot.jimple.toolkits.annotation.nullcheck used by soot | |
|---|---|
| NullPointerChecker
|
|
| NullPointerColorer
|
|
| Classes in soot.jimple.toolkits.annotation.nullcheck used by soot.jimple.toolkits.annotation.nullcheck | |
|---|---|
| NullCheckEliminator.AnalysisFactory
|
|
| NullnessAnalysis
An intraprocedural nullness analysis that computes for each location and each value in a method if the value is (before or after that location) definetely null, definetely non-null or neither. |
|
| NullnessAnalysis.AnalysisInfo
The analysis info is a simple mapping of type Value to
any of the constants BOTTOM, NON_NULL, NULL or TOP. |
|
| NullPointerChecker
|
|
| NullPointerColorer
|
|
| RefIntPair
Deprecated. only used by deprecated type BranchedRefVarsAnalysis; flagged
for future deletion |
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||