Uses of Class
soot.jimple.toolkits.pointer.RWSet

Packages that use RWSet

soot.jimple.toolkits.pointer
soot.jimple.toolkits.thread.synchronization

Uses of RWSet in soot.jimple.toolkits.pointer

Subclasses of RWSet in soot.jimple.toolkits.pointer

class	CodeBlockRWSet
class	FullRWSet
class	MethodRWSet Represents the read or write set of a statement.
class	SiteRWSet Represents the read or write set of a statement.
class	StmtRWSet Represents the read or write set of a statement.

Fields in soot.jimple.toolkits.pointer with type parameters of type RWSet

protected ArrayList<RWSet>	FieldRWTagger.UniqueRWSets.l
protected ArrayList<RWSet>	SideEffectTagger.UniqueRWSets.l
protected ArrayList<RWSet>	SideEffectTagger.UniqueRWSets.l
protected ArrayList<RWSet>	FieldRWTagger.UniqueRWSets.l
HashSet<RWSet>	SiteRWSet.sets
HashSet<RWSet>	SiteRWSet.sets

Methods in soot.jimple.toolkits.pointer that return RWSet

protected RWSet	SideEffectAnalysis.addValue(Value v, SootMethod m, Stmt s)
protected RWSet	SideEffectAnalysis.addValue(Value v, SootMethod m, Stmt s)
RWSet	SideEffectAnalysis.nonTransitiveReadSet(SootMethod method)
RWSet	SideEffectAnalysis.nonTransitiveReadSet(SootMethod method)
RWSet	SideEffectAnalysis.nonTransitiveWriteSet(SootMethod method)
RWSet	SideEffectAnalysis.nonTransitiveWriteSet(SootMethod method)
RWSet	SideEffectAnalysis.readSet(SootMethod method, Stmt stmt)
RWSet	SideEffectAnalysis.readSet(SootMethod method, Stmt stmt)
protected RWSet	PASideEffectTester.readSet(Unit u)
protected RWSet	PASideEffectTester.readSet(Unit u)
RWSet	SideEffectAnalysis.writeSet(SootMethod method, Stmt stmt)
RWSet	SideEffectAnalysis.writeSet(SootMethod method, Stmt stmt)
protected RWSet	PASideEffectTester.writeSet(Unit u)
protected RWSet	PASideEffectTester.writeSet(Unit u)

Methods in soot.jimple.toolkits.pointer with parameters of type RWSet

boolean	FullRWSet.hasNonEmptyIntersection(RWSet other)
boolean	MethodRWSet.hasNonEmptyIntersection(RWSet oth)
abstract boolean	RWSet.hasNonEmptyIntersection(RWSet other)
boolean	SiteRWSet.hasNonEmptyIntersection(RWSet oth)
boolean	StmtRWSet.hasNonEmptyIntersection(RWSet other)
boolean	StmtRWSet.hasNonEmptyIntersection(RWSet other)
boolean	SiteRWSet.hasNonEmptyIntersection(RWSet oth)
abstract boolean	RWSet.hasNonEmptyIntersection(RWSet other)
boolean	MethodRWSet.hasNonEmptyIntersection(RWSet oth)
boolean	FullRWSet.hasNonEmptyIntersection(RWSet other)
boolean	FullRWSet.isEquivTo(RWSet other)
boolean	MethodRWSet.isEquivTo(RWSet other)
abstract boolean	RWSet.isEquivTo(RWSet other)
boolean	SiteRWSet.isEquivTo(RWSet other)
boolean	StmtRWSet.isEquivTo(RWSet other)
boolean	StmtRWSet.isEquivTo(RWSet other)
boolean	SiteRWSet.isEquivTo(RWSet other)
abstract boolean	RWSet.isEquivTo(RWSet other)
boolean	MethodRWSet.isEquivTo(RWSet other)
boolean	FullRWSet.isEquivTo(RWSet other)
boolean	CodeBlockRWSet.union(RWSet other) Adds the RWSet other into this set.
boolean	FullRWSet.union(RWSet other) Adds the RWSet other into this set.
boolean	MethodRWSet.union(RWSet other) Adds the RWSet other into this set.
abstract boolean	RWSet.union(RWSet other) Adds the RWSet other into this set.
boolean	SiteRWSet.union(RWSet other) Adds the RWSet other into this set.
boolean	StmtRWSet.union(RWSet other) Adds the RWSet other into this set.
boolean	StmtRWSet.union(RWSet other) Adds the RWSet other into this set.
boolean	SiteRWSet.union(RWSet other) Adds the RWSet other into this set.
abstract boolean	RWSet.union(RWSet other) Adds the RWSet other into this set.
boolean	MethodRWSet.union(RWSet other) Adds the RWSet other into this set.
boolean	FullRWSet.union(RWSet other) Adds the RWSet other into this set.
boolean	CodeBlockRWSet.union(RWSet other) Adds the RWSet other into this set.
protected boolean	PASideEffectTester.valueTouchesRWSet(RWSet s, Value v, List boxes)
protected boolean	PASideEffectTester.valueTouchesRWSet(RWSet s, Value v, List boxes)

Uses of RWSet in soot.jimple.toolkits.thread.synchronization

Methods in soot.jimple.toolkits.thread.synchronization that return RWSet

protected RWSet	CriticalSectionAwareSideEffectAnalysis.addValue(Value v, SootMethod m, Stmt s)
protected RWSet	CriticalSectionAwareSideEffectAnalysis.addValue(Value v, SootMethod m, Stmt s)
RWSet	CriticalSectionAwareSideEffectAnalysis.approximatedReadSet(SootMethod method, Stmt stmt, Value specialRead, boolean allFields)
RWSet	CriticalSectionAwareSideEffectAnalysis.approximatedReadSet(SootMethod method, Stmt stmt, Value specialRead, boolean allFields)
RWSet	CriticalSectionAwareSideEffectAnalysis.approximatedWriteSet(SootMethod method, Stmt stmt, Value v, boolean allFields)
RWSet	CriticalSectionAwareSideEffectAnalysis.approximatedWriteSet(SootMethod method, Stmt stmt, Value v, boolean allFields)
RWSet	CriticalSectionAwareSideEffectAnalysis.nonTransitiveReadSet(SootMethod method)
RWSet	CriticalSectionAwareSideEffectAnalysis.nonTransitiveReadSet(SootMethod method)
RWSet	CriticalSectionAwareSideEffectAnalysis.nonTransitiveWriteSet(SootMethod method)
RWSet	CriticalSectionAwareSideEffectAnalysis.nonTransitiveWriteSet(SootMethod method)
RWSet	CriticalSectionAwareSideEffectAnalysis.readSet(SootMethod method, Stmt stmt, soot.jimple.toolkits.thread.synchronization.CriticalSection tn, HashSet uses)
RWSet	CriticalSectionAwareSideEffectAnalysis.readSet(SootMethod method, Stmt stmt, soot.jimple.toolkits.thread.synchronization.CriticalSection tn, HashSet uses)
RWSet	CriticalSectionAwareSideEffectAnalysis.valueRWSet(Value v, SootMethod m, Stmt s, soot.jimple.toolkits.thread.synchronization.CriticalSection tn)
RWSet	CriticalSectionAwareSideEffectAnalysis.valueRWSet(Value v, SootMethod m, Stmt s, soot.jimple.toolkits.thread.synchronization.CriticalSection tn)
RWSet	CriticalSectionAwareSideEffectAnalysis.writeSet(SootMethod method, Stmt stmt, soot.jimple.toolkits.thread.synchronization.CriticalSection tn, Set uses)
RWSet	CriticalSectionAwareSideEffectAnalysis.writeSet(SootMethod method, Stmt stmt, soot.jimple.toolkits.thread.synchronization.CriticalSection tn, Set uses)

Methods in soot.jimple.toolkits.thread.synchronization with parameters of type RWSet

List<EquivalentValue>	LockableReferenceAnalysis.getLocksetOf(CriticalSectionAwareSideEffectAnalysis tasea, RWSet contributingRWSet, soot.jimple.toolkits.thread.synchronization.CriticalSection tn)
List<EquivalentValue>	LockableReferenceAnalysis.getLocksetOf(CriticalSectionAwareSideEffectAnalysis tasea, RWSet contributingRWSet, soot.jimple.toolkits.thread.synchronization.CriticalSection tn)