soot.jimple.infoflow.util

类 TypeUtils

java.lang.Object

soot.jimple.infoflow.util.TypeUtils

public class TypeUtils
extends Object

Class containing various utility methods for dealing with type information

作者:

Steven Arzt

构造器概要

构造器

构造器和说明
TypeUtils(InfoflowManager manager)

方法概要

限定符和类型	方法和说明
static soot.Type	buildArrayOrAddDimension(soot.Type type, soot.Type arrayType) Builds a new array of the given type if it is a base type or increments the dimensions of the given array by 1 otherwise.
boolean	checkCast(AccessPath accessPath, soot.Type type) Checks whether the type of the given taint can be cast to the given target type
boolean	checkCast(soot.Type destType, soot.Type sourceType) Checks whether the given source type can be cast to the given destination type
static String	getMorePreciseType(String tp1, String tp2) Gets the more precise one of the two given types
static soot.Type	getMorePreciseType(soot.Type tp1, soot.Type tp2) Gets the more precise one of the two given types.
static soot.Type	getTypeFromString(String type) Creates a Soot Type from the given string
boolean	hasCompatibleTypesForCall(AccessPath apBase, soot.SootClass dest)
static boolean	isObjectLikeType(soot.Type tp) Checks whether the given type is java.lang.Object, java.io.Serializable, or java.lang.Cloneable.
static boolean	isPrimitiveArray(soot.Type type)
static boolean	isStringType(soot.Type tp) Checks whether the given type is a string

从类继承的方法 java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

构造器详细资料

TypeUtils

public TypeUtils(InfoflowManager manager)

方法详细资料

isStringType

public static boolean isStringType(soot.Type tp)

Checks whether the given type is a string

参数:

tp - The type of check

返回:

True if the given type is a string, otherwise false

isObjectLikeType

public static boolean isObjectLikeType(soot.Type tp)

Checks whether the given type is java.lang.Object, java.io.Serializable, or java.lang.Cloneable.

参数:

tp - The type to check

返回:

True if the given type is one of the three "object-like" types, otherwise false

checkCast

public boolean checkCast(soot.Type destType,
                         soot.Type sourceType)

Checks whether the given source type can be cast to the given destination type

参数:

destType - The destination type to which to cast

sourceType - The source type from which to cast

返回:

True if the given types are cast-compatible, otherwise false

checkCast

public boolean checkCast(AccessPath accessPath,
                         soot.Type type)

Checks whether the type of the given taint can be cast to the given target type

参数:

accessPath - The access path of the taint to be cast

type - The target type to which to cast the taint

返回:

True if the cast is possible, otherwise false

isPrimitiveArray

public static boolean isPrimitiveArray(soot.Type type)

hasCompatibleTypesForCall

public boolean hasCompatibleTypesForCall(AccessPath apBase,
                                         soot.SootClass dest)

getMorePreciseType

public static soot.Type getMorePreciseType(soot.Type tp1,
                                           soot.Type tp2)

Gets the more precise one of the two given types. If there is no ordering (i.e., the two types are not cast-compatible) null is returned.

参数:

tp1 - The first type

tp2 - The second type

返回:

The more precise one of the two given types

getMorePreciseType

public static String getMorePreciseType(String tp1,
                                        String tp2)

Gets the more precise one of the two given types

参数:

tp1 - The first type

tp2 - The second type

返回:

The more precise one of the two given types

getTypeFromString

public static soot.Type getTypeFromString(String type)

Creates a Soot Type from the given string

参数:

type - A string representing a Soot type

返回:

The Soot Type corresponding to the given string

buildArrayOrAddDimension

public static soot.Type buildArrayOrAddDimension(soot.Type type,
                                                 soot.Type arrayType)

Builds a new array of the given type if it is a base type or increments the dimensions of the given array by 1 otherwise.

参数:

type - The base type or incoming array

arrayType - The declared type of the array

返回:

The resulting array