|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Uses of Type in soot |
---|
Subclasses of Type in soot | |
---|---|
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. |
Fields in soot declared as Type | |
---|---|
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. |
Methods in soot that return Type | |
---|---|
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 |
RefType.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 |
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 |
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 |
SootField.getType()
|
Type |
EquivalentValue.getType()
|
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()
|
Methods in soot that return types with arguments of type Type | |
---|---|
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. |
Methods in soot with parameters of type Type | |
---|---|
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 parameterTypes,
Type returnType)
Does this class declare a method with the given name, parameter types, and return type? |
boolean |
SootClass.declaresMethod(String name,
List 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. |
SootMethod |
SootClass.getMethod(String name,
List parameterTypes,
Type returnType)
|
SootMethod |
SootClass.getMethod(String name,
List parameterTypes,
Type returnType)
|
static String |
SootMethod.getSignature(SootClass cl,
String name,
List params,
Type returnType)
|
static String |
SootMethod.getSignature(SootClass cl,
String name,
List 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 params,
Type returnType)
|
static String |
SootMethod.getSubSignature(String name,
List 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 |
NormalUnitPrinter.type(Type t)
|
abstract void |
LabeledUnitPrinter.type(Type t)
|
void |
BriefUnitPrinter.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. |
Method parameters in soot with type arguments of type Type | |
---|---|
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. |
Constructors in soot with parameters of type Type | |
---|---|
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 parameterTypes,
Type returnType)
Constructs a SootMethod with the given name, parameter types and return type. |
|
SootMethod(String name,
List parameterTypes,
Type returnType)
Constructs a SootMethod with the given name, parameter types and return type. |
|
SootMethod(String name,
List parameterTypes,
Type returnType,
int modifiers)
Constructs a SootMethod with the given name, parameter types, return type and modifiers. |
|
SootMethod(String name,
List parameterTypes,
Type returnType,
int modifiers)
Constructs a SootMethod with the given name, parameter types, return type and modifiers. |
|
SootMethod(String name,
List 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 parameterTypes,
Type returnType,
int modifiers,
List<SootClass> thrownExceptions)
Constructs a SootMethod with the given name, parameter types, return type, and list of thrown exceptions. |
Uses of Type in soot.baf |
---|
Subclasses of Type in soot.baf | |
---|---|
class |
DoubleWordType
|
class |
WordType
|
Methods in soot.baf that return Type | |
---|---|
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 |
SwapInst.getFromType()
|
Type |
PrimitiveCastInst.getFromType()
|
Type |
Dup1Inst.getOp1Type()
|
Type |
Dup1_x1Inst.getOp1Type()
|
Type |
Dup1_x2Inst.getOp1Type()
|
Type |
Dup2Inst.getOp1Type()
|
Type |
Dup2_x1Inst.getOp1Type()
|
Type |
Dup2_x2Inst.getOp1Type()
|
Type |
Dup2Inst.getOp1Type()
|
Type |
Dup2_x2Inst.getOp1Type()
|
Type |
Dup2_x1Inst.getOp1Type()
|
Type |
Dup1Inst.getOp1Type()
|
Type |
Dup1_x2Inst.getOp1Type()
|
Type |
Dup1_x1Inst.getOp1Type()
|
Type |
Dup2Inst.getOp2Type()
|
Type |
Dup2_x1Inst.getOp2Type()
|
Type |
Dup2_x2Inst.getOp2Type()
|
Type |
Dup2Inst.getOp2Type()
|
Type |
Dup2_x2Inst.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 |
SwapInst.getToType()
|
Type |
PrimitiveCastInst.getToType()
|
Type |
Dup1_x1Inst.getUnder1Type()
|
Type |
Dup1_x2Inst.getUnder1Type()
|
Type |
Dup2_x1Inst.getUnder1Type()
|
Type |
Dup2_x2Inst.getUnder1Type()
|
Type |
Dup2_x2Inst.getUnder1Type()
|
Type |
Dup2_x1Inst.getUnder1Type()
|
Type |
Dup1_x2Inst.getUnder1Type()
|
Type |
Dup1_x1Inst.getUnder1Type()
|
Type |
Dup1_x2Inst.getUnder2Type()
|
Type |
Dup2_x2Inst.getUnder2Type()
|
Type |
Dup2_x2Inst.getUnder2Type()
|
Type |
Dup1_x2Inst.getUnder2Type()
|
Methods in soot.baf that return types with arguments of type Type | |
---|---|
List<Type> |
DupInst.getOpTypes()
|
List<Type> |
DupInst.getOpTypes()
|
List<Type> |
DupInst.getUnderTypes()
|
List<Type> |
DupInst.getUnderTypes()
|
Uses of Type in soot.baf.internal |
---|
Fields in soot.baf.internal declared as Type | |
---|---|
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
|
Methods in soot.baf.internal that return Type | |
---|---|
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 |
BSwapInst.getFromType()
|
Type |
BPrimitiveCastInst.getFromType()
|
Type |
BDup1Inst.getOp1Type()
|
Type |
BDup1_x1Inst.getOp1Type()
|
Type |
BDup1_x2Inst.getOp1Type()
|
Type |
BDup2Inst.getOp1Type()
|
Type |
BDup2_x1Inst.getOp1Type()
|
Type |
BDup2_x2Inst.getOp1Type()
|
Type |
BDup2Inst.getOp1Type()
|
Type |
BDup2_x2Inst.getOp1Type()
|
Type |
BDup2_x1Inst.getOp1Type()
|
Type |
BDup1Inst.getOp1Type()
|
Type |
BDup1_x2Inst.getOp1Type()
|
Type |
BDup1_x1Inst.getOp1Type()
|
Type |
BDup2Inst.getOp2Type()
|
Type |
BDup2_x1Inst.getOp2Type()
|
Type |
BDup2_x2Inst.getOp2Type()
|
Type |
BDup2Inst.getOp2Type()
|
Type |
BDup2_x2Inst.getOp2Type()
|
Type |
BDup2_x1Inst.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 |
BSwapInst.getToType()
|
Type |
BPrimitiveCastInst.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 |
BDup2_x2Inst.getUnder1Type()
|
Type |
BDup2_x1Inst.getUnder1Type()
|
Type |
BDup1_x2Inst.getUnder1Type()
|
Type |
BDup1_x1Inst.getUnder1Type()
|
Type |
BDup1_x2Inst.getUnder2Type()
|
Type |
BDup2_x2Inst.getUnder2Type()
|
Type |
BDup2_x2Inst.getUnder2Type()
|
Type |
BDup1_x2Inst.getUnder2Type()
|
Methods in soot.baf.internal that return types with arguments of type Type | |
---|---|
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> |
BDup2Inst.getOpTypes()
|
List<Type> |
BDup2_x2Inst.getOpTypes()
|
List<Type> |
BDup2_x1Inst.getOpTypes()
|
List<Type> |
BDup1Inst.getOpTypes()
|
List<Type> |
BDup1_x2Inst.getOpTypes()
|
List<Type> |
BDup1_x1Inst.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> |
BDup2Inst.getUnderTypes()
|
List<Type> |
BDup2_x2Inst.getUnderTypes()
|
List<Type> |
BDup2_x1Inst.getUnderTypes()
|
List<Type> |
BDup1Inst.getUnderTypes()
|
List<Type> |
BDup1_x2Inst.getUnderTypes()
|
List<Type> |
BDup1_x1Inst.getUnderTypes()
|
Methods in soot.baf.internal with parameters of type Type | |
---|---|
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 |
BSwapInst.setFromType(Type fromType)
|
void |
BPrimitiveCastInst.setFromType(Type t)
|
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 |
BSwapInst.setToType(Type toType)
|
void |
BPrimitiveCastInst.setToType(Type t)
|
void |
BafLocal.setType(Type t)
|
void |
BafLocal.setType(Type t)
|
Uses of Type in soot.coffi |
---|
Subclasses of Type in soot.coffi | |
---|---|
class |
Double2ndHalfType
|
class |
Long2ndHalfType
|
class |
UnusuableType
|
Methods in soot.coffi that return Type | |
---|---|
Type |
Util.jimpleTypeOfFieldDescriptor(String descriptor)
|
Type |
Util.jimpleTypeOfFieldDescriptor(String descriptor)
|
Type[] |
Util.jimpleTypesOfFieldOrMethodDescriptor(String descriptor)
|
Type[] |
Util.jimpleTypesOfFieldOrMethodDescriptor(String descriptor)
|
Methods in soot.coffi with parameters of type Type | |
---|---|
boolean |
Double2ndHalfType.equals(Type otherType)
|
boolean |
Long2ndHalfType.equals(Type otherType)
|
boolean |
UnusuableType.equals(Type otherType)
|
boolean |
UnusuableType.equals(Type otherType)
|
boolean |
Long2ndHalfType.equals(Type otherType)
|
boolean |
Double2ndHalfType.equals(Type otherType)
|
Uses of Type in soot.dava |
---|
Methods in soot.dava with parameters of type Type | |
---|---|
Local |
Dava.newLocal(String name,
Type t)
|
Local |
Dava.newLocal(String name,
Type t)
|
void |
DavaUnitPrinter.type(Type t)
|
void |
DavaUnitPrinter.type(Type t)
|
Uses of Type in soot.dava.internal.javaRep |
---|
Fields in soot.dava.internal.javaRep declared as Type | |
---|---|
Type |
DIntConstant.type
|
Type |
DIntConstant.type
|
Methods in soot.dava.internal.javaRep that return Type | |
---|---|
Type |
DArrayInitExpr.getType()
|
Type |
DCmpExpr.getType()
|
Type |
DCmpgExpr.getType()
|
Type |
DCmplExpr.getType()
|
Type |
DNotExpr.getType()
|
Type |
DShortcutIf.getType()
|
Type |
DVariableDeclarationStmt.getType()
|
Type |
DVariableDeclarationStmt.getType()
|
Type |
DShortcutIf.getType()
|
Type |
DNotExpr.getType()
|
Type |
DCmplExpr.getType()
|
Type |
DCmpgExpr.getType()
|
Type |
DCmpExpr.getType()
|
Type |
DArrayInitExpr.getType()
|
Methods in soot.dava.internal.javaRep with parameters of type Type | |
---|---|
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)
|
Constructors in soot.dava.internal.javaRep with parameters of type Type | |
---|---|
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)
|
Uses of Type in soot.dava.toolkits.base.AST.analysis |
---|
Methods in soot.dava.toolkits.base.AST.analysis with parameters of type Type | |
---|---|
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)
|
Uses of Type in soot.dava.toolkits.base.AST.transformations |
---|
Methods in soot.dava.toolkits.base.AST.transformations with parameters of type Type | |
---|---|
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)
|
Uses of Type in soot.dava.toolkits.base.renamer |
---|
Methods in soot.dava.toolkits.base.renamer with parameters of type Type | |
---|---|
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)
|
Uses of Type in soot.grimp |
---|
Methods in soot.grimp with parameters of type Type | |
---|---|
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. |
Uses of Type in soot.grimp.internal |
---|
Methods in soot.grimp.internal that return Type | |
---|---|
Type |
GNewInvokeExpr.getType()
|
Type |
GNewInvokeExpr.getType()
|
Constructors in soot.grimp.internal with parameters of type Type | |
---|---|
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)
|
Uses of Type in soot.javaToJimple |
---|
Fields in soot.javaToJimple with type parameters of type Type | |
---|---|
Set<Type> |
IInitialResolver.Dependencies.typesToHierarchy
|
Set<Type> |
IInitialResolver.Dependencies.typesToHierarchy
|
Set<Type> |
IInitialResolver.Dependencies.typesToSignature
|
Set<Type> |
IInitialResolver.Dependencies.typesToSignature
|
Methods in soot.javaToJimple that return Type | |
---|---|
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()
|
Methods in soot.javaToJimple with parameters of type Type | |
---|---|
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)
|
Constructors in soot.javaToJimple with parameters of type Type | |
---|---|
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 parameters in soot.javaToJimple with type arguments of type Type | |
---|---|
ClassResolver(SootClass sootClass,
Set<Type> set)
|
|
ClassResolver(SootClass sootClass,
Set<Type> set)
|
Uses of Type in soot.jbco.bafTransformations |
---|
Fields in soot.jbco.bafTransformations declared as Type | |
---|---|
Type[] |
StackTypeHeightCalculator.StackEffectSwitch.add_types
|
Type[] |
StackTypeHeightCalculator.StackEffectSwitch.add_types
|
Type[] |
StackTypeHeightCalculator.StackEffectSwitch.remove_types
|
Type[] |
StackTypeHeightCalculator.StackEffectSwitch.remove_types
|
Methods in soot.jbco.bafTransformations that return types with arguments of type Type | |
---|---|
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)
|
Methods in soot.jbco.bafTransformations with parameters of type Type | |
---|---|
static PushInst |
FixUndefinedLocals.getPushInitializer(Local l,
Type t)
|
static PushInst |
FixUndefinedLocals.getPushInitializer(Local l,
Type t)
|
Method parameters in soot.jbco.bafTransformations with type arguments of type Type | |
---|---|
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)
|
Uses of Type in soot.jbco.jimpleTransformations |
---|
Fields in soot.jbco.jimpleTransformations with type parameters of type Type | |
---|---|
static HashMap<Type,List<Constant>> |
CollectConstants.typesToValues
|
static HashMap<Type,List<Constant>> |
CollectConstants.typesToValues
|
Uses of Type in soot.jimple |
---|
Methods in soot.jimple that return Type | |
---|---|
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 |
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 |
ThisRef.getType()
|
Type |
StringConstant.getType()
|
Type |
StaticInvokeExpr.getType()
|
Type |
StaticFieldRef.getType()
|
Type |
ParameterRef.getType()
Returns the type of this ParameterRef. |
Type |
NullConstant.getType()
|
Type |
NewMultiArrayExpr.getType()
|
Type |
NewExpr.getType()
|
Type |
NewArrayExpr.getType()
|
Type |
LongConstant.getType()
|
Type |
InvokeExpr.getType()
|
Type |
IntConstant.getType()
|
Type |
InstanceOfExpr.getType()
|
Type |
FloatConstant.getType()
|
Type |
DoubleConstant.getType()
|
Type |
ClassConstant.getType()
|
Type |
CaughtExceptionRef.getType()
|
Type |
CastExpr.getType()
|
Type |
ArrayRef.getType()
|
Methods in soot.jimple with parameters of type Type | |
---|---|
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)
|
Constructors in soot.jimple with parameters of type Type | |
---|---|
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. |
Uses of Type in soot.jimple.internal |
---|
Methods in soot.jimple.internal that return Type | |
---|---|
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 |
JimpleLocal.getType()
Returns the type of this local. |
Type |
JimpleLocal.getType()
Returns the type of this local. |
Type |
JCaughtExceptionRef.getType()
|
Type |
JArrayRef.getType()
|
Type |
AbstractNewMultiArrayExpr.getType()
|
Type |
AbstractNewExpr.getType()
|
Type |
AbstractNewArrayExpr.getType()
|
Type |
AbstractNegExpr.getType()
|
Type |
AbstractLengthExpr.getType()
|
Type |
AbstractInvokeExpr.getType()
|
Type |
AbstractIntLongBinopExpr.getType()
|
Type |
AbstractIntBinopExpr.getType()
|
Type |
AbstractInstanceOfExpr.getType()
|
Type |
AbstractInstanceFieldRef.getType()
|
Type |
AbstractFloatBinopExpr.getType()
|
Type |
AbstractCastExpr.getType()
|
Methods in soot.jimple.internal with parameters of type Type | |
---|---|
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. |
Constructors in soot.jimple.internal with parameters of type Type | |
---|---|
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 t)
Constructs a JimpleLocal of the given name and type. |
|
JimpleLocal(String name,
Type t)
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)
|
Uses of Type in soot.jimple.spark.geom.geomE |
---|
Method parameters in soot.jimple.spark.geom.geomE with type arguments of type Type | |
---|---|
boolean |
FullSensitiveNode.test_points_to_has_types(Set<Type> types)
|
boolean |
FullSensitiveNode.test_points_to_has_types(Set<Type> types)
|
Uses of Type in soot.jimple.spark.geom.geomPA |
---|
Methods in soot.jimple.spark.geom.geomPA that return Type | |
---|---|
Type |
IVarAbstraction.getType()
|
Type |
IVarAbstraction.getType()
|
Methods in soot.jimple.spark.geom.geomPA with parameters of type Type | |
---|---|
boolean |
GeomPointsTo.castNeverFails(Type src,
Type dst)
|
boolean |
GeomPointsTo.castNeverFails(Type src,
Type dst)
|
Method parameters in soot.jimple.spark.geom.geomPA with type arguments of type Type | |
---|---|
boolean |
DummyNode.test_points_to_has_types(Set<Type> types)
|
abstract boolean |
IVarAbstraction.test_points_to_has_types(Set<Type> types)
|
abstract boolean |
IVarAbstraction.test_points_to_has_types(Set<Type> types)
|
boolean |
DummyNode.test_points_to_has_types(Set<Type> types)
|
Uses of Type in soot.jimple.spark.geom.heapinsE |
---|
Method parameters in soot.jimple.spark.geom.heapinsE with type arguments of type Type | |
---|---|
boolean |
HeapInsNode.test_points_to_has_types(Set<Type> types)
|
boolean |
HeapInsNode.test_points_to_has_types(Set<Type> types)
|
Uses of Type in soot.jimple.spark.geom.ptinsE |
---|
Method parameters in soot.jimple.spark.geom.ptinsE with type arguments of type Type | |
---|---|
boolean |
PtInsNode.test_points_to_has_types(Set<Type> types)
|
boolean |
PtInsNode.test_points_to_has_types(Set<Type> types)
|
Uses of Type in soot.jimple.spark.internal |
---|
Methods in soot.jimple.spark.internal with parameters of type Type | |
---|---|
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)
|
Uses of Type in soot.jimple.spark.ondemand |
---|
Methods in soot.jimple.spark.ondemand that return types with arguments of type Type | |
---|---|
Set<Type> |
AllocAndContextSet.possibleTypes()
|
Set<Type> |
LazyContextSensitivePointsToSet.possibleTypes()
|
Set<Type> |
WrappedPointsToSet.possibleTypes()
|
Set<Type> |
WrappedPointsToSet.possibleTypes()
|
Set<Type> |
LazyContextSensitivePointsToSet.possibleTypes()
|
Set<Type> |
AllocAndContextSet.possibleTypes()
|
Methods in soot.jimple.spark.ondemand with parameters of type Type | |
---|---|
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)
|
Uses of Type in soot.jimple.spark.ondemand.pautil |
---|
Fields in soot.jimple.spark.ondemand.pautil declared as Type | |
---|---|
Type |
AllocationSiteHandler.VirtualCallHandler.receiverType
|
Type |
AllocationSiteHandler.VirtualCallHandler.receiverType
|
Methods in soot.jimple.spark.ondemand.pautil with parameters of type Type | |
---|---|
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)
|
Constructors in soot.jimple.spark.ondemand.pautil with parameters of type Type | |
---|---|
AllocationSiteHandler.VirtualCallHandler(PAG pag,
Type receiverType,
NumberedString methodStr)
|
|
AllocationSiteHandler.VirtualCallHandler(PAG pag,
Type receiverType,
NumberedString methodStr)
|
Uses of Type in soot.jimple.spark.pag |
---|
Fields in soot.jimple.spark.pag declared as Type | |
---|---|
protected Type |
Node.type
|
protected Type |
Node.type
|
Methods in soot.jimple.spark.pag that return Type | |
---|---|
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 |
Parm.getType()
|
Type |
Node.getType()
Returns the declared type of this node, null for unknown. |
Type |
ArrayElement.getType()
|
Methods in soot.jimple.spark.pag with parameters of type Type | |
---|---|
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. |
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. |
Constructors in soot.jimple.spark.pag with parameters of type Type | |
---|---|
ValNode(PAG pag,
Type t)
|
|
ValNode(PAG pag,
Type t)
|
Uses of Type in soot.jimple.spark.sets |
---|
Fields in soot.jimple.spark.sets declared as Type | |
---|---|
protected Type |
PointsToSetInternal.type
|
protected Type |
PointsToSetInternal.type
|
Methods in soot.jimple.spark.sets that return Type | |
---|---|
Type |
PointsToSetInternal.getType()
|
Type |
PointsToSetInternal.getType()
|
Methods in soot.jimple.spark.sets that return types with arguments of type Type | |
---|---|
Set<Type> |
PointsToSetEqualsWrapper.possibleTypes()
|
Set<Type> |
PointsToSetInternal.possibleTypes()
|
Set<Type> |
PointsToSetInternal.possibleTypes()
|
Set<Type> |
PointsToSetEqualsWrapper.possibleTypes()
|
Methods in soot.jimple.spark.sets with parameters of type Type | |
---|---|
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)
|
Constructors in soot.jimple.spark.sets with parameters of type Type | |
---|---|
BitPointsToSet(Type type,
PAG pag)
|
|
BitPointsToSet(Type type,
PAG pag)
|
|
DoublePointsToSet(Type type,
PAG pag)
|
|
DoublePointsToSet(Type type,
PAG pag)
|
|
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)
|
Uses of Type in soot.jimple.toolkits.callgraph |
---|
Methods in soot.jimple.toolkits.callgraph with parameters of type Type | |
---|---|
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 targets)
|
void |
VirtualCalls.resolve(Type t,
Type declaredType,
NumberedString subSig,
SootMethod container,
ChunkedQueue targets)
|
void |
VirtualCalls.resolve(Type t,
Type declaredType,
Type sigType,
NumberedString subSig,
SootMethod container,
ChunkedQueue targets)
|
void |
VirtualCalls.resolve(Type t,
Type declaredType,
Type sigType,
NumberedString subSig,
SootMethod container,
ChunkedQueue targets)
|
Uses of Type in soot.jimple.toolkits.infoflow |
---|
Methods in soot.jimple.toolkits.infoflow that return Type | |
---|---|
Type |
AbstractDataSource.getType()
|
Type |
AbstractDataSource.getType()
|
Methods in soot.jimple.toolkits.infoflow with parameters of type Type | |
---|---|
protected boolean |
SimpleMethodInfoFlowAnalysis.ignoreThisDataType(Type type)
|
protected boolean |
SmartMethodInfoFlowAnalysis.ignoreThisDataType(Type type)
|
protected boolean |
SmartMethodInfoFlowAnalysis.ignoreThisDataType(Type type)
|
protected boolean |
SimpleMethodInfoFlowAnalysis.ignoreThisDataType(Type type)
|
protected boolean |
SimpleMethodInfoFlowAnalysis.isNonRefType(Type type)
|
protected boolean |
SmartMethodInfoFlowAnalysis.isNonRefType(Type type)
|
protected boolean |
SmartMethodInfoFlowAnalysis.isNonRefType(Type type)
|
protected boolean |
SimpleMethodInfoFlowAnalysis.isNonRefType(Type type)
|
Constructors in soot.jimple.toolkits.infoflow with parameters of type Type | |
---|---|
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)
|
Uses of Type in soot.jimple.toolkits.pointer.representations |
---|
Fields in soot.jimple.toolkits.pointer.representations declared as Type | |
---|---|
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
|
Methods in soot.jimple.toolkits.pointer.representations that return Type | |
---|---|
Type |
AbstractObject.getType()
|
Type |
GeneralConstObject.getType()
|
Type |
GeneralConstObject.getType()
|
Type |
AbstractObject.getType()
|
Constructors in soot.jimple.toolkits.pointer.representations with parameters of type Type | |
---|---|
GeneralConstObject(Type t,
String n)
|
|
GeneralConstObject(Type t,
String n)
|
Uses of Type in soot.jimple.toolkits.scalar |
---|
Methods in soot.jimple.toolkits.scalar with parameters of type Type | |
---|---|
Local |
LocalCreation.newLocal(String prefix,
Type type)
returns a new local with the given prefix and the given type. the returned local will automaticly 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 automaticly 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 automaticly 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 automaticly 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). |
Uses of Type in soot.jimple.toolkits.thread.synchronization |
---|
Methods in soot.jimple.toolkits.thread.synchronization that return Type | |
---|---|
Type |
NewStaticLock.getType()
|
Type |
NewStaticLock.getType()
|
Uses of Type in soot.jimple.toolkits.typing |
---|
Methods in soot.jimple.toolkits.typing with parameters of type Type | |
---|---|
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 |
TypeResolverBV.typeNode(Type type)
Deprecated. |
soot.jimple.toolkits.typing.TypeNode |
TypeResolver.typeNode(Type type)
|
soot.jimple.toolkits.typing.TypeNode |
ClassHierarchy.typeNode(Type type)
Get the type node for the given 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. |
Uses of Type in soot.jimple.toolkits.typing.fast |
---|
Subclasses of Type in soot.jimple.toolkits.typing.fast | |
---|---|
class |
BottomType
|
class |
Integer127Type
|
class |
Integer1Type
|
class |
Integer32767Type
|
Methods in soot.jimple.toolkits.typing.fast that return Type | |
---|---|
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)
|
Methods in soot.jimple.toolkits.typing.fast that return types with arguments of type Type | |
---|---|
Collection<Type> |
AugEvalFunction.eval(Typing tg,
Value expr,
Stmt stmt)
|
Collection<Type> |
IEvalFunction.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)
|
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)
|
Methods in soot.jimple.toolkits.typing.fast with parameters of type Type | |
---|---|
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)
|
Uses of Type in soot.jimple.toolkits.typing.integer |
---|
Methods in soot.jimple.toolkits.typing.integer with parameters of type Type | |
---|---|
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. |
Uses of Type in soot.shimple |
---|
Methods in soot.shimple that return Type | |
---|---|
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. |
Uses of Type in soot.shimple.internal |
---|
Fields in soot.shimple.internal declared as Type | |
---|---|
protected Type |
SPhiExpr.type
|
protected Type |
SPhiExpr.type
|
Methods in soot.shimple.internal that return Type | |
---|---|
Type |
SPhiExpr.getType()
|
Type |
SPiExpr.getType()
|
Type |
SPiExpr.getType()
|
Type |
SPhiExpr.getType()
|
Uses of Type in soot.shimple.toolkits.graph |
---|
Fields in soot.shimple.toolkits.graph declared as Type | |
---|---|
protected Type |
ValueGraph.TypeValueWrapper.type
|
protected Type |
ValueGraph.TypeValueWrapper.type
|
Methods in soot.shimple.toolkits.graph that return Type | |
---|---|
Type |
ValueGraph.TypeValueWrapper.getType()
|
Type |
ValueGraph.TypeValueWrapper.getType()
|
Constructors in soot.shimple.toolkits.graph with parameters of type Type | |
---|---|
ValueGraph.TypeValueWrapper(Type type)
|
|
ValueGraph.TypeValueWrapper(Type type)
|
Uses of Type in soot.shimple.toolkits.scalar |
---|
Methods in soot.shimple.toolkits.scalar that return Type | |
---|---|
Type |
SEvaluator.TopConstant.getType()
|
Type |
SEvaluator.BottomConstant.getType()
|
Type |
SEvaluator.TopConstant.getType()
|
Type |
SEvaluator.BottomConstant.getType()
|
Uses of Type in soot.sootify |
---|
Methods in soot.sootify with parameters of type Type | |
---|---|
void |
TypeTemplatePrinter.caseDefault(Type t)
|
void |
TypeTemplatePrinter.caseDefault(Type t)
|
void |
TypeTemplatePrinter.printAssign(String v,
Type t)
|
void |
TypeTemplatePrinter.printAssign(String v,
Type t)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |