Package qilin.pta.toolkits.turner

Class AbstractMVFG

java.lang.Object

qilin.pta.toolkits.turner.AbstractMVFG

Direct Known Subclasses:

MethodVFG, ModularMVFG

public abstract class AbstractMVFG
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
protected final Set<Object>	csNodes
protected final OCG	hg
protected final Map<Object,Set<TranEdge>>	inEdges
protected final SootMethod	method
static Map<SootMethod,AbstractMVFG>	method2VFG
protected final Map<Object,Set<TranEdge>>	outEdges
protected final PTA	prePTA
protected final Set<Object>	sparkNodes
protected int	total_edge_count

Constructor Summary

Constructors

Constructor	Description
AbstractMVFG(PTA prePTA, OCG hg, SootMethod method)

Method Summary

Modifier and Type	Method	Description
protected void	addAssignEdge(LocalVarNode from, LocalVarNode to)
protected void	addCSLikelyEdge(AllocNode heap)
protected void	addLoadEdge(LocalVarNode base, LocalVarNode to)
protected void	addNewEdge(AllocNode from, LocalVarNode to)
protected void	addNormalEdge(TranEdge edge)
protected void	addStoreEdge(LocalVarNode from, LocalVarNode base)
protected void	buildVFG()
void	computeNodesInPrecisionLossPatterns()
static AbstractMVFG	findMethodVFG(SootMethod method)
Collection<Object>	getAllNodes()
Collection<Object>	getCSNodes()
int	getTotalEdgeCount()
int	getTotalNodeCount()
protected abstract boolean	satisfyAddingStoreCondition(int paramIndex, Set<SootMethod> targets)
protected abstract boolean	statisfyAddingLoadCondition(Set<SootMethod> targets)

Methods inherited from class java.lang.Object

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

Field Details

method2VFG

public static Map<SootMethod,AbstractMVFG> method2VFG

prePTA

protected final PTA prePTA

hg

protected final OCG hg

method

protected final SootMethod method

sparkNodes

protected final Set<Object> sparkNodes

csNodes

protected final Set<Object> csNodes

outEdges

protected final Map<Object,Set<TranEdge>> outEdges

inEdges

protected final Map<Object,Set<TranEdge>> inEdges

total_edge_count

protected int total_edge_count

Constructor Details

AbstractMVFG

public AbstractMVFG(PTA prePTA,
 OCG hg,
 SootMethod method)

Method Details

findMethodVFG

public static AbstractMVFG findMethodVFG(SootMethod method)

getAllNodes

public Collection<Object> getAllNodes()

getTotalNodeCount

public int getTotalNodeCount()

getTotalEdgeCount

public int getTotalEdgeCount()

getCSNodes

public Collection<Object> getCSNodes()

addNormalEdge

protected void addNormalEdge(TranEdge edge)

addNewEdge

protected void addNewEdge(AllocNode from,
 LocalVarNode to)

addCSLikelyEdge

protected void addCSLikelyEdge(AllocNode heap)

addAssignEdge

protected void addAssignEdge(LocalVarNode from,
 LocalVarNode to)

addStoreEdge

protected void addStoreEdge(LocalVarNode from,
 LocalVarNode base)

addLoadEdge

protected void addLoadEdge(LocalVarNode base,
 LocalVarNode to)

buildVFG

protected void buildVFG()

statisfyAddingLoadCondition

protected abstract boolean statisfyAddingLoadCondition(Set<SootMethod> targets)

satisfyAddingStoreCondition

protected abstract boolean satisfyAddingStoreCondition(int paramIndex,
 Set<SootMethod> targets)

computeNodesInPrecisionLossPatterns

public void computeNodesInPrecisionLossPatterns()