soot.dexpler

Class DexDefUseAnalysis

java.lang.Object

soot.dexpler.DexDefUseAnalysis

All Implemented Interfaces:

LocalDefs

public class DexDefUseAnalysis
extends java.lang.Object
implements LocalDefs

Simplistic caching, flow-insensitive def/use analysis

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.BitSet[]	localToDefsBits
protected java.util.Map<Local,java.lang.Integer>	localToNumber
protected java.util.BitSet[]	localToUsesBits
protected java.util.List<Unit>	unitList

Constructor Summary

Constructors

Constructor and Description
DexDefUseAnalysis(Body body)

Method Summary

Modifier and Type	Method and Description
protected java.util.Set<Unit>	collectDefinitionsWithAliases(Local l) Collect definitions of l in body including the definitions of aliases of l.
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.
java.util.Set<Unit>	getUsesOf(Local l)
protected void	initialize()

Methods inherited from class java.lang.Object

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

Field Detail

localToDefsBits

protected java.util.BitSet[] localToDefsBits

localToUsesBits

protected java.util.BitSet[] localToUsesBits

localToNumber

protected java.util.Map<Local,java.lang.Integer> localToNumber

unitList

protected java.util.List<Unit> unitList

Constructor Detail

DexDefUseAnalysis

public DexDefUseAnalysis(Body body)

Method Detail

initialize

protected void initialize()

getUsesOf

public java.util.Set<Unit> getUsesOf(Local l)

collectDefinitionsWithAliases

protected java.util.Set<Unit> collectDefinitionsWithAliases(Local l)

Collect definitions of l in body including the definitions of aliases of l. This analysis exploits that the problem is flow-insensitive anyway. In this context an alias is a local that propagates its value to l.

Parameters:

l - the local whose definitions are to collect

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.