Package | Description |
---|---|
soot.jimple.toolkits.pointer | |
soot.jimple.toolkits.thread.synchronization |
Modifier and Type | Class and Description |
---|---|
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.
|
Modifier and Type | Field and Description |
---|---|
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 |
Modifier and Type | Method and Description |
---|---|
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) |
Modifier and Type | Method and Description |
---|---|
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 |
FullRWSet.hasNonEmptyIntersection(RWSet other) |
abstract boolean |
RWSet.hasNonEmptyIntersection(RWSet other) |
boolean |
SiteRWSet.hasNonEmptyIntersection(RWSet oth) |
boolean |
StmtRWSet.hasNonEmptyIntersection(RWSet other) |
boolean |
MethodRWSet.hasNonEmptyIntersection(RWSet oth) |
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 |
FullRWSet.isEquivTo(RWSet other) |
abstract boolean |
RWSet.isEquivTo(RWSet other) |
boolean |
SiteRWSet.isEquivTo(RWSet other) |
boolean |
StmtRWSet.isEquivTo(RWSet other) |
boolean |
MethodRWSet.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 |
CodeBlockRWSet.union(RWSet other)
Adds the RWSet other into this set.
|
boolean |
FullRWSet.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 |
MethodRWSet.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) |
Modifier and Type | Method and Description |
---|---|
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,
Set uses) |
RWSet |
CriticalSectionAwareSideEffectAnalysis.readSet(SootMethod method,
Stmt stmt,
soot.jimple.toolkits.thread.synchronization.CriticalSection tn,
Set 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) |
Modifier and Type | Method and Description |
---|---|
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) |