Package 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.
-
-
Constructor Summary
Constructors Constructor Description SideEffectAnalysis(PointsToAnalysis pa, CallGraph cg)SideEffectAnalysis(PointsToAnalysis pa, CallGraph cg, Filter filter)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected RWSetaddValue(Value v, SootMethod m, Stmt s)voidfindNTRWSets(SootMethod method)RWSetnonTransitiveReadSet(SootMethod method)RWSetnonTransitiveWriteSet(SootMethod method)RWSetreadSet(SootMethod method, Stmt stmt)StringtoString()RWSetwriteSet(SootMethod method, Stmt stmt)
-
-
-
Constructor Detail
-
SideEffectAnalysis
public SideEffectAnalysis(PointsToAnalysis pa, CallGraph cg)
-
SideEffectAnalysis
public SideEffectAnalysis(PointsToAnalysis pa, CallGraph cg, Filter filter)
-
-
Method Detail
-
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)
-
-