| Package | Description |
|---|---|
| soot |
Base Soot classes, shared by different intermediate representations.
|
| soot.baf |
Public classes for the Baf intermediate representation.
|
| soot.baf.internal |
Internal, messy, implementation-specific classes for the Baf intermediate representation.
|
| soot.dava | |
| soot.dava.internal.javaRep | |
| soot.dexpler.typing | |
| soot.javaToJimple | |
| soot.jbco.jimpleTransformations | |
| soot.jimple |
Public classes for the Jimple intermediate representation.
|
| soot.shimple.toolkits.scalar |
Some analyses based on Shimple.
|
| soot.tagkit |
Classes supporting classfile annotation in Soot.
|
| Modifier and Type | Method and Description |
|---|---|
void |
AbstractUnitPrinter.constant(Constant c) |
void |
UnitPrinter.constant(Constant c) |
| Modifier and Type | Method and Description |
|---|---|
Constant |
PushInst.getConstant() |
Constant |
IncInst.getConstant() |
| Modifier and Type | Method and Description |
|---|---|
IncInst |
Baf.newIncInst(Local aLocal,
Constant aConstant) |
PushInst |
Baf.newPushInst(Constant c) |
void |
PushInst.setConstant(Constant c) |
void |
IncInst.setConstant(Constant aConstant) |
| Modifier and Type | Method and Description |
|---|---|
Constant |
BPushInst.getConstant() |
Constant |
BIncInst.getConstant() |
| Modifier and Type | Method and Description |
|---|---|
void |
BPushInst.setConstant(Constant c) |
void |
BIncInst.setConstant(Constant aConstant) |
| Constructor and Description |
|---|
BIncInst(Local local,
Constant constant) |
BPushInst(Constant c) |
| Modifier and Type | Method and Description |
|---|---|
void |
DavaUnitPrinter.constant(Constant c) |
| Modifier and Type | Class and Description |
|---|---|
class |
DIntConstant |
| Modifier and Type | Class and Description |
|---|---|
class |
UntypedConstant |
class |
UntypedIntOrFloatConstant |
class |
UntypedLongOrDoubleConstant |
| Modifier and Type | Method and Description |
|---|---|
Constant |
JimpleBodyBuilder.createConstant(polyglot.ast.Expr expr) |
protected Constant |
JimpleBodyBuilder.getConstant(Type type,
int val)
Returns a needed constant given a type and val
|
protected Constant |
AbstractJimpleBodyBuilder.getConstant(Type sootType,
int val) |
| Modifier and Type | Field and Description |
|---|---|
static HashMap<Constant,SootField> |
CollectConstants.constantsToFields |
| Modifier and Type | Class and Description |
|---|---|
class |
ArithmeticConstant |
class |
ClassConstant |
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 | Method and Description |
|---|---|
protected abstract void |
PointerStmtSwitch.caseAssignConstStmt(Value dest,
Constant c)
A statement of the form l = constant;
|
protected void |
PointerStmtSwitch.caseReturnConstStmt(Constant val)
A return statement returning a constant.
|
| 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 | Method and Description |
|---|---|
static Constant |
SEvaluator.getFuzzyConstantValueOf(Value v)
If a normal expression contains Bottom, always return Bottom.
|
static Constant |
SEvaluator.getFuzzyConstantValueOf(Value v,
Map<Local,Constant> localToConstant)
Get the constant value of the expression given the assumptions in the localToConstant map (may contain Top and Bottom).
|
static Constant |
SEvaluator.TopConstant.v() |
static Constant |
SEvaluator.BottomConstant.v() |
| Modifier and Type | Method and Description |
|---|---|
static Constant |
SEvaluator.getFuzzyConstantValueOf(Value v,
Map<Local,Constant> localToConstant)
Get the constant value of the expression given the assumptions in the localToConstant map (may contain Top and Bottom).
|
protected void |
SConstantPropagatorAndFolder.propagateResults(Map<Local,Constant> localToConstant)
Propagates constants to the definition and uses of the relevant locals given a mapping.
|
| Modifier and Type | Method and Description |
|---|---|
abstract Constant |
ConstantValueTag.getConstant() |
Copyright © 2020 Soot OSS. All rights reserved.