public class CriticalSectionAwareSideEffectAnalysis extends Object
Modifier and Type | Field and Description |
---|---|
Vector |
sigBlacklist |
Vector |
sigReadGraylist |
Vector |
sigWriteGraylist |
Vector |
subSigBlacklist |
Constructor and Description |
---|
CriticalSectionAwareSideEffectAnalysis(PointsToAnalysis pa,
CallGraph cg,
Collection<soot.jimple.toolkits.thread.synchronization.CriticalSection> criticalSections,
ThreadLocalObjectsAnalysis tlo) |
Modifier and Type | Method and Description |
---|---|
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.synchronization.CriticalSection tn,
Set uses) |
void |
setExemptTransaction(soot.jimple.toolkits.thread.synchronization.CriticalSection tn) |
String |
toString() |
RWSet |
valueRWSet(Value v,
SootMethod m,
Stmt s,
soot.jimple.toolkits.thread.synchronization.CriticalSection tn) |
RWSet |
writeSet(SootMethod method,
Stmt stmt,
soot.jimple.toolkits.thread.synchronization.CriticalSection tn,
Set uses) |
public Vector sigBlacklist
public Vector sigReadGraylist
public Vector sigWriteGraylist
public Vector subSigBlacklist
public CriticalSectionAwareSideEffectAnalysis(PointsToAnalysis pa, CallGraph cg, Collection<soot.jimple.toolkits.thread.synchronization.CriticalSection> criticalSections, ThreadLocalObjectsAnalysis tlo)
public void findNTRWSets(SootMethod method)
public void setExemptTransaction(soot.jimple.toolkits.thread.synchronization.CriticalSection tn)
public RWSet nonTransitiveReadSet(SootMethod method)
public RWSet nonTransitiveWriteSet(SootMethod method)
public RWSet approximatedReadSet(SootMethod method, Stmt stmt, Value specialRead, boolean allFields)
public RWSet readSet(SootMethod method, Stmt stmt, soot.jimple.toolkits.thread.synchronization.CriticalSection tn, Set uses)
public RWSet approximatedWriteSet(SootMethod method, Stmt stmt, Value v, boolean allFields)
public RWSet writeSet(SootMethod method, Stmt stmt, soot.jimple.toolkits.thread.synchronization.CriticalSection tn, Set uses)
public RWSet valueRWSet(Value v, SootMethod m, Stmt s, soot.jimple.toolkits.thread.synchronization.CriticalSection tn)
protected RWSet addValue(Value v, SootMethod m, Stmt s)