| 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.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.spark.builder | |
| 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 | Class and Description |
|---|---|
class |
ModuleRefType
A class that models Java's reference types.
|
| Modifier and Type | Field and Description |
|---|---|
protected RefType |
FastHierarchy.rtCloneable |
protected RefType |
FastHierarchy.rtObject |
protected RefType |
FastHierarchy.rtSerializable |
| Modifier and Type | Field and Description |
|---|---|
protected Map<String,RefType> |
Scene.nameToClass |
| Modifier and Type | Method and Description |
|---|---|
RefType |
DoubleType.boxedType() |
RefType |
FloatType.boxedType() |
RefType |
ShortType.boxedType() |
RefType |
IntType.boxedType() |
RefType |
ByteType.boxedType() |
RefType |
LongType.boxedType() |
abstract RefType |
PrimType.boxedType() |
RefType |
BooleanType.boxedType() |
RefType |
CharType.boxedType() |
RefType |
AnySubType.getBase() |
RefType |
Scene.getObjectType()
|
RefType |
ModuleScene.getObjectType() |
RefType |
ModuleScene.getOrAddRefType(RefType tp) |
RefType |
Scene.getOrAddRefType(String refTypeName) |
RefType |
ModuleScene.getOrAddRefType(String className,
com.google.common.base.Optional<String> moduleName) |
RefType |
Scene.getRefType(String className)
Returns the RefType with the given className.
|
RefType |
ModuleScene.getRefType(String className) |
RefType |
ModuleScene.getRefType(String className,
com.google.common.base.Optional<String> moduleName)
Returns the RefType with the given className.
|
RefType |
Scene.getRefTypeUnsafe(String className)
Returns the RefType with the given className.
|
RefType |
ModuleScene.getRefTypeUnsafe(String className) |
RefType |
ModuleScene.getRefTypeUnsafe(String className,
com.google.common.base.Optional<String> moduleName)
Returns the RefType with the given className.
|
RefType |
SootClass.getType()
Returns the RefType corresponding to this class.
|
RefType |
Singletons.soot_RefType() |
static RefType |
RefType.v() |
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 |
ModuleRefType.v(String className) |
static RefType |
ModuleRefType.v(String className,
com.google.common.base.Optional<String> moduleName) |
| 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.
|
| Modifier and Type | Method and Description |
|---|---|
void |
ModuleScene.addRefType(RefType type) |
void |
TypeSwitch.caseRefType(RefType t) |
int |
RefType.compareTo(RefType t) |
RefType |
ModuleScene.getOrAddRefType(RefType tp) |
Collection<SootMethod> |
FastHierarchy.resolveConcreteDispatch(Collection<Type> concreteTypes,
SootMethod m,
RefType declaredTypeOfBase) |
Collection<SootMethod> |
FastHierarchy.resolveConcreteDispatchWithoutFailing(Collection<Type> concreteTypes,
SootMethod m,
RefType declaredTypeOfBase) |
void |
AnySubType.setBase(RefType base) |
void |
SootClass.setRefType(RefType refType) |
static AnySubType |
AnySubType.v(RefType base) |
| Modifier and Type | Method and Description |
|---|---|
RefType |
NewInst.getBaseType() |
| Modifier and Type | Method and Description |
|---|---|
NewInst |
Baf.newNewInst(RefType opType) |
ThisRef |
Baf.newThisRef(RefType t)
Constructs a ThisRef(RefType) grammar chunk.
|
void |
NewInst.setBaseType(RefType type) |
| Modifier and Type | Method and Description |
|---|---|
RefType |
AbstractRefTypeInst.getBaseType() |
| Modifier and Type | Method and Description |
|---|---|
void |
AbstractRefTypeInst.setBaseType(RefType type) |
| Constructor and Description |
|---|
AbstractRefTypeInst(RefType opType) |
BNewInst(RefType opType) |
| Constructor and Description |
|---|
DNewInvokeExpr(RefType type,
SootMethodRef methodRef,
List args) |
DThisRef(RefType thisType) |
| Modifier and Type | Field and Description |
|---|---|
protected RefType |
DexBody.declaringClassType |
| Constructor and Description |
|---|
DexBody(org.jf.dexlib2.iface.MultiDexContainer.DexEntry<? extends org.jf.dexlib2.iface.DexFile> dexFile,
org.jf.dexlib2.iface.Method method,
RefType declaringClassType) |
| Modifier and Type | Method and Description |
|---|---|
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.
|
ThisRef |
Grimp.newThisRef(RefType t)
Constructs a ThisRef(RefType) grammar chunk.
|
void |
NewInvokeExpr.setBaseType(RefType type) |
| Modifier and Type | Method and Description |
|---|---|
RefType |
GNewInvokeExpr.getBaseType() |
| Modifier and Type | Method and Description |
|---|---|
void |
GNewInvokeExpr.setBaseType(RefType type) |
| Constructor and Description |
|---|
GNewInvokeExpr(RefType type,
SootMethodRef methodRef,
List args) |
| Modifier and Type | Method and Description |
|---|---|
RefType |
TypeDecl.sootRef() |
| Modifier and Type | Method and Description |
|---|---|
NewExpr |
Body.newNewExpr(RefType type,
ASTNode location) |
ThisRef |
Body.newThisRef(RefType t,
ASTNode location) |
| Modifier and Type | Method and Description |
|---|---|
RefType |
NewExpr.getBaseType() |
| Modifier and Type | Method and Description |
|---|---|
NewExpr |
Jimple.newNewExpr(RefType type)
Constructs a NewExpr(RefType) grammar chunk.
|
ThisRef |
Jimple.newThisRef(RefType t)
Constructs a ThisRef(RefType) grammar chunk.
|
void |
NewExpr.setBaseType(RefType type) |
| Constructor and Description |
|---|
ThisRef(RefType thisType) |
| Modifier and Type | Method and Description |
|---|---|
RefType |
AbstractNewExpr.getBaseType() |
| Modifier and Type | Method and Description |
|---|---|
void |
AbstractNewExpr.setBaseType(RefType type) |
| Constructor and Description |
|---|
JNewExpr(RefType type) |
| Modifier and Type | Field and Description |
|---|---|
protected RefType |
MethodNodeFactory.rtClass |
protected RefType |
GlobalNodeFactory.rtClassLoader |
protected RefType |
MethodNodeFactory.rtHashMap |
protected RefType |
MethodNodeFactory.rtHashSet |
protected RefType |
MethodNodeFactory.rtHashtableEmptyEnumerator |
protected RefType |
MethodNodeFactory.rtHashtableEmptyIterator |
protected RefType |
MethodNodeFactory.rtLinkedList |
protected RefType |
GlobalNodeFactory.rtObject |
protected RefType |
GlobalNodeFactory.rtString |
protected RefType |
MethodNodeFactory.rtStringType |
protected RefType |
GlobalNodeFactory.rtThread |
protected RefType |
GlobalNodeFactory.rtThreadGroup |
protected RefType |
GlobalNodeFactory.rtThrowable |
| Modifier and Type | Field and Description |
|---|---|
static RefType |
Constants.exeception_type |
| Modifier and Type | Field and Description |
|---|---|
protected RefType |
TypeManager.rtCloneable |
protected RefType |
TypeManager.rtObject |
protected RefType |
TypeManager.rtSerializable |
| 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. |
| Modifier and Type | Method and Description |
|---|---|
static boolean |
SootUtil.inLibrary(RefType type) |
| Modifier and Type | Method and Description |
|---|---|
protected boolean |
ExceptionChecker.isExceptionCaught(Body b,
Stmt s,
RefType throwType) |
| Modifier and Type | Field and Description |
|---|---|
protected RefType |
OnFlyCallGraphBuilder.clAsyncTask |
protected RefType |
OnFlyCallGraphBuilder.clHandler |
protected RefType |
OnFlyCallGraphBuilder.clRunnable |
| Modifier and Type | Method and Description |
|---|---|
protected void |
VirtualCalls.resolveAnySubType(Type declaredType,
Type sigType,
NumberedString subSig,
SootMethod container,
ChunkedQueue<SootMethod> targets,
boolean appOnly,
RefType base) |
protected void |
VirtualCalls.resolveLibrarySignature(Type declaredType,
Type sigType,
NumberedString subSig,
SootMethod container,
ChunkedQueue<SootMethod> targets,
boolean appOnly,
RefType base) |
SootMethod |
VirtualCalls.resolveNonSpecial(RefType t,
NumberedString subSig) |
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.
|
| Modifier and Type | Method and Description |
|---|---|
static FullObjectSet |
FullObjectSet.v(RefType t) |
| Modifier and Type | Method and Description |
|---|---|
RefType |
Integer127Type.boxedType() |
RefType |
Integer32767Type.boxedType() |
RefType |
Integer1Type.boxedType() |
static RefType |
BytecodeHierarchy.lcsc(RefType a,
RefType b) |
static RefType |
BytecodeHierarchy.lcsc(RefType a,
RefType b,
RefType anchor) |
| Modifier and Type | Method and Description |
|---|---|
static RefType |
BytecodeHierarchy.lcsc(RefType a,
RefType b) |
static RefType |
BytecodeHierarchy.lcsc(RefType a,
RefType b,
RefType anchor) |
| Modifier and Type | Method and Description |
|---|---|
void |
TypeTemplatePrinter.caseRefType(RefType t) |
| Modifier and Type | Field and Description |
|---|---|
RefType |
ThrowableSet.Manager.ARITHMETIC_EXCEPTION |
RefType |
ThrowableSet.Manager.ARRAY_INDEX_OUT_OF_BOUNDS_EXCEPTION |
RefType |
ThrowableSet.Manager.ARRAY_STORE_EXCEPTION |
RefType |
ThrowableSet.Manager.CLASS_CAST_EXCEPTION |
RefType |
ThrowableSet.Manager.ILLEGAL_MONITOR_STATE_EXCEPTION |
RefType |
ThrowableSet.Manager.INDEX_OUT_OF_BOUNDS_EXCEPTION |
RefType |
ThrowableSet.Manager.INSTANTIATION_ERROR |
RefType |
ThrowableSet.Manager.NEGATIVE_ARRAY_SIZE_EXCEPTION |
RefType |
ThrowableSet.Manager.NULL_POINTER_EXCEPTION |
RefType |
ThrowableSet.Manager.RUNTIME_EXCEPTION |
| 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. |
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. |
Copyright © 2020 Soot OSS. All rights reserved.