| 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.JastAddJ | |
| 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.
|
| soot.toDex |
| 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
|
| Modifier and Type | Class and Description |
|---|---|
class |
UntypedConstant |
class |
UntypedIntOrFloatConstant |
class |
UntypedLongOrDoubleConstant |
| Modifier and Type | Method and Description |
|---|---|
Immediate |
ASTNode.asImmediate(Body b,
Value v) |
| Modifier and Type | Class and Description |
|---|---|
class |
ArithmeticConstant |
class |
ClassConstant |
class |
Constant |
class |
DoubleConstant
Floating point constant with double precision.
|
class |
FloatConstant
Floating point constant with single precision.
|
class |
IntConstant |
class |
LongConstant |
class |
MethodHandle |
class |
MethodType |
class |
NullConstant |
class |
NumericConstant |
class |
RealConstant
Base type for floating point constants.
|
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 |
| 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.
|
| Modifier and Type | Class and Description |
|---|---|
class |
TemporaryRegisterLocal |
Copyright © 2020 Soot OSS. All rights reserved.