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.
|
Modifier and Type | Method and Description |
---|---|
void |
AbstractUnitPrinter.constant(Constant c) |
void |
UnitPrinter.constant(Constant c) |
void |
UnitPrinter.constant(Constant c) |
void |
AbstractUnitPrinter.constant(Constant c) |
Modifier and Type | Method and Description |
---|---|
Constant |
IncInst.getConstant() |
Constant |
PushInst.getConstant() |
Constant |
IncInst.getConstant() |
Constant |
PushInst.getConstant() |
Modifier and Type | Method and Description |
---|---|
IncInst |
Baf.newIncInst(Local aLocal,
Constant aConstant) |
IncInst |
Baf.newIncInst(Local aLocal,
Constant aConstant) |
PushInst |
Baf.newPushInst(Constant c) |
PushInst |
Baf.newPushInst(Constant c) |
void |
IncInst.setConstant(Constant aConstant) |
void |
PushInst.setConstant(Constant c) |
void |
IncInst.setConstant(Constant aConstant) |
void |
PushInst.setConstant(Constant c) |
Modifier and Type | Method and Description |
---|---|
Constant |
BIncInst.getConstant() |
Constant |
BPushInst.getConstant() |
Constant |
BIncInst.getConstant() |
Constant |
BPushInst.getConstant() |
Modifier and Type | Method and Description |
---|---|
void |
BIncInst.setConstant(Constant aConstant) |
void |
BPushInst.setConstant(Constant c) |
void |
BIncInst.setConstant(Constant aConstant) |
void |
BPushInst.setConstant(Constant c) |
Constructor and Description |
---|
BIncInst(Local local,
Constant constant) |
BIncInst(Local local,
Constant constant) |
BPushInst(Constant c) |
BPushInst(Constant c) |
Modifier and Type | Method and Description |
---|---|
void |
DavaUnitPrinter.constant(Constant c) |
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) |
Constant |
JimpleBodyBuilder.createConstant(polyglot.ast.Expr expr) |
protected Constant |
AbstractJimpleBodyBuilder.getConstant(Type sootType,
int val) |
protected Constant |
JimpleBodyBuilder.getConstant(Type type,
int val)
Returns a needed constant given a type and val
|
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 |
static HashMap<Constant,SootField> |
CollectConstants.constantsToFields |
static HashMap<Type,List<Constant>> |
CollectConstants.typesToValues |
static HashMap<Type,List<Constant>> |
CollectConstants.typesToValues |
Modifier and Type | Class and Description |
---|---|
class |
ArithmeticConstant |
class |
ClassConstant |
class |
DoubleConstant |
class |
FloatConstant |
class |
IntConstant |
class |
LongConstant |
class |
MethodHandle |
class |
NullConstant |
class |
NumericConstant |
class |
RealConstant |
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 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.
|
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)
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.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() |
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).
|
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.
|
protected void |
SConstantPropagatorAndFolder.propagateResults(Map<Local,Constant> localToConstant)
Propagates constants to the definition and uses of the relevant
locals given a mapping.
|