Package qilin.pta.toolkits.turner

Class ModularMVFG

java.lang.Object

qilin.pta.toolkits.turner.AbstractMVFG

qilin.pta.toolkits.turner.ModularMVFG

public class ModularMVFG
extends AbstractMVFG

Field Summary

Fields inherited from class qilin.pta.toolkits.turner.AbstractMVFG

csNodes, hg, inEdges, method, method2VFG, outEdges, prePTA, sparkNodes, total_edge_count

Constructor Summary

Constructors

Constructor	Description
ModularMVFG(PTA prePTA, SootMethod method, OCG hg, MergedNode<SootMethod> sccNode)

Method Summary

Modifier and Type	Method	Description
static AbstractMVFG	findOrCreateMethodVFG(PTA prePTA, SootMethod method, OCG hg, MergedNode<SootMethod> sccNode)
protected boolean	satisfyAddingStoreCondition(int paramIndex, Set<SootMethod> targets)
protected boolean	statisfyAddingLoadCondition(Set<SootMethod> targets)

Methods inherited from class qilin.pta.toolkits.turner.AbstractMVFG

addAssignEdge, addCSLikelyEdge, addLoadEdge, addNewEdge, addNormalEdge, addStoreEdge, buildVFG, computeNodesInPrecisionLossPatterns, findMethodVFG, getAllNodes, getCSNodes, getTotalEdgeCount, getTotalNodeCount

Methods inherited from class java.lang.Object

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

Constructor Details

ModularMVFG

public ModularMVFG(PTA prePTA,
 SootMethod method,
 OCG hg,
 MergedNode<SootMethod> sccNode)

Method Details

findOrCreateMethodVFG

public static AbstractMVFG findOrCreateMethodVFG(PTA prePTA,
 SootMethod method,
 OCG hg,
 MergedNode<SootMethod> sccNode)

statisfyAddingLoadCondition

protected boolean statisfyAddingLoadCondition(Set<SootMethod> targets)

Specified by:

statisfyAddingLoadCondition in class AbstractMVFG

satisfyAddingStoreCondition

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

Specified by:

satisfyAddingStoreCondition in class AbstractMVFG