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

类 CfaUtil

java.lang.Object

proguard.analysis.cpa.jvm.util.CfaUtil

public class CfaUtil
extends java.lang.Object

This is a util class for creating Cfas.

构造器概要

构造器

构造器	说明
CfaUtil()

方法概要

修饰符和类型	方法	说明
static void	addInterproceduralEdgesToCfa(JvmCfa cfa, CallGraph callGraph)	Adds interprocedural arcs to the given CFA from the call graph.
static JvmCfa	createInterproceduralCfa(ClassPool programClassPool)	Create an interprocedural CFA from the given program class pool.
static JvmCfa	createInterproceduralCfa(ClassPool programClassPool, CallGraph callGraph)	Create an interprocedural CFA from the given program class pool and call graph.
static JvmCfa	createInterproceduralCfa(ClassPool programClassPool, ClassPool libraryClassPool)	Create an interprocedural CFA from the given program class pool.
static JvmCfa	createInterproceduralCfaFromClassPool(ClassPool programClassPool)	已过时。
static JvmCfa	createInterproceduralCfaFromClassPool(ClassPool programClassPool, ClassPool libraryClassPool)	已过时。
static JvmCfa	createInterproceduralCfaFromClassPoolAndCallGraph(ClassPool programClassPool, CallGraph callGraph)	已过时。
static JvmCfa	createIntraproceduralCfa(ClassPool programClassPool)	Returns a CFA for the given program class pool.
static JvmCfa	createIntraproceduralCfa(ClassPool programClassPool, java.util.function.Supplier<java.lang.Boolean> shouldAnalyzeNextCodeAttribute)	Returns a CFA for the given program class pool.
static JvmCfa	createIntraproceduralCfaFromClassPool(ClassPool programClassPool)	已过时。
static JvmCfa	createIntraproceduralCfaFromClassPool(ClassPool programClassPool, java.util.function.Supplier<java.lang.Boolean> shouldAnalyzeNextCodeAttribute)	已过时。
static java.lang.String	toDot(JvmCfa cfa)	Produces a DOT graph representation of the given JVM control flow automaton.

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

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

构造器详细资料

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,
                                                           java.util.function.Supplier<java.lang.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,
                                              java.util.function.Supplier<java.lang.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 java.lang.String toDot(JvmCfa cfa)

Produces a DOT graph representation of the given JVM control flow automaton.