Package qilin.pta.toolkits.turner

Class MethodVFG

java.lang.Object

qilin.pta.toolkits.turner.AbstractMVFG

qilin.pta.toolkits.turner.MethodVFG

public class MethodVFG
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
MethodVFG(PTA prePTA, SootMethod method, OCG hg)

Method Summary

Modifier and Type	Method	Description
static AbstractMVFG	findOrCreateMethodVFG(PTA prePTA, SootMethod method, OCG hg)
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

MethodVFG

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

Method Details

findOrCreateMethodVFG

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

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