soot.jimple.toolkits.thread.transaction
Class TransactionAwareSideEffectAnalysis
java.lang.Object
soot.jimple.toolkits.thread.transaction.TransactionAwareSideEffectAnalysis
- public class TransactionAwareSideEffectAnalysis
- extends Object
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)
|
sigBlacklist
public Vector sigBlacklist
sigReadGraylist
public Vector sigReadGraylist
sigWriteGraylist
public Vector sigWriteGraylist
subSigBlacklist
public Vector subSigBlacklist
TransactionAwareSideEffectAnalysis
public TransactionAwareSideEffectAnalysis(PointsToAnalysis pa,
CallGraph cg,
Collection transactions,
ThreadLocalObjectsAnalysis tlo)
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()