soot.jimple.toolkits.pointer
Class SideEffectAnalysis
java.lang.Object
soot.jimple.toolkits.pointer.SideEffectAnalysis
- public class SideEffectAnalysis
- extends Object
Generates side-effect information from a PointsToAnalysis.
SideEffectAnalysis
public SideEffectAnalysis(PointsToAnalysis pa,
CallGraph cg)
findNTRWSets
public void findNTRWSets(SootMethod method)
nonTransitiveReadSet
public RWSet nonTransitiveReadSet(SootMethod method)
nonTransitiveWriteSet
public RWSet nonTransitiveWriteSet(SootMethod method)
readSet
public RWSet readSet(SootMethod method,
Stmt stmt)
writeSet
public RWSet writeSet(SootMethod method,
Stmt stmt)
addValue
protected RWSet addValue(Value v,
SootMethod m,
Stmt s)
toString
public String toString()