Package | Description |
---|---|
soot |
Base Soot classes, shared by different intermediate representations.
|
soot.baf.internal |
Internal, messy, implementation-specific classes for the Baf intermediate representation.
|
soot.dava.internal.javaRep | |
soot.dexpler.instructions | |
soot.dexpler.typing | |
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 | |
soot.shimple.toolkits.scalar |
Some analyses based on Shimple.
|
Modifier and Type | Interface and Description |
---|---|
interface |
Local
A local variable, used within Body
classes.
|
Modifier and Type | Class and Description |
---|---|
class |
BafLocal |
Modifier and Type | Class and Description |
---|---|
class |
DIntConstant |
Modifier and Type | Method and Description |
---|---|
protected ConditionExpr |
ConditionalJumpInstruction.getComparisonExpr(Immediate one,
Immediate other)
Get comparison expression depending on opcode between two immediates
|
protected ConditionExpr |
ConditionalJumpInstruction.getComparisonExpr(Immediate one,
Immediate other)
Get comparison expression depending on opcode between two immediates
|
Modifier and Type | Class and Description |
---|---|
class |
UntypedConstant |
class |
UntypedIntOrFloatConstant |
class |
UntypedLongOrDoubleConstant |
Modifier and Type | Class and Description |
---|---|
class |
ArithmeticConstant |
class |
ClassConstant |
class |
Constant |
class |
DoubleConstant |
class |
FloatConstant |
class |
IntConstant |
class |
LongConstant |
class |
MethodHandle |
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.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 |
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.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. |
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 |
Modifier and Type | Class and Description |
---|---|
static class |
SEvaluator.BottomConstant
Bottom i.e.
|
static class |
SEvaluator.MetaConstant
Head of a new hierarchy of constants -- Top and Bottom.
|
static class |
SEvaluator.TopConstant
Top i.e.
|