Package qilin.util

Class PTAUtils

java.lang.Object
qilin.util.PTAUtils
public final class PTAUtils extends Object

  • Constructor Details

    • PTAUtils

      public PTAUtils()

  • Method Details

    • 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, InvokableStmt invokeStmt, MethodPAG srcmpag, VarNode pi)

    • createView

      public static View createView()