soot.jimple.toolkits.pointer
Class PASideEffectTester

java.lang.Object
  soot.jimple.toolkits.pointer.PASideEffectTester

All Implemented Interfaces:

SideEffectTester

public class PASideEffectTester
extends Object
implements SideEffectTester

Constructor Summary

PASideEffectTester()

Method Summary

void	newMethod(SootMethod m) Call this when starting to analyze a new method to setup the cache.
protected PointsToSet	reachingObjects(Local l)
protected RWSet	readSet(Unit u)
boolean	unitCanReadFrom(Unit u, Value v) Returns true if the unit can read from v.
boolean	unitCanWriteTo(Unit u, Value v) Returns true if the unit can read from v.
protected boolean	valueTouchesRWSet(RWSet s, Value v, List boxes)
protected RWSet	writeSet(Unit u)

Methods inherited from class java.lang.Object

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

Constructor Detail

PASideEffectTester

public PASideEffectTester()

Method Detail

newMethod

public void newMethod(SootMethod m)

Call this when starting to analyze a new method to setup the cache.

Specified by:

newMethod in interface SideEffectTester

readSet

protected RWSet readSet(Unit u)

writeSet

protected RWSet writeSet(Unit u)

reachingObjects

protected PointsToSet reachingObjects(Local l)

unitCanReadFrom

public boolean unitCanReadFrom(Unit u,
                               Value v)

Returns true if the unit can read from v. Does not deal with expressions; deals with Refs.

Specified by:

unitCanReadFrom in interface SideEffectTester

unitCanWriteTo

public boolean unitCanWriteTo(Unit u,
                              Value v)

Returns true if the unit can read from v. Does not deal with expressions; deals with Refs.

Specified by:

unitCanWriteTo in interface SideEffectTester

valueTouchesRWSet

protected boolean valueTouchesRWSet(RWSet s,
                                    Value v,
                                    List boxes)