soot.jimple.toolkits.pointer
Class SideEffectAnalysis
java.lang.Object
|
+--soot.jimple.toolkits.pointer.SideEffectAnalysis
- public class SideEffectAnalysis
- extends java.lang.Object
Generates side-effect information from a PointsToAnalysis.
Methods inherited from class java.lang.Object |
clone,
equals,
finalize,
getClass,
hashCode,
notify,
notifyAll,
wait,
wait,
wait |
SideEffectAnalysis
public SideEffectAnalysis(PointsToAnalysis pa,
CallGraph cg)
findNTRWSets
public void findNTRWSets(SootMethod method)
nonTransitiveReadSet
public RWSet nonTransitiveReadSet(SootMethod method)
nonTransitiveWriteSet
public RWSet nonTransitiveWriteSet(SootMethod method)
readSet
public RWSet readSet(SootMethod method,
Stmt stmt)
writeSet
public RWSet writeSet(SootMethod method,
Stmt stmt)
addValue
protected RWSet addValue(Value v,
SootMethod m,
Stmt s)
toString
public java.lang.String toString()
- Overrides:
- toString in class java.lang.Object