SideEffectAnalysis

public class SideEffectAnalysis
extends java.lang.Object

Generates side-effect information from a PointsToAnalysis.

Constructors
Constructor and Description
`SideEffectAnalysis(PointsToAnalysis pa, CallGraph cg)`
`SideEffectAnalysis(PointsToAnalysis pa, CallGraph cg, Filter filter)`

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`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)`
`java.lang.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

public SideEffectAnalysis(PointsToAnalysis pa,
                          CallGraph cg)

public SideEffectAnalysis(PointsToAnalysis pa,
                          CallGraph cg,
                          Filter filter)

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)

Class SideEffectAnalysis