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