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)
SideEffectAnalysis
public SideEffectAnalysis(PointsToAnalysis pa,
CallGraph cg,
Filter filter)
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()
- Overrides:
toString
in class Object