程序包 proguard.analysis.cpa.jvm.util

类 CfaUtil

java.lang.Object
proguard.analysis.cpa.jvm.util.CfaUtil
public class CfaUtil extends Object
This is a util class for creating Cfas.

  • 构造器详细资料

    • CfaUtil

      public CfaUtil()

  • 方法详细资料

    • createIntraproceduralCfaFromClassPool

      @Deprecated public static JvmCfa createIntraproceduralCfaFromClassPool(ClassPool programClassPool)
      已过时。
      Returns a CFA for the given program class pool.
      参数:
      programClassPool - a program class pool

    • createIntraproceduralCfa

      public static JvmCfa createIntraproceduralCfa(ClassPool programClassPool)
      Returns a CFA for the given program class pool.
      参数:
      programClassPool - a program class pool

    • createIntraproceduralCfaFromClassPool

      @Deprecated public static JvmCfa createIntraproceduralCfaFromClassPool(ClassPool programClassPool, Supplier<Boolean> shouldAnalyzeNextCodeAttribute)
      已过时。
      Returns a CFA for the given program class pool. Allows to limit the number of processed code attributes with shouldAnalyzeNextCodeAttribute.
      参数:
      programClassPool - a program class pool

    • createIntraproceduralCfa

      public static JvmCfa createIntraproceduralCfa(ClassPool programClassPool, Supplier<Boolean> shouldAnalyzeNextCodeAttribute)
      Returns a CFA for the given program class pool. Allows to limit the number of processed code attributes with shouldAnalyzeNextCodeAttribute.
      参数:
      programClassPool - a program class pool

    • addInterproceduralEdgesToCfa

      public static void addInterproceduralEdgesToCfa(JvmCfa cfa, CallGraph callGraph)
      Adds interprocedural arcs to the given CFA from the call graph.
      参数:
      cfa - a CFA
      callGraph - a call graph

    • createInterproceduralCfaFromClassPoolAndCallGraph

      @Deprecated public static JvmCfa createInterproceduralCfaFromClassPoolAndCallGraph(ClassPool programClassPool, CallGraph callGraph)
      已过时。
      Create an interprocedural CFA from the given program class pool and call graph.
      参数:
      programClassPool - a program class pool
      callGraph - a call graph

    • createInterproceduralCfa

      public static JvmCfa createInterproceduralCfa(ClassPool programClassPool, CallGraph callGraph)
      Create an interprocedural CFA from the given program class pool and call graph.
      参数:
      programClassPool - a program class pool
      callGraph - a call graph

    • createInterproceduralCfaFromClassPool

      @Deprecated public static JvmCfa createInterproceduralCfaFromClassPool(ClassPool programClassPool)
      已过时。
      Create an interprocedural CFA from the given program class pool.
      参数:
      programClassPool - a program class pool

    • createInterproceduralCfa

      public static JvmCfa createInterproceduralCfa(ClassPool programClassPool)
      Create an interprocedural CFA from the given program class pool.
      参数:
      programClassPool - a program class pool

    • createInterproceduralCfaFromClassPool

      @Deprecated public static JvmCfa createInterproceduralCfaFromClassPool(ClassPool programClassPool, ClassPool libraryClassPool)
      已过时。
      Create an interprocedural CFA from the given program class pool.
      参数:
      programClassPool - a program class pool

    • createInterproceduralCfa

      public static JvmCfa createInterproceduralCfa(ClassPool programClassPool, ClassPool libraryClassPool)
      Create an interprocedural CFA from the given program class pool.
      参数:
      programClassPool - a program class pool

    • toDot

      public static String toDot(JvmCfa cfa)
      Produces a DOT graph representation of the given JVM control flow automaton.