|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.Objectsoot.jimple.toolkits.pointer.SideEffectAnalysis
Generates side-effect information from a PointsToAnalysis.
| Constructor Summary | |
SideEffectAnalysis(PointsToAnalysis pa,
CallGraph cg)
|
|
| 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)
| 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()
|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||