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.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.internal | |
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()
|
RefType |
Scene.getObjectType()
|
RefType |
Scene.getRefType(String className)
Returns the RefType with the given className.
|
RefType |
Scene.getRefType(String className)
Returns the RefType with the given className.
|
RefType |
Scene.getRefTypeUnsafe(String className)
Returns the RefType with the given className.
|
RefType |
Scene.getRefTypeUnsafe(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(String className)
Create a RefType for a class.
|
static RefType |
RefType.v(String className)
Create a RefType for a class.
|
Modifier and Type | Method and Description |
---|---|
static 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 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) |
Collection<SootMethod> |
FastHierarchy.resolveConcreteDispatch(Collection<Type> concreteTypes,
SootMethod m,
RefType declaredTypeOfBase) |
Collection<SootMethod> |
FastHierarchy.resolveConcreteDispatch(Collection<Type> concreteTypes,
SootMethod m,
RefType declaredTypeOfBase) |
Collection<SootMethod> |
FastHierarchy.resolveConcreteDispatchWithoutFailing(Collection<Type> concreteTypes,
SootMethod m,
RefType declaredTypeOfBase) |
Collection<SootMethod> |
FastHierarchy.resolveConcreteDispatchWithoutFailing(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,
List args) |
DNewInvokeExpr(RefType type,
SootMethodRef methodRef,
List args) |
DThisRef(RefType thisType) |
DThisRef(RefType thisType) |
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,
List args)
Constructs a NewInvokeExpr(Local base, List of Expr) grammar chunk.
|
NewInvokeExpr |
Grimp.newNewInvokeExpr(RefType base,
SootMethodRef method,
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,
List args) |
GNewInvokeExpr(RefType type,
SootMethodRef methodRef,
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 |
---|---|
void |
SparkLibraryHelper.caseRefType(RefType t)
A new local will be created and connected to
SparkLibraryHelper.node of type RefType . |
void |
SparkLibraryHelper.caseRefType(RefType t)
A new local will be created and connected to
SparkLibraryHelper.node of type RefType . |
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) |
SootMethod |
VirtualCalls.resolveNonSpecial(RefType t,
NumberedString subSig,
boolean appOnly) |
SootMethod |
VirtualCalls.resolveNonSpecial(RefType t,
NumberedString subSig,
boolean appOnly) |
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. |