| 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.internal.javaRep | |
| soot.dexpler | |
| soot.grimp |
Public classes for the Grimp intermediate representation.
|
| soot.grimp.internal |
Internal, messy, implementation-specific classes for the Grimp intermediate representation.
|
| soot.jimple |
Public classes for the Jimple intermediate representation.
|
| soot.jimple.internal |
Internal, messy, implementation-specific classes for the Jimple intermediate representation.
|
| soot.jimple.spark.geom.geomPA | |
| soot.jimple.spark.ondemand.pautil | |
| soot.jimple.toolkits.base |
A toolkit to optimize the Jimple IR.
|
| soot.jimple.toolkits.callgraph | |
| soot.jimple.toolkits.pointer | |
| soot.jimple.toolkits.typing.fast | |
| soot.sootify | |
| soot.toolkits.exceptions |
| Modifier and Type | Method and Description |
|---|---|
RefType |
BooleanType.boxedType() |
RefType |
ByteType.boxedType() |
RefType |
CharType.boxedType() |
RefType |
DoubleType.boxedType() |
RefType |
FloatType.boxedType() |
RefType |
IntType.boxedType() |
RefType |
LongType.boxedType() |
abstract RefType |
PrimType.boxedType() |
RefType |
ShortType.boxedType() |
RefType |
LongType.boxedType() |
abstract RefType |
PrimType.boxedType() |
RefType |
BooleanType.boxedType() |
RefType |
DoubleType.boxedType() |
RefType |
ByteType.boxedType() |
RefType |
FloatType.boxedType() |
RefType |
IntType.boxedType() |
RefType |
ShortType.boxedType() |
RefType |
CharType.boxedType() |
RefType |
AnySubType.getBase() |
RefType |
AnySubType.getBase() |
RefType |
Scene.getObjectType()
Returns the
RefType for Object. |
RefType |
Scene.getObjectType()
Returns the
RefType for Object. |
RefType |
Scene.getRefType(java.lang.String className)
Returns the RefType with the given className.
|
RefType |
Scene.getRefType(java.lang.String className)
Returns the RefType with the given className.
|
RefType |
Scene.getRefTypeUnsafe(java.lang.String className)
Returns the RefType with the given className.
|
RefType |
Scene.getRefTypeUnsafe(java.lang.String className)
Returns the RefType with the given className.
|
RefType |
SootClass.getType()
Returns the RefType corresponding to this class.
|
RefType |
SootClass.getType()
Returns the RefType corresponding to this class.
|
RefType |
Singletons.soot_RefType() |
static RefType |
RefType.v() |
static RefType |
RefType.v() |
static RefType |
RefType.v(SootClass c)
Create a RefType for a class.
|
static RefType |
RefType.v(SootClass c)
Create a RefType for a class.
|
static RefType |
RefType.v(java.lang.String className)
Create a RefType for a class.
|
static RefType |
RefType.v(java.lang.String className)
Create a RefType for a class.
|
| Modifier and Type | Method and Description |
|---|---|
static java.util.List<RefType> |
TrapManager.getExceptionTypesOf(Unit u,
Body body)
Given a body and a unit handling an exception,
returns the list of exception types possibly caught
by the handler.
|
static java.util.List<RefType> |
TrapManager.getExceptionTypesOf(Unit u,
Body body)
Given a body and a unit handling an exception,
returns the list of exception types possibly caught
by the handler.
|
| Modifier and Type | Method and Description |
|---|---|
void |
Scene.addRefType(RefType type)
Returns the RefType with the given className.
|
void |
Scene.addRefType(RefType type)
Returns the RefType with the given className.
|
void |
TypeSwitch.caseRefType(RefType t) |
void |
TypeSwitch.caseRefType(RefType t) |
int |
RefType.compareTo(RefType t) |
int |
RefType.compareTo(RefType t) |
java.util.Collection<SootMethod> |
FastHierarchy.resolveConcreteDispatch(java.util.Collection<Type> concreteTypes,
SootMethod m,
RefType declaredTypeOfBase) |
java.util.Collection<SootMethod> |
FastHierarchy.resolveConcreteDispatch(java.util.Collection<Type> concreteTypes,
SootMethod m,
RefType declaredTypeOfBase) |
java.util.Collection<SootMethod> |
FastHierarchy.resolveConcreteDispatchWithoutFailing(java.util.Collection<Type> concreteTypes,
SootMethod m,
RefType declaredTypeOfBase) |
java.util.Collection<SootMethod> |
FastHierarchy.resolveConcreteDispatchWithoutFailing(java.util.Collection<Type> concreteTypes,
SootMethod m,
RefType declaredTypeOfBase) |
void |
AnySubType.setBase(RefType base) |
void |
AnySubType.setBase(RefType base) |
void |
SootClass.setRefType(RefType refType) |
void |
SootClass.setRefType(RefType refType) |
static AnySubType |
AnySubType.v(RefType base) |
static AnySubType |
AnySubType.v(RefType base) |
| Modifier and Type | Method and Description |
|---|---|
RefType |
NewInst.getBaseType() |
RefType |
NewInst.getBaseType() |
| Modifier and Type | Method and Description |
|---|---|
NewInst |
Baf.newNewInst(RefType opType) |
NewInst |
Baf.newNewInst(RefType opType) |
ThisRef |
Baf.newThisRef(RefType t)
Constructs a ThisRef(RefType) grammar chunk.
|
ThisRef |
Baf.newThisRef(RefType t)
Constructs a ThisRef(RefType) grammar chunk.
|
void |
NewInst.setBaseType(RefType type) |
void |
NewInst.setBaseType(RefType type) |
| Modifier and Type | Method and Description |
|---|---|
RefType |
AbstractRefTypeInst.getBaseType() |
RefType |
AbstractRefTypeInst.getBaseType() |
| Modifier and Type | Method and Description |
|---|---|
void |
AbstractRefTypeInst.setBaseType(RefType type) |
void |
AbstractRefTypeInst.setBaseType(RefType type) |
| Constructor and Description |
|---|
AbstractRefTypeInst(RefType opType) |
AbstractRefTypeInst(RefType opType) |
BNewInst(RefType opType) |
BNewInst(RefType opType) |
| Constructor and Description |
|---|
DNewInvokeExpr(RefType type,
SootMethodRef methodRef,
java.util.List args) |
DNewInvokeExpr(RefType type,
SootMethodRef methodRef,
java.util.List args) |
DThisRef(RefType thisType) |
DThisRef(RefType thisType) |
| Constructor and Description |
|---|
DexBody(DexFile dexFile,
Method method,
RefType declaringClassType) |
DexBody(DexFile dexFile,
Method method,
RefType declaringClassType) |
| Modifier and Type | Method and Description |
|---|---|
RefType |
NewInvokeExpr.getBaseType() |
RefType |
NewInvokeExpr.getBaseType() |
| Modifier and Type | Method and Description |
|---|---|
NewInvokeExpr |
Grimp.newNewInvokeExpr(RefType base,
SootMethodRef method,
java.util.List args)
Constructs a NewInvokeExpr(Local base, List of Expr) grammar chunk.
|
NewInvokeExpr |
Grimp.newNewInvokeExpr(RefType base,
SootMethodRef method,
java.util.List args)
Constructs a NewInvokeExpr(Local base, List of Expr) grammar chunk.
|
ThisRef |
Grimp.newThisRef(RefType t)
Constructs a ThisRef(RefType) grammar chunk.
|
ThisRef |
Grimp.newThisRef(RefType t)
Constructs a ThisRef(RefType) grammar chunk.
|
void |
NewInvokeExpr.setBaseType(RefType type) |
void |
NewInvokeExpr.setBaseType(RefType type) |
| Modifier and Type | Method and Description |
|---|---|
RefType |
GNewInvokeExpr.getBaseType() |
RefType |
GNewInvokeExpr.getBaseType() |
| Modifier and Type | Method and Description |
|---|---|
void |
GNewInvokeExpr.setBaseType(RefType type) |
void |
GNewInvokeExpr.setBaseType(RefType type) |
| Constructor and Description |
|---|
GNewInvokeExpr(RefType type,
SootMethodRef methodRef,
java.util.List args) |
GNewInvokeExpr(RefType type,
SootMethodRef methodRef,
java.util.List args) |
| Modifier and Type | Method and Description |
|---|---|
RefType |
NewExpr.getBaseType() |
RefType |
NewExpr.getBaseType() |
| Modifier and Type | Method and Description |
|---|---|
NewExpr |
Jimple.newNewExpr(RefType type)
Constructs a NewExpr(RefType) grammar chunk.
|
NewExpr |
Jimple.newNewExpr(RefType type)
Constructs a NewExpr(RefType) grammar chunk.
|
ThisRef |
Jimple.newThisRef(RefType t)
Constructs a ThisRef(RefType) grammar chunk.
|
ThisRef |
Jimple.newThisRef(RefType t)
Constructs a ThisRef(RefType) grammar chunk.
|
void |
NewExpr.setBaseType(RefType type) |
void |
NewExpr.setBaseType(RefType type) |
| Constructor and Description |
|---|
ThisRef(RefType thisType) |
ThisRef(RefType thisType) |
| Modifier and Type | Method and Description |
|---|---|
RefType |
AbstractNewExpr.getBaseType() |
RefType |
AbstractNewExpr.getBaseType() |
| Modifier and Type | Method and Description |
|---|---|
void |
AbstractNewExpr.setBaseType(RefType type) |
void |
AbstractNewExpr.setBaseType(RefType type) |
| Constructor and Description |
|---|
JNewExpr(RefType type) |
JNewExpr(RefType type) |
| Modifier and Type | Field and Description |
|---|---|
static RefType |
Constants.exeception_type |
static RefType |
Constants.exeception_type |
| Modifier and Type | Method and Description |
|---|---|
static boolean |
SootUtil.inLibrary(RefType type) |
static boolean |
SootUtil.inLibrary(RefType type) |
| Modifier and Type | Method and Description |
|---|---|
protected boolean |
ExceptionChecker.isExceptionCaught(Body b,
Stmt s,
RefType throwType) |
protected boolean |
ExceptionChecker.isExceptionCaught(Body b,
Stmt s,
RefType throwType) |
| Modifier and Type | Field and Description |
|---|---|
protected RefType |
OnFlyCallGraphBuilder.clAsyncTask |
protected RefType |
OnFlyCallGraphBuilder.clAsyncTask |
protected RefType |
OnFlyCallGraphBuilder.clRunnable |
protected RefType |
OnFlyCallGraphBuilder.clRunnable |
| Modifier and Type | Method and Description |
|---|---|
SootMethod |
VirtualCalls.resolveNonSpecial(RefType t,
NumberedString subSig) |
SootMethod |
VirtualCalls.resolveNonSpecial(RefType t,
NumberedString subSig) |
| Modifier and Type | Method and Description |
|---|---|
RefType |
LocalMustNotAliasAnalysis.concreteType(Local l,
Stmt s)
If the given local at the given statement was initialized with a single, concrete new-expression
then the type of this expression is returned.
|
RefType |
LocalMustNotAliasAnalysis.concreteType(Local l,
Stmt s)
If the given local at the given statement was initialized with a single, concrete new-expression
then the type of this expression is returned.
|
| Modifier and Type | Method and Description |
|---|---|
static FullObjectSet |
FullObjectSet.v(RefType t) |
static FullObjectSet |
FullObjectSet.v(RefType t) |
| Modifier and Type | Method and Description |
|---|---|
RefType |
Integer127Type.boxedType() |
RefType |
Integer1Type.boxedType() |
RefType |
Integer32767Type.boxedType() |
RefType |
Integer32767Type.boxedType() |
RefType |
Integer1Type.boxedType() |
RefType |
Integer127Type.boxedType() |
static RefType |
BytecodeHierarchy.lcsc(RefType a,
RefType b) |
static RefType |
BytecodeHierarchy.lcsc(RefType a,
RefType b) |
| Modifier and Type | Method and Description |
|---|---|
static RefType |
BytecodeHierarchy.lcsc(RefType a,
RefType b) |
static RefType |
BytecodeHierarchy.lcsc(RefType a,
RefType b) |
| Modifier and Type | Method and Description |
|---|---|
void |
TypeTemplatePrinter.caseRefType(RefType t) |
void |
TypeTemplatePrinter.caseRefType(RefType t) |
| Modifier and Type | Method and Description |
|---|---|
ThrowableSet |
ThrowableSet.add(RefType e)
Returns a
ThrowableSet which contains e in
addition to the exceptions in this ThrowableSet. |
ThrowableSet |
ThrowableSet.add(RefType e)
Returns a
ThrowableSet which contains e in
addition to the exceptions in this ThrowableSet. |
boolean |
ThrowableSet.catchableAs(RefType catcher)
Indicates whether this ThrowableSet includes some exception that might be
caught by a handler argument of the type
catcher. |
boolean |
ThrowableSet.catchableAs(RefType catcher)
Indicates whether this ThrowableSet includes some exception that might be
caught by a handler argument of the type
catcher. |
ThrowableSet.Pair |
ThrowableSet.whichCatchableAs(RefType catcher)
Partitions the exceptions in this
ThrowableSet into those
which would be caught by a handler with the passed catch
parameter type and those which would not. |
ThrowableSet.Pair |
ThrowableSet.whichCatchableAs(RefType catcher)
Partitions the exceptions in this
ThrowableSet into those
which would be caught by a handler with the passed catch
parameter type and those which would not. |