|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object soot.shimple.toolkits.scalar.ShimpleLocalDefs
public class ShimpleLocalDefs
This class implements the LocalDefs interface for Shimple. ShimpleLocalDefs can be used in conjunction with SimpleLocalUses to provide Definition/Use and Use/Definition chains in SSA.
This implementation can be considered a small demo for how SSA can be put to good use since it is much simpler than soot.toolkits.scalar.SimpleLocalDefs. Shimple can often be treated as Jimple with the added benefits of SSA assumptions.
In addition to the interface required by LocalDefs, ShimpleLocalDefs also provides a method for obtaining the definition Unit given only the Local.
ShimpleLocalUses
,
SimpleLocalDefs
,
SimpleLocalUses
Field Summary | |
---|---|
protected Map<Value,SingletonList> |
localToDefs
|
Constructor Summary | |
---|---|
ShimpleLocalDefs(ShimpleBody sb)
Build a LocalDefs interface from a ShimpleBody. |
Method Summary | |
---|---|
List<Unit> |
getDefsOf(Local l)
Unconditionally returns the definition site of a local (as a singleton list). |
List<Unit> |
getDefsOfAt(Local l,
Unit s)
Returns the definition site for a Local at a certain point (Unit) in a method as a singleton list. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
protected Map<Value,SingletonList> localToDefs
Constructor Detail |
---|
public ShimpleLocalDefs(ShimpleBody sb)
Method Detail |
---|
public List<Unit> getDefsOf(Local l)
This method is currently not required by the LocalDefs interface.
public List<Unit> getDefsOfAt(Local l, Unit s)
getDefsOfAt
in interface LocalDefs
l
- the Local in question.s
- a unit that specifies the method context (location) to
query for the definitions of the Local.
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |