soot.shimple.toolkits.scalar

Class ShimpleLocalDefs

java.lang.Object

soot.shimple.toolkits.scalar.ShimpleLocalDefs

All Implemented Interfaces:

LocalDefs

public class ShimpleLocalDefs
extends java.lang.Object
implements LocalDefs

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.

Author:

Navindra Umanee

See Also:

ShimpleLocalUses, SimpleLocalDefs, SimpleLocalUses

Nested Class Summary

Nested classes/interfaces inherited from interface soot.toolkits.scalar.LocalDefs

LocalDefs.Factory

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.Map<Value,java.util.List<Unit>>	localToDefs

Constructor Summary

Constructors

Constructor and Description
ShimpleLocalDefs(ShimpleBody sb) Build a LocalDefs interface from a ShimpleBody.

Method Summary

Methods

Modifier and Type	Method and Description
java.util.List<Unit>	getDefsOf(Local l) Unconditionally returns the definition site of a local (as a singleton list).
java.util.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

localToDefs

protected java.util.Map<Value,java.util.List<Unit>> localToDefs

Constructor Detail

ShimpleLocalDefs

public ShimpleLocalDefs(ShimpleBody sb)

Build a LocalDefs interface from a ShimpleBody. Proper SSA form is required, otherwise correct behaviour is not guaranteed.

Method Detail

getDefsOf

public java.util.List<Unit> getDefsOf(Local l)

Unconditionally returns the definition site of a local (as a singleton list).

This method is currently not required by the LocalDefs interface.

getDefsOfAt

public java.util.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.

Specified by:

getDefsOfAt in interface LocalDefs

Parameters:

l - the Local in question.

s - a unit that specifies the method context (location) to query for the definitions of the Local.

Returns:

a singleton list containing the definition site.