soot.jimple.toolkits.pointer
Class PASideEffectTester
java.lang.Object
|
+--soot.jimple.toolkits.pointer.PASideEffectTester
- public class PASideEffectTester
- extends java.lang.Object
- implements SideEffectTester
Methods inherited from class java.lang.Object |
clone,
equals,
finalize,
getClass,
hashCode,
notify,
notifyAll,
toString,
wait,
wait,
wait |
PASideEffectTester
public PASideEffectTester()
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,
java.util.List boxes)