proguard.analysis.cpa.jvm.util

Class 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.

Constructor Summary

Constructors

Constructor and Description
CfaUtil()

Method Summary

Modifier and Type	Method and Description
static void	addInterproceduralEdgesToCfa(JvmCfa cfa, CallGraph callGraph) Adds interprocedural arcs to the given CFA from the call graph.
static JvmCfa	createInterproceduralCfaFromClassPool(ClassPool programClassPool) Create an interprocedural CFA from the given program class pool.
static JvmCfa	createInterproceduralCfaFromClassPoolAndCallGraph(ClassPool programClassPool, CallGraph callGraph) Create an interprocedural CFA from the given program class pool and call graph.
static JvmCfa	createIntraproceduralCfaFromClassPool(ClassPool programClassPool) Returns a CFA for the given program class pool.

Methods inherited from class java.lang.Object

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

Constructor Detail

CfaUtil

public CfaUtil()

Method Detail

createIntraproceduralCfaFromClassPool

public static JvmCfa createIntraproceduralCfaFromClassPool(ClassPool programClassPool)

Returns a CFA for the given program class pool.

Parameters:

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.

Parameters:

cfa - a CFA

callGraph - a call graph

createInterproceduralCfaFromClassPoolAndCallGraph

public static JvmCfa createInterproceduralCfaFromClassPoolAndCallGraph(ClassPool programClassPool,
                                                                       CallGraph callGraph)

Create an interprocedural CFA from the given program class pool and call graph.

Parameters:

programClassPool - a program class pool

callGraph - a call graph

createInterproceduralCfaFromClassPool

public static JvmCfa createInterproceduralCfaFromClassPool(ClassPool programClassPool)

Create an interprocedural CFA from the given program class pool.

Parameters:

programClassPool - a program class pool