soot.jimple.toolkits.pointer
Class SideEffectAnalysis

java.lang.Object
  extended by soot.jimple.toolkits.pointer.SideEffectAnalysis

public class SideEffectAnalysis
extends Object

Generates side-effect information from a PointsToAnalysis.


Constructor Summary
SideEffectAnalysis(PointsToAnalysis pa, CallGraph cg)
           
SideEffectAnalysis(PointsToAnalysis pa, CallGraph cg, Filter filter)
           
 
Method Summary
protected  RWSet addValue(Value v, SootMethod m, Stmt s)
           
 void findNTRWSets(SootMethod method)
           
 RWSet nonTransitiveReadSet(SootMethod method)
           
 RWSet nonTransitiveWriteSet(SootMethod method)
           
 RWSet readSet(SootMethod method, Stmt stmt)
           
 String toString()
           
 RWSet writeSet(SootMethod method, Stmt stmt)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

SideEffectAnalysis

public SideEffectAnalysis(PointsToAnalysis pa,
                          CallGraph cg)

SideEffectAnalysis

public SideEffectAnalysis(PointsToAnalysis pa,
                          CallGraph cg,
                          Filter filter)
Method Detail

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 String toString()
Overrides:
toString in class Object