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 |
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.
|
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.
|
Modifier and Type | Method and Description |
---|---|
Type |
AnySubType.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 |
NullType.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 |
RefType.getArrayElementType() |
Type |
NullType.getArrayElementType() |
Type |
AnySubType.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.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 |
RefType.getArrayElementType() |
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 |
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 |
SootMethod.getParameterType(int n)
Gets the type of the nth parameter of this method.
|
Type |
SootMethod.getReturnType()
Returns the return type of this method.
|
Type |
SootMethod.getReturnType()
Returns the return type of this method.
|
Type |
EquivalentValue.getType() |
Type |
SootField.getType() |
Type |
Value.getType()
Returns the Soot type of this Value.
|
Type |
Value.getType()
Returns the Soot type of this Value.
|
Type |
EquivalentValue.getType() |
Type |
SootField.getType() |
Type |
Scene.getType(String arg)
Returns the RefType with the given class name or primitive type.
|
Type |
Scene.getType(String arg)
Returns the RefType with the given class name or primitive type.
|
Type |
RefType.merge(Type other,
Scene cm)
Returns the least common superclass of this type and other.
|
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 |
UnknownType.merge(Type other,
Scene cm)
Returns the least common superclass of this type and other.
|
Type |
Type.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 |
SootMethodRef.parameterType(int i) |
Type |
SootMethodRef.parameterType(int i) |
Type |
SootMethodRef.returnType() |
Type |
SootMethodRef.returnType() |
static Type |
Type.toMachineType(Type t)
Converts the int-like types (short, byte, boolean and char) to IntType.
|
static Type |
Type.toMachineType(Type t)
Converts the int-like types (short, byte, boolean and char) to IntType.
|
Type |
SootFieldRef.type() |
Type |
SootFieldRef.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> |
SootMethod.getParameterTypes()
Returns a read-only list of the parameter types of this method.
|
ArrayNumberer<Type> |
Scene.getTypeNumberer() |
ArrayNumberer<Type> |
Scene.getTypeNumberer() |
List<Type> |
SootMethodRef.parameterTypes() |
List<Type> |
SootMethodRef.parameterTypes() |
Set<Type> |
PointsToSet.possibleTypes()
Set of all possible run-time types of objects in the set.
|
Set<Type> |
PointsToSet.possibleTypes()
Set of all possible run-time types of objects in the set.
|
Modifier and Type | Method and Description |
---|---|
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.
|
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)
|
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.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?
|
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) |
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.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.
|
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.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.
|
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.getSignature(SootClass cl,
String name,
List<Type> params,
Type returnType) |
static String |
SootField.getSignature(SootClass cl,
String name,
Type type) |
static String |
SootField.getSignature(SootClass cl,
String name,
Type type) |
static String |
SootMethod.getSubSignature(String name,
List<Type> params,
Type returnType) |
static String |
SootMethod.getSubSignature(String name,
List<Type> params,
Type returnType) |
static String |
AbstractJasminClass.jasminDescriptorOf(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.
|
SootFieldRef |
Scene.makeFieldRef(SootClass declaringClass,
String name,
Type type,
boolean isStatic)
Create an unresolved reference to a field.
|
SootMethodRef |
Scene.makeMethodRef(SootClass declaringClass,
String name,
List<Type> parameterTypes,
Type returnType,
boolean isStatic)
Create an unresolved reference to a method.
|
SootMethodRef |
Scene.makeMethodRef(SootClass declaringClass,
String name,
List<Type> parameterTypes,
Type returnType,
boolean isStatic)
Create an unresolved reference to a method.
|
Type |
RefType.merge(Type other,
Scene cm)
Returns the least common superclass of this type and other.
|
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 |
UnknownType.merge(Type other,
Scene cm)
Returns the least common superclass of this type and other.
|
Type |
Type.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.
|
void |
SootMethod.setReturnType(Type t)
Sets the return type of this method.
|
void |
SootMethod.setReturnType(Type t)
Sets the return type of this method.
|
void |
Local.setType(Type t)
Sets the type of the current variable.
|
void |
SootField.setType(Type t) |
void |
SootField.setType(Type t) |
void |
Local.setType(Type t)
Sets the type of the current variable.
|
static int |
AbstractJasminClass.sizeOfType(Type t) |
static int |
AbstractJasminClass.sizeOfType(Type t) |
static Type |
Type.toMachineType(Type t)
Converts the int-like types (short, byte, boolean and char) to IntType.
|
static Type |
Type.toMachineType(Type t)
Converts the int-like types (short, byte, boolean and char) to IntType.
|
abstract void |
AbstractUnitPrinter.type(Type t) |
void |
BriefUnitPrinter.type(Type t) |
abstract void |
LabeledUnitPrinter.type(Type t) |
void |
NormalUnitPrinter.type(Type t) |
void |
UnitPrinter.type(Type t) |
void |
UnitPrinter.type(Type t) |
void |
BriefUnitPrinter.type(Type t) |
abstract void |
LabeledUnitPrinter.type(Type t) |
void |
NormalUnitPrinter.type(Type t) |
abstract void |
AbstractUnitPrinter.type(Type t) |
static ArrayType |
ArrayType.v(Type baseType,
int numDimensions)
Creates an ArrayType parametrized by a given Type and dimension count.
|
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)
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?
|
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)
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.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.
|
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.getSignature(SootClass cl,
String name,
List<Type> params,
Type returnType) |
static String |
SootMethod.getSubSignature(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.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.
|
SootMethodRef |
Scene.makeMethodRef(SootClass declaringClass,
String name,
List<Type> parameterTypes,
Type returnType,
boolean isStatic)
Create an unresolved reference to a method.
|
Collection<SootMethod> |
FastHierarchy.resolveConcreteDispatch(Collection<Type> concreteTypes,
SootMethod m,
RefType declaredTypeOfBase) |
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.
|
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) |
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.
|
void |
SootMethod.setParameterTypes(List<Type> l)
Changes the set of parameter types of this method.
|
Constructor and Description |
---|
SootField(String name,
Type type)
Constructs a Soot field with the given name, type and no modifiers.
|
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.
|
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)
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)
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.
|
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.
|
Constructor and Description |
---|
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)
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)
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.
|
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.
|
Modifier and Type | Class and Description |
---|---|
class |
DoubleWordType |
class |
WordType |
Modifier and Type | Method and Description |
---|---|
Type |
NewArrayInst.getBaseType() |
Type |
NewArrayInst.getBaseType() |
Type |
InstanceCastInst.getCastType() |
Type |
InstanceCastInst.getCastType() |
Type |
InstanceOfInst.getCheckType() |
Type |
InstanceOfInst.getCheckType() |
static Type |
Baf.getDescriptorTypeOf(Type opType) |
static Type |
Baf.getDescriptorTypeOf(Type opType) |
Type |
PrimitiveCastInst.getFromType() |
Type |
SwapInst.getFromType() |
Type |
PrimitiveCastInst.getFromType() |
Type |
SwapInst.getFromType() |
Type |
Dup1Inst.getOp1Type() |
Type |
Dup1_x1Inst.getOp1Type() |
Type |
Dup1_x2Inst.getOp1Type() |
Type |
Dup2Inst.getOp1Type() |
Type |
Dup2_x1Inst.getOp1Type() |
Type |
Dup2_x2Inst.getOp1Type() |
Type |
Dup1Inst.getOp1Type() |
Type |
Dup2_x2Inst.getOp1Type() |
Type |
Dup1_x1Inst.getOp1Type() |
Type |
Dup2Inst.getOp1Type() |
Type |
Dup1_x2Inst.getOp1Type() |
Type |
Dup2_x1Inst.getOp1Type() |
Type |
Dup2Inst.getOp2Type() |
Type |
Dup2_x1Inst.getOp2Type() |
Type |
Dup2_x2Inst.getOp2Type() |
Type |
Dup2_x2Inst.getOp2Type() |
Type |
Dup2Inst.getOp2Type() |
Type |
Dup2_x1Inst.getOp2Type() |
Type |
LoadInst.getOpType() |
Type |
OpTypeArgInst.getOpType() |
Type |
StoreInst.getOpType() |
Type |
StoreInst.getOpType() |
Type |
OpTypeArgInst.getOpType() |
Type |
LoadInst.getOpType() |
Type |
PrimitiveCastInst.getToType() |
Type |
SwapInst.getToType() |
Type |
PrimitiveCastInst.getToType() |
Type |
SwapInst.getToType() |
Type |
Dup1_x1Inst.getUnder1Type() |
Type |
Dup1_x2Inst.getUnder1Type() |
Type |
Dup2_x1Inst.getUnder1Type() |
Type |
Dup2_x2Inst.getUnder1Type() |
Type |
Dup2_x2Inst.getUnder1Type() |
Type |
Dup1_x1Inst.getUnder1Type() |
Type |
Dup1_x2Inst.getUnder1Type() |
Type |
Dup2_x1Inst.getUnder1Type() |
Type |
Dup1_x2Inst.getUnder2Type() |
Type |
Dup2_x2Inst.getUnder2Type() |
Type |
Dup2_x2Inst.getUnder2Type() |
Type |
Dup1_x2Inst.getUnder2Type() |
Modifier and Type | Method and Description |
---|---|
List<Type> |
DupInst.getOpTypes() |
List<Type> |
DupInst.getOpTypes() |
List<Type> |
DupInst.getUnderTypes() |
List<Type> |
DupInst.getUnderTypes() |
Modifier and Type | Field and Description |
---|---|
protected Type |
BNewArrayInst.baseType |
protected Type |
BNewArrayInst.baseType |
protected Type |
BInstanceCastInst.castType |
protected Type |
BInstanceCastInst.castType |
protected Type |
BInstanceOfInst.checkType |
protected Type |
BInstanceOfInst.checkType |
protected Type |
BSwapInst.mFromType |
protected Type |
BSwapInst.mFromType |
protected Type |
BSwapInst.mToType |
protected Type |
BSwapInst.mToType |
protected Type |
BPopInst.mType |
protected Type |
BPopInst.mType |
protected Type |
AbstractOpTypeBranchInst.opType |
protected Type |
AbstractOpTypeInst.opType |
protected Type |
AbstractOpTypeInst.opType |
protected Type |
AbstractOpTypeBranchInst.opType |
protected Type |
BPrimitiveCastInst.toType |
protected Type |
BPrimitiveCastInst.toType |
Modifier and Type | Method and Description |
---|---|
Type |
BNewArrayInst.getBaseType() |
Type |
BNewArrayInst.getBaseType() |
Type |
BInstanceCastInst.getCastType() |
Type |
BInstanceCastInst.getCastType() |
Type |
BInstanceOfInst.getCheckType() |
Type |
BInstanceOfInst.getCheckType() |
Type |
BPrimitiveCastInst.getFromType() |
Type |
BSwapInst.getFromType() |
Type |
BPrimitiveCastInst.getFromType() |
Type |
BSwapInst.getFromType() |
Type |
BDup1Inst.getOp1Type() |
Type |
BDup1_x1Inst.getOp1Type() |
Type |
BDup1_x2Inst.getOp1Type() |
Type |
BDup2Inst.getOp1Type() |
Type |
BDup2_x1Inst.getOp1Type() |
Type |
BDup2_x2Inst.getOp1Type() |
Type |
BDup1Inst.getOp1Type() |
Type |
BDup1_x1Inst.getOp1Type() |
Type |
BDup2Inst.getOp1Type() |
Type |
BDup2_x1Inst.getOp1Type() |
Type |
BDup2_x2Inst.getOp1Type() |
Type |
BDup1_x2Inst.getOp1Type() |
Type |
BDup2Inst.getOp2Type() |
Type |
BDup2_x1Inst.getOp2Type() |
Type |
BDup2_x2Inst.getOp2Type() |
Type |
BDup2Inst.getOp2Type() |
Type |
BDup2_x1Inst.getOp2Type() |
Type |
BDup2_x2Inst.getOp2Type() |
Type |
AbstractOpTypeBranchInst.getOpType() |
Type |
AbstractOpTypeInst.getOpType() |
Type |
AbstractRefTypeInst.getOpType() |
Type |
AbstractRefTypeInst.getOpType() |
Type |
AbstractOpTypeInst.getOpType() |
Type |
AbstractOpTypeBranchInst.getOpType() |
Type |
BPrimitiveCastInst.getToType() |
Type |
BSwapInst.getToType() |
Type |
BPrimitiveCastInst.getToType() |
Type |
BSwapInst.getToType() |
Type |
BPopInst.getType() |
Type |
BafLocal.getType() |
Type |
BPopInst.getType() |
Type |
BafLocal.getType() |
Type |
BDup1_x1Inst.getUnder1Type() |
Type |
BDup1_x2Inst.getUnder1Type() |
Type |
BDup2_x1Inst.getUnder1Type() |
Type |
BDup2_x2Inst.getUnder1Type() |
Type |
BDup1_x1Inst.getUnder1Type() |
Type |
BDup2_x1Inst.getUnder1Type() |
Type |
BDup2_x2Inst.getUnder1Type() |
Type |
BDup1_x2Inst.getUnder1Type() |
Type |
BDup1_x2Inst.getUnder2Type() |
Type |
BDup2_x2Inst.getUnder2Type() |
Type |
BDup2_x2Inst.getUnder2Type() |
Type |
BDup1_x2Inst.getUnder2Type() |
Modifier and Type | Method and Description |
---|---|
List<Type> |
BDup1Inst.getOpTypes() |
List<Type> |
BDup1_x1Inst.getOpTypes() |
List<Type> |
BDup1_x2Inst.getOpTypes() |
List<Type> |
BDup2Inst.getOpTypes() |
List<Type> |
BDup2_x1Inst.getOpTypes() |
List<Type> |
BDup2_x2Inst.getOpTypes() |
List<Type> |
BDup1Inst.getOpTypes() |
List<Type> |
BDup1_x1Inst.getOpTypes() |
List<Type> |
BDup2Inst.getOpTypes() |
List<Type> |
BDup2_x1Inst.getOpTypes() |
List<Type> |
BDup2_x2Inst.getOpTypes() |
List<Type> |
BDup1_x2Inst.getOpTypes() |
List<Type> |
BDup1Inst.getUnderTypes() |
List<Type> |
BDup1_x1Inst.getUnderTypes() |
List<Type> |
BDup1_x2Inst.getUnderTypes() |
List<Type> |
BDup2Inst.getUnderTypes() |
List<Type> |
BDup2_x1Inst.getUnderTypes() |
List<Type> |
BDup2_x2Inst.getUnderTypes() |
List<Type> |
BDup1Inst.getUnderTypes() |
List<Type> |
BDup1_x1Inst.getUnderTypes() |
List<Type> |
BDup2Inst.getUnderTypes() |
List<Type> |
BDup2_x1Inst.getUnderTypes() |
List<Type> |
BDup2_x2Inst.getUnderTypes() |
List<Type> |
BDup1_x2Inst.getUnderTypes() |
Modifier and Type | Method and Description |
---|---|
void |
BNewArrayInst.setBaseType(Type type) |
void |
BNewArrayInst.setBaseType(Type type) |
void |
BInstanceCastInst.setCastType(Type t) |
void |
BInstanceCastInst.setCastType(Type t) |
void |
BInstanceOfInst.setCheckType(Type t) |
void |
BInstanceOfInst.setCheckType(Type t) |
void |
BPrimitiveCastInst.setFromType(Type t) |
void |
BSwapInst.setFromType(Type fromType) |
void |
BPrimitiveCastInst.setFromType(Type t) |
void |
BSwapInst.setFromType(Type fromType) |
void |
AbstractOpTypeBranchInst.setOpType(Type t) |
void |
AbstractOpTypeInst.setOpType(Type t) |
void |
AbstractRefTypeInst.setOpType(Type t) |
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 |
BPrimitiveCastInst.setToType(Type t) |
void |
BSwapInst.setToType(Type toType) |
void |
BafLocal.setType(Type t) |
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.jimpleTypeOfFieldDescriptor(String descriptor) |
Type[] |
Util.jimpleTypesOfFieldOrMethodDescriptor(String descriptor) |
Type[] |
Util.jimpleTypesOfFieldOrMethodDescriptor(String descriptor) |
Modifier and Type | Method and Description |
---|---|
boolean |
Double2ndHalfType.equals(Type otherType) |
boolean |
Long2ndHalfType.equals(Type otherType) |
boolean |
UnusuableType.equals(Type otherType) |
boolean |
Double2ndHalfType.equals(Type otherType) |
boolean |
Long2ndHalfType.equals(Type otherType) |
boolean |
UnusuableType.equals(Type otherType) |
Modifier and Type | Method and Description |
---|---|
void |
Util.resolveFromClassFile(SootClass aClass,
InputStream is,
String filePath,
Collection<Type> references) |
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) |
Local |
Dava.newLocal(String name,
Type t) |
void |
DavaUnitPrinter.type(Type t) |
void |
DavaUnitPrinter.type(Type t) |
Modifier and Type | Field and Description |
---|---|
Type |
DIntConstant.type |
Type |
DIntConstant.type |
Modifier and Type | Method and Description |
---|---|
Type |
DArrayInitExpr.getType() |
Type |
DCmpExpr.getType() |
Type |
DCmpgExpr.getType() |
Type |
DCmplExpr.getType() |
Type |
DNotExpr.getType() |
Type |
DShortcutIf.getType() |
Type |
DVariableDeclarationStmt.getType() |
Type |
DArrayInitExpr.getType() |
Type |
DCmpExpr.getType() |
Type |
DShortcutIf.getType() |
Type |
DVariableDeclarationStmt.getType() |
Type |
DCmpgExpr.getType() |
Type |
DNotExpr.getType() |
Type |
DCmplExpr.getType() |
Modifier and Type | Method and Description |
---|---|
boolean |
DVariableDeclarationStmt.isOfType(Type type) |
boolean |
DVariableDeclarationStmt.isOfType(Type type) |
static DIntConstant |
DIntConstant.v(int value,
Type type) |
static DIntConstant |
DIntConstant.v(int value,
Type type) |
Constructor and Description |
---|
DArrayInitExpr(ValueBox[] elements,
Type type) |
DArrayInitExpr(ValueBox[] elements,
Type type) |
DNewArrayExpr(Type type,
Value size) |
DNewArrayExpr(Type type,
Value size) |
DShortcutAssignStmt(DAssignStmt assignStmt,
Type type) |
DShortcutAssignStmt(DAssignStmt assignStmt,
Type type) |
DVariableDeclarationStmt(Type decType,
DavaBody davaBody) |
DVariableDeclarationStmt(Type decType,
DavaBody davaBody) |
Modifier and Type | Method and Description |
---|---|
void |
Analysis.caseType(Type t) |
void |
AnalysisAdapter.caseType(Type t) |
void |
DepthFirstAdapter.caseType(Type t) |
void |
DepthFirstAdapter.caseType(Type t) |
void |
AnalysisAdapter.caseType(Type t) |
void |
Analysis.caseType(Type t) |
void |
DepthFirstAdapter.inType(Type t) |
void |
DepthFirstAdapter.inType(Type t) |
void |
DepthFirstAdapter.outType(Type t) |
void |
DepthFirstAdapter.outType(Type t) |
Modifier and Type | Method and Description |
---|---|
AugmentedStmt |
SuperFirstStmtHandler.createStmtAccordingToType(Type tempType,
Value tempVal,
Local newLocal,
SootMethodRef getMethodRef) |
AugmentedStmt |
SuperFirstStmtHandler.createStmtAccordingToType(Type tempType,
Value tempVal,
Local newLocal,
SootMethodRef getMethodRef) |
Value |
SuperFirstStmtHandler.getProperCasting(Type tempType,
DVirtualInvokeExpr tempInvokeExpr) |
Value |
SuperFirstStmtHandler.getProperCasting(Type tempType,
DVirtualInvokeExpr tempInvokeExpr) |
Modifier and Type | Method and Description |
---|---|
static boolean |
RemoveFullyQualifiedName.containsMultiple(Iterator it,
String qualifiedName,
Type t) |
static boolean |
RemoveFullyQualifiedName.containsMultiple(Iterator it,
String qualifiedName,
Type t) |
static String |
RemoveFullyQualifiedName.getReducedName(IterableSet importList,
String qualifiedName,
Type t) |
static String |
RemoveFullyQualifiedName.getReducedName(IterableSet importList,
String qualifiedName,
Type t) |
Modifier and Type | Method and Description |
---|---|
protected Type |
DexTransformer.findArrayType(LocalDefs localDefs,
Stmt arrayStmt,
int depth,
Set<Unit> alreadyVisitedDefs) |
protected Type |
DexTransformer.findArrayType(LocalDefs localDefs,
Stmt arrayStmt,
int depth,
Set<Unit> alreadyVisitedDefs) |
static Type |
Util.getType(String type) |
static Type |
Util.getType(String type) |
Type |
DexType.toSoot()
Return the appropriate Soot Type for this DexType.
|
Type |
DexType.toSoot()
Return the appropriate Soot Type for this DexType.
|
static Type |
DexType.toSoot(TypeReference type)
Return the appropriate Soot Type for the given TypeReference.
|
static Type |
DexType.toSoot(TypeReference type)
Return the appropriate Soot Type for the given TypeReference.
|
Modifier and Type | Method and Description |
---|---|
Set<Type> |
DexBody.usedTypes()
Return the types that are used in this body.
|
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.
|
static boolean |
Util.isFloatLike(Type t)
Returns if the type is a floating point type.
|
protected boolean |
AbstractNullTransformer.isObject(Type t) |
protected boolean |
AbstractNullTransformer.isObject(Type t) |
abstract void |
DvkTyperBase.setType(ValueBox v,
Type type) |
abstract void |
DvkTyperBase.setType(ValueBox v,
Type type) |
void |
IDalvikTyper.setType(ValueBox v,
Type type,
boolean isUse) |
void |
IDalvikTyper.setType(ValueBox v,
Type type,
boolean isUse) |
Modifier and Type | Field and Description |
---|---|
protected Type[] |
DexlibAbstractInstruction.op1BinType |
protected Type[] |
DexlibAbstractInstruction.op1BinType |
protected Type[] |
DexlibAbstractInstruction.op2BinType |
protected Type[] |
DexlibAbstractInstruction.op2BinType |
protected Type[] |
DexlibAbstractInstruction.opUnType |
protected Type[] |
DexlibAbstractInstruction.opUnType |
protected Type[] |
DexlibAbstractInstruction.resBinType |
protected Type[] |
DexlibAbstractInstruction.resBinType |
protected Type[] |
DexlibAbstractInstruction.resUnType |
protected Type[] |
DexlibAbstractInstruction.resUnType |
Modifier and Type | Method and Description |
---|---|
protected Type |
AputInstruction.getTargetType(DexBody body) |
protected Type |
FieldInstruction.getTargetType(DexBody body)
Return the target type for put instructions.
|
protected Type |
IputInstruction.getTargetType(DexBody body) |
protected Type |
SputInstruction.getTargetType(DexBody body) |
protected Type |
IputInstruction.getTargetType(DexBody body) |
protected Type |
AputInstruction.getTargetType(DexBody body) |
protected Type |
FieldInstruction.getTargetType(DexBody body)
Return the target type for put instructions.
|
protected Type |
SputInstruction.getTargetType(DexBody body) |
Modifier and Type | Method and Description |
---|---|
Set<Type> |
CheckCastInstruction.introducedTypes() |
Set<Type> |
ConstClassInstruction.introducedTypes() |
Set<Type> |
DexlibAbstractInstruction.introducedTypes()
Return the types that are be introduced by this instruction.
|
Set<Type> |
FieldInstruction.introducedTypes() |
Set<Type> |
FilledArrayInstruction.introducedTypes() |
Set<Type> |
InstanceOfInstruction.introducedTypes() |
Set<Type> |
MethodInvocationInstruction.introducedTypes() |
Set<Type> |
NewArrayInstruction.introducedTypes() |
Set<Type> |
NewInstanceInstruction.introducedTypes() |
Set<Type> |
CheckCastInstruction.introducedTypes() |
Set<Type> |
NewArrayInstruction.introducedTypes() |
Set<Type> |
NewInstanceInstruction.introducedTypes() |
Set<Type> |
ConstClassInstruction.introducedTypes() |
Set<Type> |
FieldInstruction.introducedTypes() |
Set<Type> |
InstanceOfInstruction.introducedTypes() |
Set<Type> |
DexlibAbstractInstruction.introducedTypes()
Return the types that are be introduced by this instruction.
|
Set<Type> |
FilledArrayInstruction.introducedTypes() |
Set<Type> |
MethodInvocationInstruction.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.
|
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() |
Type |
UntypedConstant.getType() |
Modifier and Type | Method and Description |
---|---|
protected void |
DalvikTyper.checkExpr(Value v,
Type t) |
protected void |
DalvikTyper.checkExpr(Value v,
Type t) |
abstract Value |
UntypedConstant.defineType(Type type) |
Value |
UntypedIntOrFloatConstant.defineType(Type t) |
Value |
UntypedLongOrDoubleConstant.defineType(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) |
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.
|
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.
|
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.
|
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.
|
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.
|
ParameterRef |
Grimp.newParameterRef(Type paramType,
int number)
Constructs a ParameterRef(SootMethod, int) grammar chunk.
|
Modifier and Type | Method and Description |
---|---|
Type |
GNewInvokeExpr.getType() |
Type |
GNewInvokeExpr.getType() |
Constructor and Description |
---|
GCastExpr(Value op,
Type type) |
GCastExpr(Value op,
Type type) |
GInstanceOfExpr(Value op,
Type checkType) |
GInstanceOfExpr(Value op,
Type checkType) |
GNewArrayExpr(Type type,
Value size) |
GNewArrayExpr(Type type,
Value size) |
Modifier and Type | Field and Description |
---|---|
Set<Type> |
IInitialResolver.Dependencies.typesToHierarchy |
Set<Type> |
IInitialResolver.Dependencies.typesToHierarchy |
Set<Type> |
IInitialResolver.Dependencies.typesToSignature |
Set<Type> |
IInitialResolver.Dependencies.typesToSignature |
Modifier and Type | Method and Description |
---|---|
static Type |
Util.getSootType(polyglot.types.Type type)
Type handling
|
static Type |
Util.getSootType(polyglot.types.Type type)
Type handling
|
Type |
AnonClassInitMethodSource.outerClassType() |
Type |
AnonClassInitMethodSource.outerClassType() |
Type |
AnonClassInitMethodSource.superOuterType() |
Type |
AnonClassInitMethodSource.superOuterType() |
Type |
AnonClassInitMethodSource.thisOuterType() |
Type |
AnonClassInitMethodSource.thisOuterType() |
Modifier and Type | Method and Description |
---|---|
protected Local |
AbstractJimpleBodyBuilder.generateLocal(Type sootType) |
protected Local |
JimpleBodyBuilder.generateLocal(Type sootType) |
Local |
LocalGenerator.generateLocal(Type type)
generates a new soot local given the type
|
Local |
LocalGenerator.generateLocal(Type type)
generates a new soot local given the type
|
protected Local |
JimpleBodyBuilder.generateLocal(Type sootType) |
protected Local |
AbstractJimpleBodyBuilder.generateLocal(Type sootType) |
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) |
protected Local |
AbstractJimpleBodyBuilder.getThis(Type sootType) |
protected Local |
JimpleBodyBuilder.getThis(Type sootType) |
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.getThis(Type sootType,
Body body,
HashMap getThisMap,
LocalGenerator lg) |
static Local |
Util.getThisGivenOuter(Type sootType,
HashMap getThisMap,
Body body,
LocalGenerator lg,
Local t2) |
static Local |
Util.getThisGivenOuter(Type sootType,
HashMap getThisMap,
Body body,
LocalGenerator lg,
Local t2) |
void |
AnonClassInitMethodSource.outerClassType(Type type) |
void |
AnonClassInitMethodSource.outerClassType(Type type) |
void |
AnonClassInitMethodSource.superOuterType(Type t) |
void |
AnonClassInitMethodSource.superOuterType(Type t) |
void |
AnonClassInitMethodSource.thisOuterType(Type t) |
void |
AnonClassInitMethodSource.thisOuterType(Type t) |
Constructor and Description |
---|
PrivateFieldAccMethodSource(Type fieldType,
String fieldName,
boolean isStatic,
SootClass classToInvoke) |
PrivateFieldAccMethodSource(Type fieldType,
String fieldName,
boolean isStatic,
SootClass classToInvoke) |
PrivateFieldSetMethodSource(Type fieldType,
String fieldName,
boolean isStatic) |
PrivateFieldSetMethodSource(Type fieldType,
String fieldName,
boolean isStatic) |
Constructor and Description |
---|
ClassResolver(SootClass sootClass,
Set<Type> set) |
ClassResolver(SootClass sootClass,
Set<Type> set) |
Modifier and Type | Field and Description |
---|---|
Type[] |
StackTypeHeightCalculator.StackEffectSwitch.add_types |
Type[] |
StackTypeHeightCalculator.StackEffectSwitch.add_types |
Type[] |
StackTypeHeightCalculator.StackEffectSwitch.remove_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) |
static Map<Unit,Stack<Type>> |
StackTypeHeightCalculator.calculateStackHeights(Body b,
boolean jimpleLocals) |
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 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(Body b,
Unit u) |
static Stack<Type> |
StackTypeHeightCalculator.getAfterStack(Stack<Type> beforeStack,
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(StackTypeHeightCalculator.StackEffectSwitch sw,
Stack<Type> st) |
static Stack<Type> |
StackTypeHeightCalculator.updateStack(Unit u,
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) |
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 Stack<Type> |
StackTypeHeightCalculator.getAfterStack(Stack<Type> beforeStack,
Unit u) |
static void |
StackTypeHeightCalculator.printStack(PatchingChain<Unit> units,
Map<Unit,Stack<Type>> stacks,
boolean before) |
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(StackTypeHeightCalculator.StackEffectSwitch sw,
Stack<Type> st) |
static Stack<Type> |
StackTypeHeightCalculator.updateStack(Unit u,
Stack<Type> st) |
static Stack<Type> |
StackTypeHeightCalculator.updateStack(Unit u,
Stack<Type> st) |
Modifier and Type | Field and Description |
---|---|
static HashMap<Type,List<Constant>> |
CollectConstants.typesToValues |
static HashMap<Type,List<Constant>> |
CollectConstants.typesToValues |
Modifier and Type | Method and Description |
---|---|
static List<Local> |
BodyBuilder.buildParameterLocals(PatchingChain<Unit> units,
Collection<Local> locals,
List<Type> paramTypes) |
static List<Local> |
BodyBuilder.buildParameterLocals(PatchingChain<Unit> units,
Collection<Local> locals,
List<Type> paramTypes) |
Modifier and Type | Method and Description |
---|---|
Type |
NewArrayExpr.getBaseType() |
Type |
NewArrayExpr.getBaseType() |
Type |
CastExpr.getCastType() |
Type |
CastExpr.getCastType() |
Type |
InstanceOfExpr.getCheckType() |
Type |
InstanceOfExpr.getCheckType() |
Type |
ArrayRef.getType() |
Type |
CastExpr.getType() |
Type |
CaughtExceptionRef.getType() |
Type |
ClassConstant.getType() |
Type |
DoubleConstant.getType() |
Type |
FloatConstant.getType() |
Type |
InstanceOfExpr.getType() |
Type |
IntConstant.getType() |
Type |
InvokeExpr.getType() |
Type |
LongConstant.getType() |
Type |
MethodHandle.getType() |
Type |
NewArrayExpr.getType() |
Type |
NewExpr.getType() |
Type |
NewMultiArrayExpr.getType() |
Type |
NullConstant.getType() |
Type |
ParameterRef.getType()
Returns the type of this ParameterRef.
|
Type |
StaticFieldRef.getType() |
Type |
StaticInvokeExpr.getType() |
Type |
StringConstant.getType() |
Type |
ThisRef.getType() |
Type |
StaticInvokeExpr.getType() |
Type |
IntConstant.getType() |
Type |
InstanceOfExpr.getType() |
Type |
NewMultiArrayExpr.getType() |
Type |
ClassConstant.getType() |
Type |
StaticFieldRef.getType() |
Type |
NewExpr.getType() |
Type |
ThisRef.getType() |
Type |
ArrayRef.getType() |
Type |
NullConstant.getType() |
Type |
StringConstant.getType() |
Type |
CastExpr.getType() |
Type |
FloatConstant.getType() |
Type |
CaughtExceptionRef.getType() |
Type |
ParameterRef.getType()
Returns the type of this ParameterRef.
|
Type |
DoubleConstant.getType() |
Type |
InvokeExpr.getType() |
Type |
LongConstant.getType() |
Type |
MethodHandle.getType() |
Type |
NewArrayExpr.getType() |
Modifier and Type | Method and Description |
---|---|
static boolean |
Jimple.isJavaKeywordType(Type t) |
static boolean |
Jimple.isJavaKeywordType(Type t) |
CastExpr |
Jimple.newCastExpr(Value op1,
Type t)
Constructs a CastExpr(Immediate, Type) grammar chunk.
|
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.
|
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.
|
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.
|
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.
|
ParameterRef |
Jimple.newParameterRef(Type paramType,
int number)
Constructs a ParameterRef(SootMethod, int) grammar chunk.
|
void |
NewArrayExpr.setBaseType(Type type) |
void |
NewArrayExpr.setBaseType(Type type) |
void |
CastExpr.setCastType(Type castType) |
void |
CastExpr.setCastType(Type castType) |
void |
InstanceOfExpr.setCheckType(Type checkType) |
void |
InstanceOfExpr.setCheckType(Type checkType) |
Constructor and Description |
---|
ParameterRef(Type paramType,
int number)
Constructs a ParameterRef object of the specified type, representing the specified parameter number.
|
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 |
AbstractNewArrayExpr.getBaseType() |
Type |
AbstractCastExpr.getCastType() |
Type |
AbstractCastExpr.getCastType() |
Type |
AbstractInstanceOfExpr.getCheckType() |
Type |
AbstractInstanceOfExpr.getCheckType() |
Type |
AbstractCastExpr.getType() |
Type |
AbstractFloatBinopExpr.getType() |
Type |
AbstractInstanceFieldRef.getType() |
Type |
AbstractInstanceOfExpr.getType() |
Type |
AbstractIntBinopExpr.getType() |
Type |
AbstractIntLongBinopExpr.getType() |
Type |
AbstractInvokeExpr.getType() |
Type |
AbstractLengthExpr.getType() |
Type |
AbstractNegExpr.getType() |
Type |
AbstractNewArrayExpr.getType() |
Type |
AbstractNewExpr.getType() |
Type |
AbstractNewMultiArrayExpr.getType() |
Type |
JArrayRef.getType() |
Type |
JCaughtExceptionRef.getType() |
Type |
JShlExpr.getType() |
Type |
JShrExpr.getType() |
Type |
JUshrExpr.getType() |
Type |
JimpleLocal.getType()
Returns the type of this local.
|
Type |
JCaughtExceptionRef.getType() |
Type |
AbstractFloatBinopExpr.getType() |
Type |
AbstractNewArrayExpr.getType() |
Type |
AbstractInstanceFieldRef.getType() |
Type |
AbstractNegExpr.getType() |
Type |
JShlExpr.getType() |
Type |
AbstractLengthExpr.getType() |
Type |
AbstractInstanceOfExpr.getType() |
Type |
AbstractCastExpr.getType() |
Type |
JArrayRef.getType() |
Type |
AbstractInvokeExpr.getType() |
Type |
AbstractNewExpr.getType() |
Type |
AbstractIntBinopExpr.getType() |
Type |
AbstractIntLongBinopExpr.getType() |
Type |
JimpleLocal.getType()
Returns the type of this local.
|
Type |
JUshrExpr.getType() |
Type |
JShrExpr.getType() |
Type |
AbstractNewMultiArrayExpr.getType() |
Modifier and Type | Method and Description |
---|---|
static boolean |
AbstractIntLongBinopExpr.isIntLikeType(Type t) |
static boolean |
AbstractIntLongBinopExpr.isIntLikeType(Type t) |
void |
AbstractNewArrayExpr.setBaseType(Type type) |
void |
AbstractNewArrayExpr.setBaseType(Type type) |
void |
AbstractCastExpr.setCastType(Type castType) |
void |
AbstractCastExpr.setCastType(Type castType) |
void |
AbstractInstanceOfExpr.setCheckType(Type checkType) |
void |
AbstractInstanceOfExpr.setCheckType(Type checkType) |
void |
JimpleLocal.setType(Type t)
Sets the type of this local.
|
void |
JimpleLocal.setType(Type t)
Sets the type of this local.
|
Constructor and Description |
---|
AbstractCastExpr(ValueBox opBox,
Type type) |
AbstractCastExpr(ValueBox opBox,
Type type) |
AbstractInstanceOfExpr(ValueBox opBox,
Type checkType) |
AbstractInstanceOfExpr(ValueBox opBox,
Type checkType) |
AbstractNewArrayExpr(Type type,
ValueBox sizeBox) |
AbstractNewArrayExpr(Type type,
ValueBox sizeBox) |
JCastExpr(Value op,
Type type) |
JCastExpr(Value op,
Type type) |
JimpleLocal(String name,
Type type)
Constructs a JimpleLocal of the given name and type.
|
JimpleLocal(String name,
Type type)
Constructs a JimpleLocal of the given name and type.
|
JInstanceOfExpr(Value op,
Type checkType) |
JInstanceOfExpr(Value op,
Type checkType) |
JNewArrayExpr(Type type,
Value size) |
JNewArrayExpr(Type type,
Value size) |
Modifier and Type | Method and Description |
---|---|
Type |
IVarAbstraction.getType() |
Type |
IVarAbstraction.getType() |
Modifier and Type | Method and Description |
---|---|
boolean |
GeomPointsTo.castNeverFails(Type src,
Type dst)
Type compatibility test.
|
boolean |
GeomPointsTo.castNeverFails(Type src,
Type dst)
Type compatibility test.
|
Modifier and Type | Method and Description |
---|---|
boolean |
TypeManager.castNeverFails(Type src,
Type dst) |
boolean |
TypeManager.castNeverFails(Type src,
Type dst) |
BitVector |
TypeManager.get(Type type) |
BitVector |
TypeManager.get(Type type) |
static boolean |
TypeManager.isUnresolved(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() |
Set<Type> |
LazyContextSensitivePointsToSet.possibleTypes() |
Set<Type> |
WrappedPointsToSet.possibleTypes() |
Set<Type> |
AllocAndContextSet.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.getCallTargets(PointsToSetInternal p2Set,
NumberedString methodStr,
Type receiverType,
Set<SootMethod> possibleTargets) |
protected Set<SootMethod> |
DemandCSPointsTo.getCallTargetsForType(Type type,
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 |
Type |
AllocationSiteHandler.VirtualCallHandler.receiverType |
Modifier and Type | Method and Description |
---|---|
static Collection<? extends SootMethod> |
SootUtil.getCallTargets(Type type,
SootMethod invokedMethod) |
static Collection<? extends SootMethod> |
SootUtil.getCallTargets(Type type,
SootMethod invokedMethod) |
void |
AllocationSiteHandler.CastCheckHandler.setType(Type type) |
void |
AllocationSiteHandler.CastCheckHandler.setType(Type type) |
Constructor and Description |
---|
VirtualCallHandler(PAG pag,
Type receiverType,
NumberedString methodStr) |
VirtualCallHandler(PAG pag,
Type receiverType,
NumberedString methodStr) |
Modifier and Type | Field and Description |
---|---|
protected Type |
Node.type |
protected Type |
Node.type |
Modifier and Type | Method and Description |
---|---|
Type |
ArrayElement.getType() |
Type |
Node.getType()
Returns the declared type of this node, null for unknown.
|
Type |
Parm.getType() |
Type |
SparkField.getType() |
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) |
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.
|
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.
|
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.
|
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.
|
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.
|
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) |
NewInstanceNode |
PAG.makeNewInstanceNode(Value value,
Type type,
SootMethod method) |
void |
Node.setType(Type type)
Sets the declared type of this node, null for unknown.
|
void |
Node.setType(Type type)
Sets the declared type of this node, null for unknown.
|
Constructor and Description |
---|
ValNode(PAG pag,
Type t) |
ValNode(PAG pag,
Type t) |
Modifier and Type | Field and Description |
---|---|
protected Type |
PointsToSetInternal.type |
protected Type |
PointsToSetInternal.type |
Modifier and Type | Method and Description |
---|---|
Type |
PointsToSetInternal.getType() |
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> |
EmptyPointsToSet.possibleTypes()
Set of all possible run-time types of objects in the set.
|
Set<Type> |
PointsToSetEqualsWrapper.possibleTypes() |
Set<Type> |
PointsToSetInternal.possibleTypes() |
Set<Type> |
PointsToSetInternal.possibleTypes() |
Set<Type> |
EmptyPointsToSet.possibleTypes()
Set of all possible run-time types of objects in the set.
|
Set<Type> |
DoublePointsToSet.possibleTypes()
Set of all possible run-time types of objects in the set.
|
Set<Type> |
PointsToSetEqualsWrapper.possibleTypes() |
Modifier and Type | Method and Description |
---|---|
abstract PointsToSetInternal |
P2SetFactory.newSet(Type type,
PAG pag)
Returns a newly-created set.
|
abstract PointsToSetInternal |
P2SetFactory.newSet(Type type,
PAG pag)
Returns a newly-created set.
|
void |
PointsToSetInternal.setType(Type type) |
void |
PointsToSetInternal.setType(Type type) |
Constructor and Description |
---|
BitPointsToSet(Type type,
PAG pag) |
BitPointsToSet(Type type,
PAG pag) |
DoublePointsToSet(Type type,
PAG pag) |
DoublePointsToSet(Type type,
PAG pag) |
EmptyPointsToSet(Singletons.Global g,
Type type) |
EmptyPointsToSet(Singletons.Global g,
Type type) |
HashPointsToSet(Type type,
PAG pag) |
HashPointsToSet(Type type,
PAG pag) |
HybridPointsToSet(Type type,
PAG pag) |
HybridPointsToSet(Type type,
PAG pag) |
PointsToSetInternal(Type type) |
PointsToSetInternal(Type type) |
SharedHybridSet(Type type,
PAG pag) |
SharedHybridSet(Type type,
PAG pag) |
SharedListSet(Type type,
PAG pag) |
SharedListSet(Type type,
PAG pag) |
SortedArraySet(Type type,
PAG pag) |
SortedArraySet(Type type,
PAG pag) |
Modifier and Type | Method and Description |
---|---|
List<Type> |
PartialConstructorFolder.getTypes() |
List<Type> |
PartialConstructorFolder.getTypes() |
Modifier and Type | Method and Description |
---|---|
void |
PartialConstructorFolder.setTypes(List<Type> t) |
void |
PartialConstructorFolder.setTypes(List<Type> t) |
Modifier and Type | Method and Description |
---|---|
void |
OnFlyCallGraphBuilder.addBaseType(Local base,
Context context,
Type ty) |
void |
OnFlyCallGraphBuilder.addBaseType(Local base,
Context context,
Type ty) |
void |
OnFlyCallGraphBuilder.addInvokeArgType(AllocDotField df,
Context context,
Type type) |
void |
OnFlyCallGraphBuilder.addInvokeArgType(AllocDotField df,
Context context,
Type type) |
void |
OnFlyCallGraphBuilder.addInvokeArgType(Local argArray,
Context context,
Type t) |
void |
OnFlyCallGraphBuilder.addInvokeArgType(Local argArray,
Context context,
Type t) |
void |
OnFlyCallGraphBuilder.addType(Local receiver,
Context srcContext,
Type type,
Context typeContext) |
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) |
void |
VirtualCalls.resolve(Type t,
Type declaredType,
NumberedString subSig,
SootMethod container,
ChunkedQueue<SootMethod> targets,
boolean appOnly) |
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) |
void |
VirtualCalls.resolve(Type t,
Type declaredType,
Type sigType,
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,
boolean appOnly) |
Modifier and Type | Method and Description |
---|---|
heros.FlowFunctions<Unit,Pair<Value,Type>,SootMethod> |
IFDSPossibleTypes.createFlowFunctionsFactory() |
heros.FlowFunctions<Unit,Pair<Value,Type>,SootMethod> |
IFDSPossibleTypes.createFlowFunctionsFactory() |
Pair<Value,Type> |
IFDSPossibleTypes.createZeroValue() |
Pair<Value,Type> |
IFDSPossibleTypes.createZeroValue() |
Map<Unit,Set<Pair<Value,Type>>> |
IFDSPossibleTypes.initialSeeds() |
Map<Unit,Set<Pair<Value,Type>>> |
IFDSPossibleTypes.initialSeeds() |
Modifier and Type | Method and Description |
---|---|
Type |
AbstractDataSource.getType() |
Type |
AbstractDataSource.getType() |
Modifier and Type | Method and Description |
---|---|
protected boolean |
SimpleMethodInfoFlowAnalysis.ignoreThisDataType(Type type) |
protected boolean |
SmartMethodInfoFlowAnalysis.ignoreThisDataType(Type type) |
protected boolean |
SimpleMethodInfoFlowAnalysis.ignoreThisDataType(Type type) |
protected boolean |
SmartMethodInfoFlowAnalysis.ignoreThisDataType(Type type) |
protected boolean |
SimpleMethodInfoFlowAnalysis.isNonRefType(Type type) |
protected boolean |
SmartMethodInfoFlowAnalysis.isNonRefType(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)
Constructs a FakeJimpleLocal of the given name and type.
|
FakeJimpleLocal(String name,
Type t,
Local realLocal,
Object info) |
FakeJimpleLocal(String name,
Type t,
Local realLocal,
Object info) |
Modifier and Type | Method and Description |
---|---|
Type |
FullObjectSet.type() |
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.
|
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.CLASSCLASS |
Type |
TypeConstants.CLASSLOADERCLASS |
Type |
TypeConstants.CLASSLOADERCLASS |
Type |
TypeConstants.CONSTRUCTORCLASS |
Type |
TypeConstants.CONSTRUCTORCLASS |
Type |
TypeConstants.FIELDCLASS |
Type |
TypeConstants.FIELDCLASS |
Type |
TypeConstants.FILESYSTEMCLASS |
Type |
TypeConstants.FILESYSTEMCLASS |
Type |
TypeConstants.LEASTCLASS |
Type |
TypeConstants.LEASTCLASS |
Type |
TypeConstants.METHODCLASS |
Type |
TypeConstants.METHODCLASS |
Type |
TypeConstants.OBJECTCLASS |
Type |
TypeConstants.OBJECTCLASS |
Type |
TypeConstants.PRIVILEGEDACTIONEXCEPTION |
Type |
TypeConstants.PRIVILEGEDACTIONEXCEPTION |
Type |
TypeConstants.PROCESSCLASS |
Type |
TypeConstants.PROCESSCLASS |
Type |
TypeConstants.STRINGCLASS |
Type |
TypeConstants.STRINGCLASS |
Type |
TypeConstants.THREADCLASS |
Type |
TypeConstants.THREADCLASS |
Modifier and Type | Method and Description |
---|---|
Type |
AbstractObject.getType() |
Type |
GeneralConstObject.getType() |
Type |
GeneralConstObject.getType() |
Type |
AbstractObject.getType() |
Constructor and Description |
---|
GeneralConstObject(Type t,
String n) |
GeneralConstObject(Type t,
String n) |
Modifier and Type | Method and Description |
---|---|
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(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). |
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() |
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 |
TypeResolver.typeNode(Type type) |
soot.jimple.toolkits.typing.TypeNode |
TypeResolverBV.typeNode(Type type)
Deprecated.
|
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.TypeVariable |
TypeResolver.typeVariable(Type type)
Get type variable for the given type.
|
soot.jimple.toolkits.typing.TypeVariableBV |
TypeResolverBV.typeVariable(Type type)
Deprecated.
Get type variable for the given 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 | Method and Description |
---|---|
static Type |
AugEvalFunction.eval_(Typing tg,
Value expr,
Stmt stmt,
JimpleBody jb) |
static Type |
AugEvalFunction.eval_(Typing tg,
Value expr,
Stmt stmt,
JimpleBody jb) |
Type |
Typing.get(Local v) |
Type |
Typing.get(Local v) |
Type |
Typing.set(Local v,
Type t) |
Type |
Typing.set(Local v,
Type t) |
Modifier and Type | Method and Description |
---|---|
Collection<Type> |
AugEvalFunction.eval(Typing tg,
Value expr,
Stmt stmt) |
Collection<Type> |
IEvalFunction.eval(Typing tg,
Value expr,
Stmt stmt) |
Collection<Type> |
AugEvalFunction.eval(Typing tg,
Value expr,
Stmt stmt) |
Collection<Type> |
IEvalFunction.eval(Typing tg,
Value expr,
Stmt stmt) |
static Collection<Type> |
AugHierarchy.lcas_(Type a,
Type b) |
static Collection<Type> |
BytecodeHierarchy.lcas_(Type a,
Type b) |
static Collection<Type> |
BytecodeHierarchy.lcas_(Type a,
Type b) |
static Collection<Type> |
AugHierarchy.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) |
Collection<Type> |
IHierarchy.lcas(Type a,
Type b) |
Collection<Type> |
BytecodeHierarchy.lcas(Type a,
Type b) |
Collection<Type> |
AugHierarchy.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) |
static boolean |
BytecodeHierarchy.ancestor_(Type ancestor,
Type child) |
static boolean |
AugHierarchy.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) |
boolean |
IHierarchy.ancestor(Type ancestor,
Type child) |
boolean |
BytecodeHierarchy.ancestor(Type ancestor,
Type child) |
boolean |
AugHierarchy.ancestor(Type ancestor,
Type child) |
static Collection<Type> |
AugHierarchy.lcas_(Type a,
Type b) |
static Collection<Type> |
BytecodeHierarchy.lcas_(Type a,
Type b) |
static Collection<Type> |
BytecodeHierarchy.lcas_(Type a,
Type b) |
static Collection<Type> |
AugHierarchy.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) |
Collection<Type> |
IHierarchy.lcas(Type a,
Type b) |
Collection<Type> |
BytecodeHierarchy.lcas(Type a,
Type b) |
Collection<Type> |
AugHierarchy.lcas(Type a,
Type b) |
Type |
Typing.set(Local v,
Type t) |
Type |
Typing.set(Local v,
Type t) |
static boolean |
TypeResolver.typesEqual(Type a,
Type b) |
static boolean |
TypeResolver.typesEqual(Type a,
Type b) |
Value |
IUseVisitor.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.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.
|
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.
|
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 |
protected Type |
SPhiExpr.type |
Modifier and Type | Method and Description |
---|---|
Type |
SPhiExpr.getType() |
Type |
SPiExpr.getType() |
Type |
SPhiExpr.getType() |
Type |
SPiExpr.getType() |
Modifier and Type | Field and Description |
---|---|
protected Type |
ValueGraph.TypeValueWrapper.type |
protected Type |
ValueGraph.TypeValueWrapper.type |
Modifier and Type | Method and Description |
---|---|
Type |
ValueGraph.TypeValueWrapper.getType() |
Type |
ValueGraph.TypeValueWrapper.getType() |
Constructor and Description |
---|
TypeValueWrapper(Type type) |
TypeValueWrapper(Type type) |
Modifier and Type | Method and Description |
---|---|
Type |
SEvaluator.TopConstant.getType() |
Type |
SEvaluator.BottomConstant.getType() |
Type |
SEvaluator.TopConstant.getType() |
Type |
SEvaluator.BottomConstant.getType() |
Modifier and Type | Method and Description |
---|---|
void |
TypeTemplatePrinter.defaultCase(Type t) |
void |
TypeTemplatePrinter.defaultCase(Type t) |
void |
TypeTemplatePrinter.printAssign(String v,
Type t) |
void |
TypeTemplatePrinter.printAssign(String v,
Type t) |
Modifier and Type | Method and Description |
---|---|
Type |
Register.getType() |
Type |
Register.getType() |
Modifier and Type | Method and Description |
---|---|
Register |
RegisterAllocator.asTmpReg(Type regType) |
Register |
RegisterAllocator.asTmpReg(Type regType) |
static String |
SootToDexUtils.getDexTypeDescriptor(Type sootType) |
static String |
SootToDexUtils.getDexTypeDescriptor(Type sootType) |
static int |
SootToDexUtils.getDexWords(Type sootType) |
static int |
SootToDexUtils.getDexWords(Type sootType) |
static boolean |
SootToDexUtils.isObject(Type sootType) |
static boolean |
SootToDexUtils.isObject(Type sootType) |
static boolean |
SootToDexUtils.isWide(Type sootType) |
static boolean |
SootToDexUtils.isWide(Type sootType) |
protected static BuilderTypeReference |
DexPrinter.toTypeReference(Type t,
DexBuilder belongingDexFile) |
protected static BuilderTypeReference |
DexPrinter.toTypeReference(Type t,
DexBuilder belongingDexFile) |
Modifier and Type | Method and Description |
---|---|
static int |
SootToDexUtils.getDexWords(List<Type> sootTypes) |
static int |
SootToDexUtils.getDexWords(List<Type> sootTypes) |
Constructor and Description |
---|
Register(Type type,
int number) |
Register(Type type,
int number) |
Modifier and Type | Method and Description |
---|---|
static int |
ASMBackendUtils.sizeOfType(Type t)
Get the size in words for a type.
|
static int |
ASMBackendUtils.sizeOfType(Type t)
Get the size in words for a type.
|
static String |
ASMBackendUtils.toTypeDesc(Type type)
Convert type to JVM style type description
|
static String |
ASMBackendUtils.toTypeDesc(Type type)
Convert type to JVM style type description
|