Package qilin.pta.toolkits.moon.graph

Class VFG

java.lang.Object

qilin.pta.toolkits.moon.graph.VFG

public class VFG
extends Object

Constructor Summary

Constructors

Constructor	Description
VFG()

Method Summary

Modifier and Type	Method	Description
void	addFieldFlowEdge(FlowKind flowKind, PagNode src, PagNode tgt, SparkField field)
void	addSimpleFlowEdge(FlowKind flowKind, PagNode src, PagNode tgt)
Set<LocalVarNode>	getContainerVars()
Set<SootMethod>	getInlineCallers()
Set<PagNode>	getNodes()
Set<FlowEdge>	getPredsOf(PagNode node)
Set<FlowEdge>	getSuccsOf(PagNode node)
Set<LocalVarNode>	getThisVars()
void	recordInlineMethod(SootMethod callee, SootMethod caller)
void	recordThisVar(VarNode thisVar)

Methods inherited from class java.lang.Object

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

Constructor Details

VFG

public VFG()

Method Details

addFieldFlowEdge

public void addFieldFlowEdge(FlowKind flowKind,
 PagNode src,
 PagNode tgt,
 SparkField field)

addSimpleFlowEdge

public void addSimpleFlowEdge(FlowKind flowKind,
 PagNode src,
 PagNode tgt)

recordThisVar

public void recordThisVar(VarNode thisVar)

getThisVars

public Set<LocalVarNode> getThisVars()

getPredsOf

public Set<FlowEdge> getPredsOf(PagNode node)

getSuccsOf

public Set<FlowEdge> getSuccsOf(PagNode node)

getNodes

public Set<PagNode> getNodes()

getContainerVars

public Set<LocalVarNode> getContainerVars()

recordInlineMethod

public void recordInlineMethod(SootMethod callee,
 SootMethod caller)

getInlineCallers

public Set<SootMethod> getInlineCallers()