Package 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

Constructors

Constructor	Description
PASideEffectTester()

Method Summary

Modifier and Type	Method	Description
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<ValueBox> 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<ValueBox> boxes)