Package | Description |
---|---|
soot.jimple.toolkits.annotation.nullcheck |
Classes that carry out an analysis to determine whether or not null pointer
checks are necessary.
|
soot.jimple.toolkits.pointer |
Modifier and Type | Class and Description |
---|---|
class |
BranchedRefVarsAnalysis
Deprecated.
THIS IS KNOWN TO BE BUGGY. USE
NullnessAnalysis INSTEAD! |
class |
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) definitely null,
definitely non-null or neither.
|
Modifier and Type | Class and Description |
---|---|
class |
CastCheckEliminator
A flow analysis that detects redundant cast checks.
|