Package 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	Description
FlowAnalysis(PTA pta, PotentialContextElement pce, ObjectFlowGraph ofg)

Method Summary

Modifier and Type	Method	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 Details

FlowAnalysis

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

Method Details

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()