soot.jimple.toolkits.thread.synchronization

Class CriticalSectionAwareSideEffectAnalysis

java.lang.Object

soot.jimple.toolkits.thread.synchronization.CriticalSectionAwareSideEffectAnalysis

public class CriticalSectionAwareSideEffectAnalysis
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
java.util.Vector	sigBlacklist
java.util.Vector	sigReadGraylist
java.util.Vector	sigWriteGraylist
java.util.Vector	subSigBlacklist

Constructor Summary

Constructors

Constructor and Description
CriticalSectionAwareSideEffectAnalysis(PointsToAnalysis pa, CallGraph cg, java.util.Collection<soot.jimple.toolkits.thread.synchronization.CriticalSection> criticalSections, ThreadLocalObjectsAnalysis tlo)

Method Summary

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, java.util.Set uses)
void	setExemptTransaction(soot.jimple.toolkits.thread.synchronization.CriticalSection tn)
java.lang.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, java.util.Set uses)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

sigBlacklist

public java.util.Vector sigBlacklist

sigReadGraylist

public java.util.Vector sigReadGraylist

sigWriteGraylist

public java.util.Vector sigWriteGraylist

subSigBlacklist

public java.util.Vector subSigBlacklist

Constructor Detail

CriticalSectionAwareSideEffectAnalysis

public CriticalSectionAwareSideEffectAnalysis(PointsToAnalysis pa,
                                              CallGraph cg,
                                              java.util.Collection<soot.jimple.toolkits.thread.synchronization.CriticalSection> criticalSections,
                                              ThreadLocalObjectsAnalysis tlo)

Method Detail

findNTRWSets

public void findNTRWSets(SootMethod method)

setExemptTransaction

public void setExemptTransaction(soot.jimple.toolkits.thread.synchronization.CriticalSection 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.synchronization.CriticalSection tn,
                     java.util.Set 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.synchronization.CriticalSection tn,
                      java.util.Set uses)

valueRWSet

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

addValue

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

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object