Package soot.jimple
Class NaiveSideEffectTester
- java.lang.Object
-
- soot.jimple.NaiveSideEffectTester
-
- All Implemented Interfaces:
SideEffectTester
public class NaiveSideEffectTester extends Object implements SideEffectTester
Provides naive side effect information. Relies on no context information; instead, does the least conservative thing possible even in the possible presence of badness. Possible weakness of SideEffectTester: consider a Box. We don't have a name for "what-is-inside-the-box" and so we can't ask questions about it. But perhaps we need only ask questions about the box itself; the side effect tester can deal with that internally.
-
-
Constructor Summary
Constructors Constructor Description NaiveSideEffectTester()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description voidnewMethod(SootMethod m)booleanunitCanReadFrom(Unit u, Value v)Returns true if the unit can read from v.booleanunitCanWriteTo(Unit u, Value v)
-
-
-
Method Detail
-
newMethod
public void newMethod(SootMethod m)
- Specified by:
newMethodin interfaceSideEffectTester
-
unitCanReadFrom
public boolean unitCanReadFrom(Unit u, Value v)
Returns true if the unit can read from v. Does not deal with expressions; deals with Refs.- Specified by:
unitCanReadFromin interfaceSideEffectTester
-
unitCanWriteTo
public boolean unitCanWriteTo(Unit u, Value v)
- Specified by:
unitCanWriteToin interfaceSideEffectTester
-
-