|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectsoot.jimple.toolkits.pointer.SideEffectAnalysis
public class SideEffectAnalysis
Generates side-effect information from a PointsToAnalysis.
| Constructor Summary | |
|---|---|
SideEffectAnalysis(PointsToAnalysis pa,
CallGraph cg)
|
|
SideEffectAnalysis(PointsToAnalysis pa,
CallGraph cg,
Filter filter)
|
|
| Method Summary | |
|---|---|
protected RWSet |
addValue(Value v,
SootMethod m,
Stmt s)
|
void |
findNTRWSets(SootMethod method)
|
RWSet |
nonTransitiveReadSet(SootMethod method)
|
RWSet |
nonTransitiveWriteSet(SootMethod method)
|
RWSet |
readSet(SootMethod method,
Stmt stmt)
|
String |
toString()
|
RWSet |
writeSet(SootMethod method,
Stmt stmt)
|
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
| Constructor Detail |
|---|
public SideEffectAnalysis(PointsToAnalysis pa,
CallGraph cg)
public SideEffectAnalysis(PointsToAnalysis pa,
CallGraph cg,
Filter filter)
| Method Detail |
|---|
public void findNTRWSets(SootMethod method)
public RWSet nonTransitiveReadSet(SootMethod method)
public RWSet nonTransitiveWriteSet(SootMethod method)
public RWSet readSet(SootMethod method,
Stmt stmt)
public RWSet writeSet(SootMethod method,
Stmt stmt)
protected RWSet addValue(Value v,
SootMethod m,
Stmt s)
public String toString()
toString in class Object
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||