soot.jimple.spark.ondemand
Class DemandCSPointsTo.IncomingEdgeHandler

java.lang.Object
  soot.jimple.spark.ondemand.DemandCSPointsTo.IncomingEdgeHandler

Enclosing class:

DemandCSPointsTo

protected abstract static class DemandCSPointsTo.IncomingEdgeHandler
extends Object

Constructor Summary

protected

DemandCSPointsTo.IncomingEdgeHandler()

Method Summary

abstract void	handleAlloc(AllocNode allocNode, DemandCSPointsTo.VarAndContext origVarAndContext)
abstract void	handleMatchSrc(VarNode matchSrc, PointsToSetInternal intersection, VarNode loadBase, VarNode storeBase, DemandCSPointsTo.VarAndContext origVarAndContext, SparkField field, boolean refine)

Methods inherited from class java.lang.Object

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

Constructor Detail

DemandCSPointsTo.IncomingEdgeHandler

protected DemandCSPointsTo.IncomingEdgeHandler()

Method Detail

handleAlloc

public abstract void handleAlloc(AllocNode allocNode,
                                 DemandCSPointsTo.VarAndContext origVarAndContext)

handleMatchSrc

public abstract void handleMatchSrc(VarNode matchSrc,
                                    PointsToSetInternal intersection,
                                    VarNode loadBase,
                                    VarNode storeBase,
                                    DemandCSPointsTo.VarAndContext origVarAndContext,
                                    SparkField field,
                                    boolean refine)