qilin.util

Class PTAUtils

java.lang.Object

qilin.util.PTAUtils

public final class PTAUtils
extends Object

Constructor Summary

Constructors

Constructor and Description
PTAUtils()

Method Summary

Modifier and Type	Method and Description
static Map<LocalVarNode,Set<AllocNode>>	calcStaticThisPTS(PTA pta)
static boolean	canStoreType(View view, Type child, Type parent)
static boolean	castNeverFails(View view, Type src, Type dst)
static View	createView()
static void	dumpJimple(PTAScene scene, String outputDir)
static String	findMainFromMetaInfo(String appPath)
static ClassType	getClassType(String fullyQualifiedClassName)
static Object	getIR(Object sparkNode)
static Body	getMethodBody(SootMethod m)
static String	getNodeLabel(Node node)
static boolean	hasBody(SootMethod m)
static boolean	isConstructor(SootMethod method)
static boolean	isEmptyArray(AllocNode heap)
static boolean	isFakeMainClass(ClassType classType)
static boolean	isFakeMainMethod(SootMethod method)
static boolean	isOfPrimitiveBaseType(AllocNode heap)
static boolean	isPrimitiveArrayType(Type type)
static boolean	isStaticInitializer(SootMethod method)
static boolean	isThrowable(View view, Type type)
static boolean	mustAlias(PTA pta, VarNode v1, VarNode v2)
static LocalVarNode	paramToArg(PAG pag, Stmt invokeStmt, MethodPAG srcmpag, VarNode pi)
static Context	plusplusOp(AllocNode heap)
static void	printPts(PTA pta, PointsToSet pts)
static boolean	subtypeOfAbstractStringBuilder(Type t)
static void	updateMethodBody(SootMethod m, Body body)
static void	writeJimple(String parentDir, SootClass clz) Write the jimple file for clz.

Methods inherited from class java.lang.Object

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

Constructor Detail

PTAUtils

public PTAUtils()

Method Detail

getClassType

public static ClassType getClassType(String fullyQualifiedClassName)

isStaticInitializer

public static boolean isStaticInitializer(SootMethod method)

isConstructor

public static boolean isConstructor(SootMethod method)

calcStaticThisPTS

public static Map<LocalVarNode,Set<AllocNode>> calcStaticThisPTS(PTA pta)

getIR

public static Object getIR(Object sparkNode)

mustAlias

public static boolean mustAlias(PTA pta,
                                VarNode v1,
                                VarNode v2)

printPts

public static void printPts(PTA pta,
                            PointsToSet pts)

getNodeLabel

public static String getNodeLabel(Node node)

isThrowable

public static boolean isThrowable(View view,
                                  Type type)

canStoreType

public static boolean canStoreType(View view,
                                   Type child,
                                   Type parent)

castNeverFails

public static boolean castNeverFails(View view,
                                     Type src,
                                     Type dst)

subtypeOfAbstractStringBuilder

public static boolean subtypeOfAbstractStringBuilder(Type t)

plusplusOp

public static Context plusplusOp(AllocNode heap)

isFakeMainMethod

public static boolean isFakeMainMethod(SootMethod method)

isFakeMainClass

public static boolean isFakeMainClass(ClassType classType)

isOfPrimitiveBaseType

public static boolean isOfPrimitiveBaseType(AllocNode heap)

isPrimitiveArrayType

public static boolean isPrimitiveArrayType(Type type)

dumpJimple

public static void dumpJimple(PTAScene scene,
                              String outputDir)

writeJimple

public static void writeJimple(String parentDir,
                               SootClass clz)

Write the jimple file for clz. ParentDir is the absolute path of parent directory.

findMainFromMetaInfo

public static String findMainFromMetaInfo(String appPath)

getMethodBody

public static Body getMethodBody(SootMethod m)

updateMethodBody

public static void updateMethodBody(SootMethod m,
                                    Body body)

hasBody

public static boolean hasBody(SootMethod m)

isEmptyArray

public static boolean isEmptyArray(AllocNode heap)

paramToArg

public static LocalVarNode paramToArg(PAG pag,
                                      Stmt invokeStmt,
                                      MethodPAG srcmpag,
                                      VarNode pi)

createView

public static View createView()