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.


Constructor Summary
SideEffectAnalysis(PointsToAnalysis pa, CallGraph cg)
           
 
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)
           
 java.lang.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)
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 java.lang.String toString()
Overrides:
toString in class java.lang.Object