soot.toolkits.scalar

Class SmartLocalDefs

java.lang.Object

soot.toolkits.scalar.SmartLocalDefs

All Implemented Interfaces:

LocalDefs

public class SmartLocalDefs
extends java.lang.Object
implements LocalDefs

Analysis that provides an implementation of the LocalDefs interface. This Analysis calculates only the definitions of the locals used by a unit. If you need all definitions of local you should use SimpleLocalDefs. Be warned: This implementation requires a lot of memory and CPU time, normally SimpleLocalDefs is much faster.

Nested Class Summary

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

LocalDefs.Factory

Constructor Summary

Constructors

Constructor and Description
SmartLocalDefs(UnitGraph g, LiveLocals live)

Method Summary

Modifier and Type	Method and Description
java.util.List<Unit>	getDefsOf(Local l) Returns the definition sites for a Local merged over all points in a method.
java.util.List<Unit>	getDefsOfAt(Local l, Unit s) Returns the definition sites for a Local at a certain point (Unit) in a method.
UnitGraph	getGraph() Returns the associated unit graph.
void	printAnswer()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SmartLocalDefs

public SmartLocalDefs(UnitGraph g,
                      LiveLocals live)

Method Detail

printAnswer

public void printAnswer()

getDefsOfAt

public java.util.List<Unit> getDefsOfAt(Local l,
                                        Unit s)

Description copied from interface: LocalDefs

Returns the definition sites for a Local at a certain point (Unit) in a method. You can assume this method never returns null.

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 list of Units where the local is defined in the current method context. If there are no uses an empty list will returned.

getDefsOf

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

Description copied from interface: LocalDefs

Returns the definition sites for a Local merged over all points in a method. You can assume this method never returns null.

Specified by:

getDefsOf in interface LocalDefs

Parameters:

l - the Local in question.

Returns:

a list of Units where the local is defined in the current method context. If there are no uses an empty list will returned.

getGraph

public UnitGraph getGraph()

Returns the associated unit graph.