soot.jimple.toolkits.thread.transaction
Class TransactionAwareSideEffectAnalysis

java.lang.Object
  extended bysoot.jimple.toolkits.thread.transaction.TransactionAwareSideEffectAnalysis

public class TransactionAwareSideEffectAnalysis
extends Object


Field Summary
 Vector sigBlacklist
           
 Vector sigReadGraylist
           
 Vector sigWriteGraylist
           
 Vector subSigBlacklist
           
 
Constructor Summary
TransactionAwareSideEffectAnalysis(PointsToAnalysis pa, CallGraph cg, Collection transactions, ThreadLocalObjectsAnalysis tlo)
           
 
Method Summary
protected  RWSet addValue(Value v, SootMethod m, Stmt s)
           
 RWSet approximatedReadSet(SootMethod method, Stmt stmt, Value specialRead)
           
 RWSet approximatedWriteSet(SootMethod method, Stmt stmt, Value v)
           
 void findNTRWSets(SootMethod method)
           
 RWSet nonTransitiveReadSet(SootMethod method)
           
 RWSet nonTransitiveWriteSet(SootMethod method)
           
 RWSet readSet(SootMethod method, Stmt stmt, soot.jimple.toolkits.thread.transaction.Transaction tn, LocalDefs sld, HashSet uses)
           
 String toString()
           
 RWSet writeSet(SootMethod method, Stmt stmt, soot.jimple.toolkits.thread.transaction.Transaction tn, LocalDefs sld, Set uses)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

sigBlacklist

public Vector sigBlacklist

sigReadGraylist

public Vector sigReadGraylist

sigWriteGraylist

public Vector sigWriteGraylist

subSigBlacklist

public Vector subSigBlacklist
Constructor Detail

TransactionAwareSideEffectAnalysis

public TransactionAwareSideEffectAnalysis(PointsToAnalysis pa,
                                          CallGraph cg,
                                          Collection transactions,
                                          ThreadLocalObjectsAnalysis tlo)
Method Detail

findNTRWSets

public void findNTRWSets(SootMethod method)

nonTransitiveReadSet

public RWSet nonTransitiveReadSet(SootMethod method)

nonTransitiveWriteSet

public RWSet nonTransitiveWriteSet(SootMethod method)

approximatedReadSet

public RWSet approximatedReadSet(SootMethod method,
                                 Stmt stmt,
                                 Value specialRead)

readSet

public RWSet readSet(SootMethod method,
                     Stmt stmt,
                     soot.jimple.toolkits.thread.transaction.Transaction tn,
                     LocalDefs sld,
                     HashSet uses)

approximatedWriteSet

public RWSet approximatedWriteSet(SootMethod method,
                                  Stmt stmt,
                                  Value v)

writeSet

public RWSet writeSet(SootMethod method,
                      Stmt stmt,
                      soot.jimple.toolkits.thread.transaction.Transaction tn,
                      LocalDefs sld,
                      Set uses)

addValue

protected RWSet addValue(Value v,
                         SootMethod m,
                         Stmt s)

toString

public String toString()