| Modifier and Type | Class and Description |
|---|---|
class |
AnySubType |
class |
ArrayType
A class that models Java's array types.
|
class |
BooleanType
Soot representation of the Java built-in type 'boolean'.
|
class |
ByteType
Soot representation of the Java built-in type 'byte'.
|
class |
CharType
Soot representation of the Java built-in type 'char'.
|
class |
DoubleType
Soot representation of the Java built-in type 'double'.
|
class |
ErroneousType
Soot representation used for untypable objects.
|
class |
FloatType
Soot representation of the Java built-in type 'float'.
|
class |
IntType
Soot representation of the Java built-in type 'int'.
|
class |
LongType
Soot representation of the Java built-in type 'long'.
|
class |
ModuleRefType
A class that models Java's reference types.
|
class |
NullType
Soot representation of the Java type 'null'.
|
class |
PrimType
Abstract class for Soot classes that that model Java primitive types (ie all types except void, null, reference types, and
array types)
|
class |
RefLikeType
Abstract class for Soot classes that model subtypes of java.lang.Object (ie.
|
class |
RefType
A class that models Java's reference types.
|
class |
ShortType
Soot representation of the Java built-in type 'short'.
|
class |
StmtAddressType
Soot representation of the Java type for a statement address.
|
class |
UnknownType
Soot representation used for not-yet-typed objects.
|
class |
VoidType
Represents the Java void type.
|
| Modifier and Type | Field and Description |
|---|---|
Type |
ArrayType.baseType
baseType can be any type except for an array type, null and void
What is the base type of the array? That is, for an array of type A[][][], how do I find out what the A is? The accepted
way of doing this has always been to look at the public field baseType in ArrayType, ever since the very beginning of
Soot.
|
protected Type[] |
SootMethod.parameterTypes
An array of parameter types taken by this
SootMethod object, in declaration order. |
protected Type |
SootMethod.returnType
The return type of this object.
|
protected Type |
SootField.type |
| Modifier and Type | Field and Description |
|---|---|
protected MultiMap<SootClass,Type> |
SootResolver.classToTypesHierarchy
Maps each resolved class to a list of all references in it.
|
protected MultiMap<SootClass,Type> |
SootResolver.classToTypesSignature
Maps each resolved class to a list of all references in it.
|
protected List<Type> |
SootMethodRefImpl.parameterTypes |
protected IterableNumberer<Type> |
Scene.typeNumberer |
| Modifier and Type | Method and Description |
|---|---|
Type |
NullType.getArrayElementType() |
Type |
ArrayType.getArrayElementType()
If I have a variable x of declared type t, what is a good declared type for the expression ((Object[]) x)[i]? The
getArrayElementType() method in RefLikeType was introduced to answer this question for all classes implementing
RefLikeType.
|
Type |
AnySubType.getArrayElementType() |
Type |
RefType.getArrayElementType() |
Type |
ModuleRefType.getArrayElementType() |
abstract Type |
RefLikeType.getArrayElementType()
If I have a variable x of declared type t, what is a good declared type for the expression ((Object[]) x)[i]? The
getArrayElementType() method in RefLikeType was introduced even later to answer this question for all classes
implementing RefLikeType.
|
Type |
ArrayType.getElementType()
If I get an element of the array, what will be its type? That is, if I have an array a of type A[][][], what is the type
of a[] (it's A[][])? The getElementType() method in ArrayType was introduced to answer this question.
|
Type |
SootMethod.getParameterType(int n)
Gets the type of the nth parameter of this method.
|
Type |
SootMethodInterface.getParameterType(int i) |
Type |
SootMethodRefImpl.getParameterType(int i) |
Type |
SootMethod.getReturnType()
Returns the return type of this method.
|
Type |
SootMethodInterface.getReturnType() |
Type |
SootMethodRefImpl.getReturnType() |
Type |
EquivalentValue.getType() |
Type |
SootField.getType() |
Type |
Value.getType()
Returns the Soot type of this Value.
|
Type |
Scene.getType(String arg)
Returns the RefType with the given class name or primitive type.
|
Type |
ModuleScene.getType(String arg,
com.google.common.base.Optional<String> moduleName)
Returns the RefType with the given class name or primitive type.
|
Type |
Scene.getTypeUnsafe(String arg)
Returns a Type object representing the given type string.
|
Type |
Scene.getTypeUnsafe(String arg,
boolean phantomNonExist)
Returns a Type object representing the given type string.
|
Type |
Type.merge(Type other,
Scene cm)
Returns the least common superclass of this type and other.
|
Type |
UnknownType.merge(Type other,
Scene cm)
Returns the least common superclass of this type and other.
|
Type |
RefType.merge(Type other,
Scene cm)
Returns the least common superclass of this type and other.
|
Type |
ModuleRefType.merge(Type other,
Scene cm)
Returns the least common superclass of this type and other.
|
Type |
SootMethodRef.parameterType(int i)
Deprecated.
|
Type |
SootMethodRefImpl.parameterType(int i) |
Type |
SootMethodRef.returnType()
Deprecated.
|
Type |
SootMethodRefImpl.returnType() |
static Type |
Type.toMachineType(Type t)
Converts the int-like types (short, byte, boolean and char) to IntType.
|
Type |
SootFieldRef.type() |
Type |
AbstractSootFieldRef.type() |
| Modifier and Type | Method and Description |
|---|---|
List<Type> |
SootMethod.getParameterTypes()
Returns a read-only list of the parameter types of this method.
|
List<Type> |
SootMethodInterface.getParameterTypes() |
List<Type> |
SootMethodRefImpl.getParameterTypes() |
IterableNumberer<Type> |
Scene.getTypeNumberer() |
List<Type> |
SootMethodRef.parameterTypes()
Deprecated.
|
List<Type> |
SootMethodRefImpl.parameterTypes() |
Set<Type> |
PointsToSet.possibleTypes()
Set of all possible run-time types of objects in the set.
|
| Modifier and Type | Method and Description |
|---|---|
protected void |
SootResolver.addToResolveWorklist(Type type,
int level) |
boolean |
FastHierarchy.canStoreType(Type child,
Type parent)
Given an object of declared type child, returns true if the object can be stored in a variable of type parent.
|
void |
TypeSwitch.caseDefault(Type t)
Deprecated.
Replaced by defaultCase(Type)
|
boolean |
SootClass.declaresField(String name,
Type type)
Does this class declare a field with the given name and type.
|
boolean |
SootClass.declaresMethod(String name,
List<Type> parameterTypes,
Type returnType)
Does this class declare a method with the given name, parameter types, and return type?
|
void |
TypeSwitch.defaultCase(Type t) |
SootField |
SootClass.getField(String name,
Type type)
Returns the field of this class with the given name and type.
|
SootField |
SootClass.getFieldUnsafe(String name,
Type type)
Returns the field of this class with the given name and type.
|
SootMethod |
SootClass.getMethod(String name,
List<Type> parameterTypes,
Type returnType)
Attempts to retrieve the method with the given name, parameters and return type.
|
SootMethod |
SootClass.getMethodUnsafe(String name,
List<Type> parameterTypes,
Type returnType)
Attempts to retrieve the method with the given name, parameters and return type.
|
static String |
SootMethod.getSignature(SootClass cl,
String name,
List<Type> params,
Type returnType) |
static String |
SootField.getSignature(SootClass cl,
String name,
Type type) |
static String |
SootMethod.getSubSignature(String name,
List<Type> params,
Type returnType) |
protected static String |
SootField.getSubSignature(String name,
Type type) |
static String |
AbstractJasminClass.jasminDescriptorOf(Type type) |
SootFieldRef |
Scene.makeFieldRef(SootClass declaringClass,
String name,
Type type,
boolean isStatic)
Create an unresolved reference to a field.
|
SootMethodRef |
LambdaMetaFactory.makeLambdaHelper(List<? extends Value> bootstrapArgs,
int tag,
String name,
Type[] invokedType,
SootClass enclosingClass) |
SootMethodRef |
Scene.makeMethodRef(SootClass declaringClass,
String name,
List<Type> parameterTypes,
Type returnType,
boolean isStatic)
Create an unresolved reference to a method.
|
SootField |
Scene.makeSootField(String name,
Type type) |
SootField |
Scene.makeSootField(String name,
Type type,
int modifiers) |
SootMethod |
Scene.makeSootMethod(String name,
List<Type> parameterTypes,
Type returnType) |
SootMethod |
Scene.makeSootMethod(String name,
List<Type> parameterTypes,
Type returnType,
int modifiers) |
SootMethod |
Scene.makeSootMethod(String name,
List<Type> parameterTypes,
Type returnType,
int modifiers,
List<SootClass> thrownExceptions) |
Type |
Type.merge(Type other,
Scene cm)
Returns the least common superclass of this type and other.
|
Type |
UnknownType.merge(Type other,
Scene cm)
Returns the least common superclass of this type and other.
|
Type |
RefType.merge(Type other,
Scene cm)
Returns the least common superclass of this type and other.
|
Type |
ModuleRefType.merge(Type other,
Scene cm)
Returns the least common superclass of this type and other.
|
void |
SootMethod.setReturnType(Type t)
Sets the return type of this method.
|
void |
SootField.setType(Type t) |
void |
Local.setType(Type t)
Sets the type of the current variable.
|
static int |
AbstractJasminClass.sizeOfType(Type t) |
static Type |
Type.toMachineType(Type t)
Converts the int-like types (short, byte, boolean and char) to IntType.
|
void |
BriefUnitPrinter.type(Type t) |
abstract void |
AbstractUnitPrinter.type(Type t) |
void |
UnitPrinter.type(Type t) |
abstract void |
LabeledUnitPrinter.type(Type t) |
void |
NormalUnitPrinter.type(Type t) |
static ArrayType |
ArrayType.v(Type baseType,
int numDimensions)
Creates an ArrayType parametrized by a given Type and dimension count.
|
| Modifier and Type | Method and Description |
|---|---|
boolean |
SootClass.declaresMethod(String name,
List<Type> parameterTypes)
Does this class declare a method with the given name and parameter types?
|
boolean |
SootClass.declaresMethod(String name,
List<Type> parameterTypes,
Type returnType)
Does this class declare a method with the given name, parameter types, and return type?
|
SootMethod |
SootClass.getMethod(String name,
List<Type> parameterTypes)
Attempts to retrieve the method with the given name and parameters.
|
SootMethod |
SootClass.getMethod(String name,
List<Type> parameterTypes,
Type returnType)
Attempts to retrieve the method with the given name, parameters and return type.
|
SootMethod |
SootClass.getMethodUnsafe(String name,
List<Type> parameterTypes,
Type returnType)
Attempts to retrieve the method with the given name, parameters and return type.
|
static String |
SootMethod.getSignature(SootClass cl,
String name,
List<Type> params,
Type returnType) |
static String |
SootMethod.getSubSignature(String name,
List<Type> params,
Type returnType) |
SootMethodRef |
Scene.makeConstructorRef(SootClass declaringClass,
List<Type> parameterTypes)
Create an unresolved reference to a constructor.
|
SootMethodRef |
Scene.makeMethodRef(SootClass declaringClass,
String name,
List<Type> parameterTypes,
Type returnType,
boolean isStatic)
Create an unresolved reference to a method.
|
SootMethod |
Scene.makeSootMethod(String name,
List<Type> parameterTypes,
Type returnType) |
SootMethod |
Scene.makeSootMethod(String name,
List<Type> parameterTypes,
Type returnType,
int modifiers) |
SootMethod |
Scene.makeSootMethod(String name,
List<Type> parameterTypes,
Type returnType,
int modifiers,
List<SootClass> thrownExceptions) |
Collection<SootMethod> |
FastHierarchy.resolveConcreteDispatch(Collection<Type> concreteTypes,
SootMethod m,
RefType declaredTypeOfBase) |
List<SootMethod> |
Hierarchy.resolveConcreteDispatch(List<Type> classes,
SootMethod m)
Given a set of definite receiver types, returns a list of possible targets.
|
Collection<SootMethod> |
FastHierarchy.resolveConcreteDispatchWithoutFailing(Collection<Type> concreteTypes,
SootMethod m,
RefType declaredTypeOfBase) |
void |
SootMethod.setParameterTypes(List<Type> l)
Changes the set of parameter types of this method.
|
| Constructor and Description |
|---|
AbstractSootFieldRef(SootClass declaringClass,
String name,
Type type,
boolean isStatic) |
ConflictingFieldRefException(SootField existingField,
Type requestedType) |
PolymorphicMethodRef(SootClass declaringClass,
String name,
List<Type> parameterTypes,
Type returnType,
boolean isStatic)
Constructor.
|
SootField(String name,
Type type)
Constructs a Soot field with the given name, type and no modifiers.
|
SootField(String name,
Type type,
int modifiers)
Constructs a Soot field with the given name, type and modifiers.
|
SootMethod(String name,
List<Type> parameterTypes,
Type returnType)
Constructs a
SootMethod with the given name, parameter types and return type. |
SootMethod(String name,
List<Type> parameterTypes,
Type returnType,
int modifiers)
Constructs a
SootMethod with the given name, parameter types, return type and modifiers. |
SootMethod(String name,
List<Type> parameterTypes,
Type returnType,
int modifiers,
List<SootClass> thrownExceptions)
Constructs a
SootMethod with the given name, parameter types, return type, and list of thrown exceptions. |
SootMethodRefImpl(SootClass declaringClass,
String name,
List<Type> parameterTypes,
Type returnType,
boolean isStatic)
Constructor.
|
| Constructor and Description |
|---|
PolymorphicMethodRef(SootClass declaringClass,
String name,
List<Type> parameterTypes,
Type returnType,
boolean isStatic)
Constructor.
|
SootMethod(String name,
List<Type> parameterTypes,
Type returnType)
Constructs a
SootMethod with the given name, parameter types and return type. |
SootMethod(String name,
List<Type> parameterTypes,
Type returnType,
int modifiers)
Constructs a
SootMethod with the given name, parameter types, return type and modifiers. |
SootMethod(String name,
List<Type> parameterTypes,
Type returnType,
int modifiers,
List<SootClass> thrownExceptions)
Constructs a
SootMethod with the given name, parameter types, return type, and list of thrown exceptions. |
SootMethodRefImpl(SootClass declaringClass,
String name,
List<Type> parameterTypes,
Type returnType,
boolean isStatic)
Constructor.
|
| Modifier and Type | Field and Description |
|---|---|
protected Set<Type> |
SootClassBuilder.deps |
| Modifier and Type | Method and Description |
|---|---|
static Type |
AsmUtil.toBaseType(String internal,
com.google.common.base.Optional<String> moduleName)
Converts an internal class name to a Type.
|
static Type |
AsmUtil.toJimpleRefType(String desc,
com.google.common.base.Optional<String> moduleName)
Converts a type descriptor to a Jimple reference type.
|
static Type |
AsmUtil.toJimpleType(String desc,
com.google.common.base.Optional<String> moduleName)
Converts a type descriptor to a Jimple type.
|
| Modifier and Type | Method and Description |
|---|---|
static List<Type> |
AsmUtil.toJimpleDesc(String desc,
com.google.common.base.Optional<String> moduleName)
Converts a method signature to a list of types, with the last entry in the returned list denoting the return type.
|
| Modifier and Type | Method and Description |
|---|---|
static boolean |
AsmUtil.isDWord(Type type)
Determines if a type is a dword type.
|
| Modifier and Type | Class and Description |
|---|---|
class |
DoubleWordType |
class |
WordType |
| Modifier and Type | Method and Description |
|---|---|
Type |
NewArrayInst.getBaseType() |
Type |
InstanceCastInst.getCastType() |
Type |
InstanceOfInst.getCheckType() |
static Type |
Baf.getDescriptorTypeOf(Type opType) |
Type |
PrimitiveCastInst.getFromType() |
Type |
SwapInst.getFromType() |
Type |
Dup1_x1Inst.getOp1Type() |
Type |
Dup2_x2Inst.getOp1Type() |
Type |
Dup1_x2Inst.getOp1Type() |
Type |
Dup2_x1Inst.getOp1Type() |
Type |
Dup1Inst.getOp1Type() |
Type |
Dup2Inst.getOp1Type() |
Type |
Dup2_x2Inst.getOp2Type() |
Type |
Dup2_x1Inst.getOp2Type() |
Type |
Dup2Inst.getOp2Type() |
Type |
StoreInst.getOpType() |
Type |
LoadInst.getOpType() |
Type |
OpTypeArgInst.getOpType() |
Type |
PrimitiveCastInst.getToType() |
Type |
SwapInst.getToType() |
Type |
Dup1_x1Inst.getUnder1Type() |
Type |
Dup2_x2Inst.getUnder1Type() |
Type |
Dup1_x2Inst.getUnder1Type() |
Type |
Dup2_x1Inst.getUnder1Type() |
Type |
Dup2_x2Inst.getUnder2Type() |
Type |
Dup1_x2Inst.getUnder2Type() |
| Modifier and Type | Method and Description |
|---|---|
List<Type> |
DupInst.getOpTypes() |
List<Type> |
DupInst.getUnderTypes() |
| Modifier and Type | Field and Description |
|---|---|
protected Type |
BNewArrayInst.baseType |
protected Type |
BInstanceCastInst.castType |
protected Type |
BInstanceOfInst.checkType |
protected Type |
BSwapInst.mFromType |
protected Type |
BSwapInst.mToType |
protected Type |
BPopInst.mType |
protected Type |
AbstractOpTypeInst.opType |
protected Type |
AbstractOpTypeBranchInst.opType |
protected Type |
BPrimitiveCastInst.toType |
| Modifier and Type | Method and Description |
|---|---|
Type |
BNewArrayInst.getBaseType() |
Type |
BInstanceCastInst.getCastType() |
Type |
BInstanceOfInst.getCheckType() |
Type |
BPrimitiveCastInst.getFromType() |
Type |
BSwapInst.getFromType() |
Type |
BDup1_x2Inst.getOp1Type() |
Type |
BDup1Inst.getOp1Type() |
Type |
BDup2Inst.getOp1Type() |
Type |
BDup2_x1Inst.getOp1Type() |
Type |
BDup2_x2Inst.getOp1Type() |
Type |
BDup1_x1Inst.getOp1Type() |
Type |
BDup2Inst.getOp2Type() |
Type |
BDup2_x1Inst.getOp2Type() |
Type |
BDup2_x2Inst.getOp2Type() |
Type |
AbstractRefTypeInst.getOpType() |
Type |
AbstractOpTypeInst.getOpType() |
Type |
AbstractOpTypeBranchInst.getOpType() |
Type |
BPrimitiveCastInst.getToType() |
Type |
BSwapInst.getToType() |
Type |
BafLocal.getType() |
Type |
BPopInst.getType() |
Type |
BDup1_x2Inst.getUnder1Type() |
Type |
BDup2_x1Inst.getUnder1Type() |
Type |
BDup2_x2Inst.getUnder1Type() |
Type |
BDup1_x1Inst.getUnder1Type() |
Type |
BDup1_x2Inst.getUnder2Type() |
Type |
BDup2_x2Inst.getUnder2Type() |
| Modifier and Type | Method and Description |
|---|---|
List<Type> |
BDup1_x2Inst.getOpTypes() |
List<Type> |
BDup1Inst.getOpTypes() |
List<Type> |
BDup2Inst.getOpTypes() |
List<Type> |
BDup2_x1Inst.getOpTypes() |
List<Type> |
BDup2_x2Inst.getOpTypes() |
List<Type> |
BDup1_x1Inst.getOpTypes() |
List<Type> |
BDup1_x2Inst.getUnderTypes() |
List<Type> |
BDup1Inst.getUnderTypes() |
List<Type> |
BDup2Inst.getUnderTypes() |
List<Type> |
BDup2_x1Inst.getUnderTypes() |
List<Type> |
BDup2_x2Inst.getUnderTypes() |
List<Type> |
BDup1_x1Inst.getUnderTypes() |
| Modifier and Type | Method and Description |
|---|---|
void |
BNewArrayInst.setBaseType(Type type) |
void |
BInstanceCastInst.setCastType(Type t) |
void |
BInstanceOfInst.setCheckType(Type t) |
void |
BPrimitiveCastInst.setFromType(Type t) |
void |
BSwapInst.setFromType(Type fromType) |
void |
AbstractRefTypeInst.setOpType(Type t) |
void |
AbstractOpTypeInst.setOpType(Type t) |
void |
AbstractOpTypeBranchInst.setOpType(Type t) |
void |
BPrimitiveCastInst.setToType(Type t) |
void |
BSwapInst.setToType(Type toType) |
void |
BafLocal.setType(Type t) |
| Modifier and Type | Class and Description |
|---|---|
class |
Double2ndHalfType |
class |
Long2ndHalfType |
class |
UnusuableType |
| Modifier and Type | Method and Description |
|---|---|
Type |
Util.jimpleTypeOfFieldDescriptor(String descriptor) |
Type[] |
Util.jimpleTypesOfFieldOrMethodDescriptor(String descriptor) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
UnusuableType.equals(Type otherType) |
boolean |
Long2ndHalfType.equals(Type otherType) |
boolean |
Double2ndHalfType.equals(Type otherType) |
| Modifier and Type | Method and Description |
|---|---|
void |
Util.resolveFromClassFile(SootClass aClass,
InputStream is,
String filePath,
Collection<Type> references) |
| Modifier and Type | Method and Description |
|---|---|
Local |
Dava.newLocal(String name,
Type t) |
void |
DavaUnitPrinter.type(Type t) |
| Modifier and Type | Field and Description |
|---|---|
Type |
DIntConstant.type |
| Modifier and Type | Method and Description |
|---|---|
Type |
DCmpgExpr.getType() |
Type |
DCmpExpr.getType() |
Type |
DNotExpr.getType() |
Type |
DArrayInitExpr.getType() |
Type |
DShortcutIf.getType() |
Type |
DVariableDeclarationStmt.getType() |
Type |
DCmplExpr.getType() |
| Modifier and Type | Method and Description |
|---|---|
boolean |
DVariableDeclarationStmt.isOfType(Type type) |
static DIntConstant |
DIntConstant.v(int value,
Type type) |
| Constructor and Description |
|---|
DArrayInitExpr(ValueBox[] elements,
Type type) |
DNewArrayExpr(Type type,
Value size) |
DShortcutAssignStmt(DAssignStmt assignStmt,
Type type) |
DVariableDeclarationStmt(Type decType,
DavaBody davaBody) |
| Modifier and Type | Method and Description |
|---|---|
void |
DepthFirstAdapter.caseType(Type t) |
void |
Analysis.caseType(Type t) |
void |
AnalysisAdapter.caseType(Type t) |
void |
DepthFirstAdapter.inType(Type t) |
void |
DepthFirstAdapter.outType(Type t) |
| Modifier and Type | Method and Description |
|---|---|
AugmentedStmt |
SuperFirstStmtHandler.createStmtAccordingToType(Type tempType,
Value tempVal,
Local newLocal,
SootMethodRef getMethodRef) |
Value |
SuperFirstStmtHandler.getProperCasting(Type tempType,
DVirtualInvokeExpr tempInvokeExpr) |
| Modifier and Type | Method and Description |
|---|---|
static boolean |
RemoveFullyQualifiedName.containsMultiple(Iterator it,
String qualifiedName,
Type t) |
static String |
RemoveFullyQualifiedName.getReducedName(IterableSet importList,
String qualifiedName,
Type t) |
| Modifier and Type | Field and Description |
|---|---|
Type |
DexBody.RegDbgEntry.type |
| Modifier and Type | Field and Description |
|---|---|
protected List<Type> |
DexBody.parameterTypes |
| Modifier and Type | Method and Description |
|---|---|
protected Type |
DexTransformer.findArrayType(LocalDefs localDefs,
Stmt arrayStmt,
int depth,
Set<Unit> alreadyVisitedDefs) |
static Type |
Util.getType(String type) |
Type |
DexType.toSoot()
Return the appropriate Soot Type for this DexType.
|
static Type |
DexType.toSoot(String type) |
static Type |
DexType.toSoot(org.jf.dexlib2.iface.reference.TypeReference type)
Return the appropriate Soot Type for the given TypeReference.
|
| Modifier and Type | Method and Description |
|---|---|
protected List<Type> |
DexMethod.getParameterTypes(org.jf.dexlib2.iface.Method method) |
Set<Type> |
DexBody.usedTypes()
Return the types that are used in this body.
|
| Modifier and Type | Method and Description |
|---|---|
static boolean |
Util.isFloatLike(Type t)
Returns if the type is a floating point type.
|
protected static boolean |
AbstractNullTransformer.isObject(Type t) |
abstract void |
DvkTyperBase.setType(ValueBox v,
Type type) |
void |
IDalvikTyper.setType(ValueBox v,
Type type,
boolean isUse) |
| Modifier and Type | Field and Description |
|---|---|
protected Type |
MoveExceptionInstruction.realType |
| Modifier and Type | Method and Description |
|---|---|
protected Type |
AputInstruction.getTargetType(DexBody body) |
protected Type |
SputInstruction.getTargetType(DexBody body) |
protected Type |
FieldInstruction.getTargetType(DexBody body)
Return the target type for put instructions.
|
protected Type |
IputInstruction.getTargetType(DexBody body) |
| Modifier and Type | Method and Description |
|---|---|
protected List<Type> |
MethodInvocationInstruction.convertParameterTypes(List<? extends CharSequence> paramTypes)
Converts a list of dex string parameter types to soot types.
|
Set<Type> |
CheckCastInstruction.introducedTypes() |
Set<Type> |
DexlibAbstractInstruction.introducedTypes()
Return the types that are be introduced by this instruction.
|
Set<Type> |
NewArrayInstruction.introducedTypes() |
Set<Type> |
FieldInstruction.introducedTypes() |
Set<Type> |
InstanceOfInstruction.introducedTypes() |
Set<Type> |
MethodInvocationInstruction.introducedTypes() |
Set<Type> |
NewInstanceInstruction.introducedTypes() |
Set<Type> |
FilledArrayInstruction.introducedTypes() |
Set<Type> |
ConstClassInstruction.introducedTypes() |
| Modifier and Type | Method and Description |
|---|---|
void |
MoveExceptionInstruction.setRealType(DexBody body,
Type t) |
void |
RetypeableInstruction.setRealType(DexBody body,
Type t)
Swap generic exception type with the given one.
|
| Modifier and Type | Method and Description |
|---|---|
Type |
UntypedConstant.getType() |
| Modifier and Type | Method and Description |
|---|---|
protected void |
DalvikTyper.checkExpr(Value v,
Type t) |
Value |
UntypedIntOrFloatConstant.defineType(Type t) |
abstract Value |
UntypedConstant.defineType(Type type) |
Value |
UntypedLongOrDoubleConstant.defineType(Type t) |
void |
DalvikTyper.setType(ValueBox vb,
Type t,
boolean isUse) |
| Modifier and Type | Method and Description |
|---|---|
CastExpr |
Grimp.newCastExpr(Value op1,
Type t)
Constructs a CastExpr(Expr, Type) grammar chunk.
|
InstanceOfExpr |
Grimp.newInstanceOfExpr(Value op1,
Type t)
Constructs a InstanceOfExpr(Expr, Type) grammar chunk.
|
Local |
Grimp.newLocal(String name,
Type t)
Constructs a Local with the given name and type.
|
NewArrayExpr |
Grimp.newNewArrayExpr(Type type,
Value size)
Constructs a NewArrayExpr(Type, Expr) grammar chunk.
|
ParameterRef |
Grimp.newParameterRef(Type paramType,
int number)
Constructs a ParameterRef(SootMethod, int) grammar chunk.
|
| Modifier and Type | Method and Description |
|---|---|
Type |
GShrExpr.getType() |
Type |
GShlExpr.getType() |
Type |
GUshrExpr.getType() |
Type |
GNewInvokeExpr.getType() |
| Constructor and Description |
|---|
GCastExpr(Value op,
Type type) |
GInstanceOfExpr(Value op,
Type checkType) |
GNewArrayExpr(Type type,
Value size) |
| Modifier and Type | Field and Description |
|---|---|
protected Type |
VoidType.getSootType_value |
protected Type |
DoubleType.getSootType_value |
protected Type |
FloatType.getSootType_value |
protected Type |
ShortType.getSootType_value |
protected Type |
ArrayDecl.getSootType_value |
protected Type |
IntType.getSootType_value |
protected Type |
ByteType.getSootType_value |
protected Type |
LongType.getSootType_value |
protected Type |
BooleanType.getSootType_value |
protected Type |
TypeDecl.getSootType_value |
protected Type |
CharType.getSootType_value |
| Modifier and Type | Method and Description |
|---|---|
Type |
VoidType.getSootType() |
Type |
DoubleType.getSootType() |
Type |
FloatType.getSootType() |
Type |
ShortType.getSootType() |
Type |
ArrayDecl.getSootType() |
Type |
IntType.getSootType() |
Type |
ByteType.getSootType() |
Type |
LongType.getSootType() |
Type |
BooleanType.getSootType() |
Type |
TypeDecl.getSootType() |
Type |
CharType.getSootType() |
| Modifier and Type | Method and Description |
|---|---|
Local |
ASTNode.asLocal(Body b,
Value v,
Type t) |
CastExpr |
Body.newCastExpr(Value op1,
Type t,
ASTNode location) |
InstanceOfExpr |
Body.newInstanceOfExpr(Value op1,
Type t,
ASTNode location) |
Local |
Body.newLocal(String name,
Type type) |
NewArrayExpr |
Body.newNewArrayExpr(Type type,
Value size,
ASTNode location) |
ParameterRef |
Body.newParameterRef(Type paramType,
int number,
ASTNode location) |
Local |
Body.newTemp(Type type) |
| Modifier and Type | Method and Description |
|---|---|
protected void |
Expr.addDependencyIfNeeded(Collection<Type> set,
TypeDecl type) |
void |
Expr.collectTypesToHierarchy(Collection<Type> set) |
void |
ASTNode.collectTypesToHierarchy(Collection<Type> set) |
void |
ConstructorAccess.collectTypesToSignatures(Collection<Type> set) |
void |
MethodAccess.collectTypesToSignatures(Collection<Type> set) |
void |
ASTNode.collectTypesToSignatures(Collection<Type> set) |
void |
ClassInstanceExpr.collectTypesToSignatures(Collection<Type> set) |
void |
SuperConstructorAccess.collectTypesToSignatures(Collection<Type> set) |
void |
VarAccess.collectTypesToSignatures(Collection<Type> set) |
| Modifier and Type | Field and Description |
|---|---|
Set<Type> |
IInitialResolver.Dependencies.typesToHierarchy |
Set<Type> |
IInitialResolver.Dependencies.typesToSignature |
| Modifier and Type | Method and Description |
|---|---|
static Type |
Util.getSootType(polyglot.types.Type type)
Type handling
|
Type |
AnonClassInitMethodSource.outerClassType() |
Type |
AnonClassInitMethodSource.superOuterType() |
Type |
AnonClassInitMethodSource.thisOuterType() |
| Modifier and Type | Method and Description |
|---|---|
protected Local |
LocalGenerator.createLocal(String name,
Type sootType) |
protected Local |
JimpleBodyBuilder.generateLocal(Type sootType) |
protected Local |
AbstractJimpleBodyBuilder.generateLocal(Type sootType) |
Local |
LocalGenerator.generateLocal(Type type)
generates a new soot local given the type
|
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) |
protected Local |
JimpleBodyBuilder.getThis(Type sootType) |
protected Local |
AbstractJimpleBodyBuilder.getThis(Type sootType) |
static Local |
Util.getThis(Type sootType,
Body body,
HashMap getThisMap,
LocalGenerator lg) |
static Local |
Util.getThisGivenOuter(Type sootType,
HashMap getThisMap,
Body body,
LocalGenerator lg,
Local t2) |
void |
AnonClassInitMethodSource.outerClassType(Type type) |
void |
AnonClassInitMethodSource.superOuterType(Type t) |
void |
AnonClassInitMethodSource.thisOuterType(Type t) |
| Constructor and Description |
|---|
PrivateFieldAccMethodSource(Type fieldType,
String fieldName,
boolean isStatic,
SootClass classToInvoke) |
PrivateFieldSetMethodSource(Type fieldType,
String fieldName,
boolean isStatic) |
| Constructor and Description |
|---|
ClassResolver(SootClass sootClass,
Set<Type> set) |
Dependencies(Set<Type> typesToHierarchy,
Set<Type> typesToSignature) |
Dependencies(Set<Type> typesToHierarchy,
Set<Type> typesToSignature) |
| Modifier and Type | Field and Description |
|---|---|
Type[] |
StackTypeHeightCalculator.StackEffectSwitch.add_types |
Type[] |
StackTypeHeightCalculator.StackEffectSwitch.remove_types |
| Modifier and Type | Method and Description |
|---|---|
static Map<Unit,Stack<Type>> |
StackTypeHeightCalculator.calculateStackHeights(Body b) |
static Map<Unit,Stack<Type>> |
StackTypeHeightCalculator.calculateStackHeights(Body b,
boolean jimpleLocals) |
static Map<Unit,Stack<Type>> |
StackTypeHeightCalculator.calculateStackHeights(Body b,
Map<Local,Local> b2JLocs) |
static Stack<Type> |
StackTypeHeightCalculator.getAfterStack(Body b,
Unit u) |
static Stack<Type> |
StackTypeHeightCalculator.getAfterStack(Stack<Type> beforeStack,
Unit u) |
static Stack<Type> |
StackTypeHeightCalculator.updateStack(StackTypeHeightCalculator.StackEffectSwitch sw,
Stack<Type> st) |
static Stack<Type> |
StackTypeHeightCalculator.updateStack(Unit u,
Stack<Type> st) |
| Modifier and Type | Method and Description |
|---|---|
static PushInst |
FixUndefinedLocals.getPushInitializer(Local l,
Type t) |
| Modifier and Type | Method and Description |
|---|---|
static Stack<Type> |
StackTypeHeightCalculator.getAfterStack(Stack<Type> beforeStack,
Unit u) |
static void |
StackTypeHeightCalculator.printStack(PatchingChain<Unit> units,
Map<Unit,Stack<Type>> stacks,
boolean before) |
static Stack<Type> |
StackTypeHeightCalculator.updateStack(StackTypeHeightCalculator.StackEffectSwitch sw,
Stack<Type> st) |
static Stack<Type> |
StackTypeHeightCalculator.updateStack(Unit u,
Stack<Type> st) |
| Modifier and Type | Method and Description |
|---|---|
static List<Local> |
BodyBuilder.buildParameterLocals(PatchingChain<Unit> units,
Collection<Local> locals,
List<Type> paramTypes) |
| Modifier and Type | Field and Description |
|---|---|
protected Type |
MethodType.returnType |
| Modifier and Type | Field and Description |
|---|---|
protected List<Type> |
MethodType.parameterTypes |
| Modifier and Type | Method and Description |
|---|---|
Type |
NewArrayExpr.getBaseType() |
Type |
CastExpr.getCastType() |
Type |
InstanceOfExpr.getCheckType() |
Type |
MethodType.getReturnType() |
Type |
FloatConstant.getType() |
Type |
StaticInvokeExpr.getType() |
Type |
LongConstant.getType() |
Type |
NewExpr.getType() |
Type |
InstanceOfExpr.getType() |
Type |
ClassConstant.getType() |
Type |
NullConstant.getType() |
Type |
NewArrayExpr.getType() |
Type |
ParameterRef.getType()
Returns the type of this ParameterRef.
|
Type |
CastExpr.getType() |
Type |
IntConstant.getType() |
Type |
DoubleConstant.getType() |
Type |
MethodHandle.getType() |
Type |
NewMultiArrayExpr.getType() |
Type |
MethodType.getType() |
Type |
ArrayRef.getType() |
Type |
ThisRef.getType() |
Type |
StaticFieldRef.getType() |
Type |
CaughtExceptionRef.getType() |
Type |
StringConstant.getType() |
Type |
ClassConstant.toSootType() |
| Modifier and Type | Method and Description |
|---|---|
List<Type> |
MethodType.getParameterTypes() |
| Modifier and Type | Method and Description |
|---|---|
static ClassConstant |
ClassConstant.fromType(Type tp) |
static boolean |
Jimple.isJavaKeywordType(Type t) |
CastExpr |
Jimple.newCastExpr(Value op1,
Type t)
Constructs a CastExpr(Immediate, Type) grammar chunk.
|
InstanceOfExpr |
Jimple.newInstanceOfExpr(Value op1,
Type t)
Constructs a InstanceOfExpr(Immediate, Type) grammar chunk.
|
Local |
Jimple.newLocal(String name,
Type t)
Constructs a Local with the given name and type.
|
NewArrayExpr |
Jimple.newNewArrayExpr(Type type,
Value size)
Constructs a NewArrayExpr(Type, Immediate) grammar chunk.
|
ParameterRef |
Jimple.newParameterRef(Type paramType,
int number)
Constructs a ParameterRef(SootMethod, int) grammar chunk.
|
void |
NewArrayExpr.setBaseType(Type type) |
void |
CastExpr.setCastType(Type castType) |
void |
InstanceOfExpr.setCheckType(Type checkType) |
static MethodType |
MethodType.v(List<Type> paramaterTypes,
Type returnType) |
| Modifier and Type | Method and Description |
|---|---|
static MethodType |
MethodType.v(List<Type> paramaterTypes,
Type returnType) |
| Constructor and Description |
|---|
ParameterRef(Type paramType,
int number)
Constructs a ParameterRef object of the specified type, representing the specified parameter number.
|
| Modifier and Type | Method and Description |
|---|---|
Type |
AbstractNewArrayExpr.getBaseType() |
Type |
AbstractCastExpr.getCastType() |
Type |
AbstractInstanceOfExpr.getCheckType() |
Type |
AbstractInstanceOfExpr.getType() |
Type |
AbstractCastExpr.getType() |
Type |
AbstractIntBinopExpr.getType() |
Type |
AbstractIntLongBinopExpr.getType() |
Type |
AbstractFloatBinopExpr.getType() |
Type |
AbstractNewArrayExpr.getType() |
Type |
JCaughtExceptionRef.getType() |
Type |
AbstractInstanceFieldRef.getType() |
Type |
AbstractNewMultiArrayExpr.getType() |
Type |
JimpleLocal.getType()
Returns the type of this local.
|
Type |
JUshrExpr.getType() |
Type |
AbstractLengthExpr.getType() |
Type |
AbstractInvokeExpr.getType() |
Type |
AbstractNewExpr.getType() |
Type |
JShlExpr.getType() |
Type |
JArrayRef.getType() |
Type |
JShrExpr.getType() |
Type |
AbstractNegExpr.getType() |
| Modifier and Type | Method and Description |
|---|---|
static boolean |
AbstractIntLongBinopExpr.isIntLikeType(Type t) |
void |
AbstractNewArrayExpr.setBaseType(Type type) |
void |
AbstractCastExpr.setCastType(Type castType) |
void |
AbstractInstanceOfExpr.setCheckType(Type checkType) |
void |
JimpleLocal.setType(Type t)
Sets the type of this local.
|
| Constructor and Description |
|---|
AbstractCastExpr(ValueBox opBox,
Type type) |
AbstractInstanceOfExpr(ValueBox opBox,
Type checkType) |
AbstractNewArrayExpr(Type type,
ValueBox sizeBox) |
JCastExpr(Value op,
Type type) |
JimpleLocal(String name,
Type type)
Constructs a JimpleLocal of the given name and type.
|
JInstanceOfExpr(Value op,
Type checkType) |
JNewArrayExpr(Type type,
Value size) |
| Modifier and Type | Method and Description |
|---|---|
Type |
IVarAbstraction.getType() |
| Modifier and Type | Method and Description |
|---|---|
boolean |
GeomPointsTo.castNeverFails(Type src,
Type dst)
Type compatibility test.
|
| Modifier and Type | Method and Description |
|---|---|
boolean |
TypeManager.castNeverFails(Type src,
Type dst) |
BitVector |
TypeManager.get(Type type) |
static boolean |
TypeManager.isUnresolved(Type type) |
| Modifier and Type | Method and Description |
|---|---|
Set<Type> |
AllocAndContextSet.possibleTypes() |
Set<Type> |
LazyContextSensitivePointsToSet.possibleTypes() |
Set<Type> |
WrappedPointsToSet.possibleTypes() |
| Modifier and Type | Method and Description |
|---|---|
protected Set<SootMethod> |
DemandCSPointsTo.getCallTargets(PointsToSetInternal p2Set,
NumberedString methodStr,
Type receiverType,
Set<SootMethod> possibleTargets) |
protected Set<SootMethod> |
DemandCSPointsTo.getCallTargetsForType(Type type,
NumberedString methodStr,
Type receiverType,
Set<SootMethod> possibleTargets) |
| Modifier and Type | Field and Description |
|---|---|
Type |
AllocationSiteHandler.VirtualCallHandler.receiverType |
| Modifier and Type | Method and Description |
|---|---|
static Collection<? extends SootMethod> |
SootUtil.getCallTargets(Type type,
SootMethod invokedMethod) |
void |
AllocationSiteHandler.CastCheckHandler.setType(Type type) |
| Constructor and Description |
|---|
VirtualCallHandler(PAG pag,
Type receiverType,
NumberedString methodStr) |
| Modifier and Type | Field and Description |
|---|---|
protected Type |
Node.type |
| Modifier and Type | Method and Description |
|---|---|
Type |
SparkField.getType() |
Type |
Node.getType()
Returns the declared type of this node, null for unknown.
|
Type |
Parm.getType() |
Type |
ArrayElement.getType() |
| Modifier and Type | Method and Description |
|---|---|
AllocNode |
PAG.makeAllocNode(Object newExpr,
Type type,
SootMethod m) |
ContextVarNode |
PAG.makeContextVarNode(Object baseValue,
Type baseType,
Context context,
SootMethod method)
Finds or creates the ContextVarNode for base variable baseValue and context context, of type type.
|
FieldRefNode |
PAG.makeGlobalFieldRefNode(Object baseValue,
Type baseType,
SparkField field)
Finds or creates the FieldRefNode for base variable baseValue and field field, of type type.
|
GlobalVarNode |
PAG.makeGlobalVarNode(Object value,
Type type)
Finds or creates the GlobalVarNode for the variable value, of type type.
|
FieldRefNode |
PAG.makeLocalFieldRefNode(Object baseValue,
Type baseType,
SparkField field,
SootMethod method)
Finds or creates the FieldRefNode for base variable baseValue and field field, of type type.
|
LocalVarNode |
PAG.makeLocalVarNode(Object value,
Type type,
SootMethod method)
Finds or creates the LocalVarNode for the variable value, of type type.
|
NewInstanceNode |
PAG.makeNewInstanceNode(Value value,
Type type,
SootMethod method) |
void |
Node.setType(Type type)
Sets the declared type of this node, null for unknown.
|
| Constructor and Description |
|---|
ValNode(PAG pag,
Type t) |
| Modifier and Type | Field and Description |
|---|---|
protected Type |
PointsToSetInternal.type |
| Modifier and Type | Method and Description |
|---|---|
Type |
PointsToSetInternal.getType() |
| Modifier and Type | Method and Description |
|---|---|
Set<Type> |
DoublePointsToSet.possibleTypes()
Set of all possible run-time types of objects in the set.
|
Set<Type> |
PointsToSetEqualsWrapper.possibleTypes() |
Set<Type> |
EmptyPointsToSet.possibleTypes()
Set of all possible run-time types of objects in the set.
|
Set<Type> |
PointsToSetInternal.possibleTypes() |
| Modifier and Type | Method and Description |
|---|---|
abstract T |
P2SetFactory.newSet(Type type,
PAG pag)
Returns a newly-created set.
|
void |
PointsToSetInternal.setType(Type type) |
| Constructor and Description |
|---|
BitPointsToSet(Type type,
PAG pag) |
DoublePointsToSet(Type type,
PAG pag) |
EmptyPointsToSet(Singletons.Global g,
Type type) |
HashPointsToSet(Type type,
PAG pag) |
HybridPointsToSet(Type type,
PAG pag) |
PointsToSetInternal(Type type) |
SharedHybridSet(Type type,
PAG pag) |
SharedListSet(Type type,
PAG pag) |
SortedArraySet(Type type,
PAG pag) |
| Modifier and Type | Method and Description |
|---|---|
List<Type> |
PartialConstructorFolder.getTypes() |
| Modifier and Type | Method and Description |
|---|---|
void |
PartialConstructorFolder.setTypes(List<Type> t) |
| Modifier and Type | Field and Description |
|---|---|
protected MultiMap<Pair<Type,NumberedString>,Pair<Type,NumberedString>> |
VirtualCalls.baseToPossibleSubTypes |
protected MultiMap<Pair<Type,NumberedString>,Pair<Type,NumberedString>> |
VirtualCalls.baseToPossibleSubTypes |
protected MultiMap<Type,Type> |
VirtualCalls.baseToSubTypes |
protected MultiMap<Type,Type> |
VirtualCalls.baseToSubTypes |
protected MultiMap<Local,Type> |
OnFlyCallGraphBuilder.reachingArgTypes |
protected MultiMap<Local,Type> |
OnFlyCallGraphBuilder.reachingBaseTypes |
| Modifier and Type | Method and Description |
|---|---|
void |
OnFlyCallGraphBuilder.addBaseType(Local base,
Context context,
Type ty) |
void |
OnFlyCallGraphBuilder.addInvokeArgType(AllocDotField df,
Context context,
Type type) |
void |
OnFlyCallGraphBuilder.addInvokeArgType(Local argArray,
Context context,
Type t) |
void |
OnFlyCallGraphBuilder.addType(Local receiver,
Context srcContext,
Type type,
Context typeContext) |
void |
VirtualCalls.resolve(Type t,
Type declaredType,
NumberedString subSig,
SootMethod container,
ChunkedQueue<SootMethod> targets) |
void |
VirtualCalls.resolve(Type t,
Type declaredType,
NumberedString subSig,
SootMethod container,
ChunkedQueue<SootMethod> targets,
boolean appOnly) |
void |
VirtualCalls.resolve(Type t,
Type declaredType,
Type sigType,
NumberedString subSig,
SootMethod container,
ChunkedQueue<SootMethod> targets) |
void |
VirtualCalls.resolve(Type t,
Type declaredType,
Type sigType,
NumberedString subSig,
SootMethod container,
ChunkedQueue<SootMethod> targets,
boolean appOnly) |
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) |
void |
VirtualCalls.resolveSuperType(Type t,
Type declaredType,
NumberedString subSig,
ChunkedQueue<SootMethod> targets,
boolean appOnly) |
protected boolean |
OnFlyCallGraphBuilder.skipSite(VirtualCallSite site,
FastHierarchy fh,
Type type) |
| Modifier and Type | Method and Description |
|---|---|
heros.FlowFunctions<Unit,Pair<Value,Type>,SootMethod> |
IFDSPossibleTypes.createFlowFunctionsFactory() |
Pair<Value,Type> |
IFDSPossibleTypes.createZeroValue() |
Map<Unit,Set<Pair<Value,Type>>> |
IFDSPossibleTypes.initialSeeds() |
| Modifier and Type | Method and Description |
|---|---|
Type |
AbstractDataSource.getType() |
| Modifier and Type | Method and Description |
|---|---|
protected boolean |
SimpleMethodInfoFlowAnalysis.ignoreThisDataType(Type type) |
protected boolean |
SmartMethodInfoFlowAnalysis.ignoreThisDataType(Type type) |
protected boolean |
SimpleMethodInfoFlowAnalysis.isNonRefType(Type type) |
protected boolean |
SmartMethodInfoFlowAnalysis.isNonRefType(Type type) |
| Constructor and Description |
|---|
FakeJimpleLocal(String name,
Type t,
Local realLocal)
Constructs a FakeJimpleLocal of the given name and type.
|
FakeJimpleLocal(String name,
Type t,
Local realLocal,
Object info) |
| Modifier and Type | Method and Description |
|---|---|
Type |
FullObjectSet.type() |
| Modifier and Type | Method and Description |
|---|---|
Set<Type> |
FullObjectSet.possibleTypes()
Set of all possible run-time types of objects in the set.
|
| Modifier and Type | Field and Description |
|---|---|
Type |
TypeConstants.CLASSCLASS |
Type |
TypeConstants.CLASSLOADERCLASS |
Type |
TypeConstants.CONSTRUCTORCLASS |
Type |
TypeConstants.FIELDCLASS |
Type |
TypeConstants.FILESYSTEMCLASS |
Type |
TypeConstants.LEASTCLASS |
Type |
TypeConstants.METHODCLASS |
Type |
TypeConstants.OBJECTCLASS |
Type |
TypeConstants.PRIVILEGEDACTIONEXCEPTION |
Type |
TypeConstants.PROCESSCLASS |
Type |
TypeConstants.STRINGCLASS |
Type |
TypeConstants.THREADCLASS |
| Modifier and Type | Method and Description |
|---|---|
Type |
GeneralConstObject.getType() |
Type |
AbstractObject.getType() |
| Constructor and Description |
|---|
GeneralConstObject(Type t,
String n) |
| Modifier and Type | Method and Description |
|---|---|
protected boolean |
AbstractStaticnessCorrector.isTypeLoaded(Type tp) |
Local |
LocalCreation.newLocal(String prefix,
Type type)
returns a new local with the given prefix and the given type.
the returned local will automatically added to the locals-chain. |
Local |
LocalCreation.newLocal(Type type)
returns a new local with the prefix given to the constructor (or the default-prefix if none has been given) and the
given type.
The returned local will automatically added to the locals-chain. The local will be of the form: prefixX (where the last X is a number, so the localname is unique). |
| Modifier and Type | Method and Description |
|---|---|
Type |
NewStaticLock.getType() |
| Modifier and Type | Method and Description |
|---|---|
soot.jimple.toolkits.typing.TypeNode |
ClassHierarchy.typeNode(Type type)
Get the type node for the given type.
|
soot.jimple.toolkits.typing.TypeNode |
TypeResolverBV.typeNode(Type type)
Deprecated.
|
soot.jimple.toolkits.typing.TypeNode |
TypeResolver.typeNode(Type type) |
soot.jimple.toolkits.typing.TypeVariableBV |
TypeResolverBV.typeVariable(Type type)
Deprecated.
Get type variable for the given type.
|
soot.jimple.toolkits.typing.TypeVariable |
TypeResolver.typeVariable(Type type)
Get type variable for the given type.
|
| Modifier and Type | Class and Description |
|---|---|
class |
BottomType |
class |
Integer127Type |
class |
Integer1Type |
class |
Integer32767Type |
| Modifier and Type | Field and Description |
|---|---|
protected HashMap<Local,Type> |
Typing.map |
| Modifier and Type | Method and Description |
|---|---|
static Type |
AugEvalFunction.eval_(Typing tg,
Value expr,
Stmt stmt,
JimpleBody jb) |
Type |
Typing.get(Local v) |
Type |
Typing.set(Local v,
Type t) |
| Modifier and Type | Method and Description |
|---|---|
Collection<Type> |
IEvalFunction.eval(Typing tg,
Value expr,
Stmt stmt) |
Collection<Type> |
AugEvalFunction.eval(Typing tg,
Value expr,
Stmt stmt) |
static MultiMap<Local,Type> |
DefaultTypingStrategy.getFlatTyping(List<Typing> tgs) |
static Collection<Type> |
AugHierarchy.lcas_(Type a,
Type b) |
static Collection<Type> |
BytecodeHierarchy.lcas_(Type a,
Type b) |
Collection<Type> |
AugHierarchy.lcas(Type a,
Type b) |
Collection<Type> |
BytecodeHierarchy.lcas(Type a,
Type b) |
Collection<Type> |
IHierarchy.lcas(Type a,
Type b) |
| Modifier and Type | Method and Description |
|---|---|
static boolean |
AugHierarchy.ancestor_(Type ancestor,
Type child) |
static boolean |
BytecodeHierarchy.ancestor_(Type ancestor,
Type child) |
boolean |
AugHierarchy.ancestor(Type ancestor,
Type child) |
boolean |
BytecodeHierarchy.ancestor(Type ancestor,
Type child) |
boolean |
IHierarchy.ancestor(Type ancestor,
Type child) |
protected Local |
TypeResolver.CastInsertionUseVisitor.createCast(Type useType,
Stmt stmt,
Local old)
Creates a cast at stmt of vold to the given type.
|
static Collection<Type> |
AugHierarchy.lcas_(Type a,
Type b) |
static Collection<Type> |
BytecodeHierarchy.lcas_(Type a,
Type b) |
Collection<Type> |
AugHierarchy.lcas(Type a,
Type b) |
Collection<Type> |
BytecodeHierarchy.lcas(Type a,
Type b) |
Collection<Type> |
IHierarchy.lcas(Type a,
Type b) |
Type |
Typing.set(Local v,
Type t) |
static boolean |
TypeResolver.typesEqual(Type a,
Type b) |
Value |
TypeResolver.CastInsertionUseVisitor.visit(Value op,
Type useType,
Stmt stmt) |
Value |
IUseVisitor.visit(Value op,
Type useType,
Stmt stmt) |
| Modifier and Type | Method and Description |
|---|---|
soot.jimple.toolkits.typing.integer.TypeNode |
ClassHierarchy.typeNode(Type type)
Get the type node for the given type.
|
soot.jimple.toolkits.typing.integer.TypeVariable |
TypeResolver.typeVariable(Type type)
Get type variable for the given type.
|
| Modifier and Type | Method and Description |
|---|---|
Type |
PhiExpr.getType()
The type of the PhiExpr is usually the same as the type of its arguments.
|
| Modifier and Type | Field and Description |
|---|---|
protected Type |
SPhiExpr.type |
| Modifier and Type | Method and Description |
|---|---|
Type |
SPhiExpr.getType() |
Type |
SPiExpr.getType() |
| Modifier and Type | Field and Description |
|---|---|
protected Type |
ValueGraph.TypeValueWrapper.type |
| Modifier and Type | Method and Description |
|---|---|
Type |
ValueGraph.TypeValueWrapper.getType() |
| Constructor and Description |
|---|
TypeValueWrapper(Type type) |
| Modifier and Type | Method and Description |
|---|---|
Type |
SEvaluator.TopConstant.getType() |
Type |
SEvaluator.BottomConstant.getType() |
| Modifier and Type | Method and Description |
|---|---|
void |
TypeTemplatePrinter.defaultCase(Type t) |
void |
TypeTemplatePrinter.printAssign(String v,
Type t) |
| Modifier and Type | Method and Description |
|---|---|
Type |
TemporaryRegisterLocal.getType() |
Type |
Register.getType() |
| Modifier and Type | Method and Description |
|---|---|
Register |
RegisterAllocator.asTmpReg(Type regType) |
protected void |
ExprVisitor.castObject(Register sourceReg,
Type castType) |
static String |
SootToDexUtils.getDexTypeDescriptor(Type sootType) |
static int |
SootToDexUtils.getDexWords(Type sootType) |
static boolean |
SootToDexUtils.isObject(Type sootType) |
static boolean |
SootToDexUtils.isWide(Type sootType) |
void |
TemporaryRegisterLocal.setType(Type t) |
static org.jf.dexlib2.iface.reference.TypeReference |
DexPrinter.toTypeReference(Type t) |
| Modifier and Type | Method and Description |
|---|---|
static int |
SootToDexUtils.getDexWords(List<Type> sootTypes) |
| Constructor and Description |
|---|
Register(Type type,
int number) |
TemporaryRegisterLocal(Type regType) |
| Modifier and Type | Method and Description |
|---|---|
static int |
ASMBackendUtils.sizeOfType(Type t)
Get the size in words for a type.
|
static String |
ASMBackendUtils.toTypeDesc(List<Type> parameterTypes,
Type returnType)
Compute type description for methods, comprising parameter types and return type.
|
static String |
ASMBackendUtils.toTypeDesc(Type type)
Convert type to JVM style type description
|
| Modifier and Type | Method and Description |
|---|---|
static String |
ASMBackendUtils.toTypeDesc(List<Type> parameterTypes,
Type returnType)
Compute type description for methods, comprising parameter types and return type.
|
Copyright © 2020 Soot OSS. All rights reserved.