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