| Package | Description |
|---|---|
| soot |
Base Soot classes, shared by different intermediate representations.
|
| soot.jimple |
Public classes for the Jimple intermediate representation.
|
| soot.jimple.internal |
Internal, messy, implementation-specific classes for the Jimple intermediate representation.
|
| soot.jimple.toolkits.annotation.nullcheck |
Classes that carry out an analysis to determine whether or not null pointer
checks are necessary.
|
| soot.jimple.toolkits.infoflow |
| Modifier and Type | Interface and Description |
|---|---|
interface |
Local
A local variable, used within Body
classes.
|
| Modifier and Type | Class and Description |
|---|---|
class |
ArithmeticConstant |
class |
ClassConstant |
class |
Constant |
class |
DoubleConstant |
class |
FloatConstant |
class |
IntConstant |
class |
LongConstant |
class |
NullConstant |
class |
NumericConstant |
class |
RealConstant |
class |
StringConstant |
| Modifier and Type | Class and Description |
|---|---|
class |
JimpleLocal |
| Modifier and Type | Method and Description |
|---|---|
boolean |
NullnessAnalysis.isAlwaysNonNullBefore(Unit s,
Immediate i)
Returns
true if the analysis could determine that i is always non-null
before the statement s. |
boolean |
NullnessAnalysis.isAlwaysNullBefore(Unit s,
Immediate i)
Returns
true if the analysis could determine that i is always null
before the statement s. |
boolean |
NullnessAssumptionAnalysis.isAssumedNonNullBefore(Unit s,
Immediate i)
Returns
true if the analysis could determine that i is always treated as non-null
after and including the statement s. |
boolean |
NullnessAssumptionAnalysis.isAssumedNullBefore(Unit s,
Immediate i)
Returns
true if the analysis could determine that i is always treated as null
after and including the statement s. |
| Modifier and Type | Class and Description |
|---|---|
class |
FakeJimpleLocal |
Copyright © 2012-2019 RoboVM AB. All Rights Reserved.