soot.jimple.toolkits.thread.transaction
Class TransactionAwareSideEffectAnalysis

java.lang.Object
  extended by soot.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<soot.jimple.toolkits.thread.transaction.Transaction> transactions, ThreadLocalObjectsAnalysis tlo)
           
 
Method Summary
protected  RWSet addValue(Value v, SootMethod m, Stmt s)
           
 RWSet approximatedReadSet(SootMethod method, Stmt stmt, Value specialRead, boolean allFields)
           
 RWSet approximatedWriteSet(SootMethod method, Stmt stmt, Value v, boolean allFields)
           
 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, HashSet uses)
           
 void setExemptTransaction(soot.jimple.toolkits.thread.transaction.Transaction tn)
           
 String toString()
           
 RWSet valueRWSet(Value v, SootMethod m, Stmt s, soot.jimple.toolkits.thread.transaction.Transaction tn)
           
 RWSet writeSet(SootMethod method, Stmt stmt, soot.jimple.toolkits.thread.transaction.Transaction tn, 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<soot.jimple.toolkits.thread.transaction.Transaction> transactions,
                                          ThreadLocalObjectsAnalysis tlo)
Method Detail

findNTRWSets

public void findNTRWSets(SootMethod method)

setExemptTransaction

public void setExemptTransaction(soot.jimple.toolkits.thread.transaction.Transaction tn)

nonTransitiveReadSet

public RWSet nonTransitiveReadSet(SootMethod method)

nonTransitiveWriteSet

public RWSet nonTransitiveWriteSet(SootMethod method)

approximatedReadSet

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

readSet

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

approximatedWriteSet

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

writeSet

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

valueRWSet

public RWSet valueRWSet(Value v,
                        SootMethod m,
                        Stmt s,
                        soot.jimple.toolkits.thread.transaction.Transaction tn)

addValue

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

toString

public String toString()
Overrides:
toString in class Object