qilin.pta.toolkits.zipper.flowgraph

Class FlowAnalysis

java.lang.Object

qilin.pta.toolkits.zipper.flowgraph.FlowAnalysis

public class FlowAnalysis
extends Object

Constructor Summary

Constructors

Constructor and Description
FlowAnalysis(PTA pta, PotentialContextElement pce, ObjectFlowGraph ofg)

Method Summary

Modifier and Type	Method and Description
void	analyze(SootMethod startMethod)
void	clear()
Set<Node>	getFlowNodes()
ConcurrentDirectedGraphImpl<Node>	getPFG()
void	initialize(Type type, Set<SootMethod> inms, Set<SootMethod> outms)
int	numberOfPFGEdges()
int	numberOfPFGNodes()

Methods inherited from class java.lang.Object

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

Constructor Detail

FlowAnalysis

public FlowAnalysis(PTA pta,
                    PotentialContextElement pce,
                    ObjectFlowGraph ofg)

Method Detail

initialize

public void initialize(Type type,
                       Set<SootMethod> inms,
                       Set<SootMethod> outms)

analyze

public void analyze(SootMethod startMethod)

getFlowNodes

public Set<Node> getFlowNodes()

numberOfPFGNodes

public int numberOfPFGNodes()

numberOfPFGEdges

public int numberOfPFGEdges()

getPFG

public ConcurrentDirectedGraphImpl<Node> getPFG()

clear

public void clear()