soot.toolkits.scalar

Class LocalDefs.Factory

java.lang.Object

soot.toolkits.scalar.LocalDefs.Factory

Enclosing interface:

LocalDefs

public static final class LocalDefs.Factory
extends Object

Method Summary

Modifier and Type	Method and Description
static LocalDefs	newLocalDefs(Body body) Creates a new LocalDefs analysis based on a ExceptionalUnitGraph
static LocalDefs	newLocalDefs(Body body, boolean expectUndefined) Creates a new LocalDefs analysis based on a ExceptionalUnitGraph If you don't trust the input you should set expectUndefined to true
static LocalDefs	newLocalDefs(UnitGraph graph) Creates a new LocalDefs analysis based on a given UnitGraph
static LocalDefs	newLocalDefs(UnitGraph graph, boolean expectUndefined) Creates a new LocalDefs analysis based on a given UnitGraph.
static LocalDefs	newLocalDefsFlowInsensitive(UnitGraph graph) Creates a new LocalDefs analysis based on a given UnitGraph.

Methods inherited from class java.lang.Object

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

Method Detail

newLocalDefs

public static LocalDefs newLocalDefs(Body body)

Creates a new LocalDefs analysis based on a ExceptionalUnitGraph

Parameters:

body -

Returns:

a new LocalDefs instance

See Also:

ExceptionalUnitGraph.ExceptionalUnitGraph(Body), UsesValidator

newLocalDefs

public static LocalDefs newLocalDefs(Body body,
                                     boolean expectUndefined)

Creates a new LocalDefs analysis based on a ExceptionalUnitGraph If you don't trust the input you should set expectUndefined to true

Parameters:

body -

expectUndefinedUses - if you expect uses of locals that are undefined

Returns:

a new LocalDefs instance

See Also:

ExceptionalUnitGraph.ExceptionalUnitGraph(Body)

newLocalDefs

public static LocalDefs newLocalDefs(UnitGraph graph)

Creates a new LocalDefs analysis based on a given UnitGraph

Parameters:

graph - the graph to work with

Returns:

a new LocalDefs instance

See Also:

UnitGraph.UnitGraph(Body)

newLocalDefs

public static LocalDefs newLocalDefs(UnitGraph graph,
                                     boolean expectUndefined)

Creates a new LocalDefs analysis based on a given UnitGraph. If you don't trust the input you should set expectUndefined to true

Parameters:

graph - the graph to work with

expectUndefined - if you expect uses of locals that are undefined

Returns:

a new LocalDefs instance

See Also:

UnitGraph.UnitGraph(Body), UsesValidator

newLocalDefsFlowInsensitive

public static LocalDefs newLocalDefsFlowInsensitive(UnitGraph graph)

Creates a new LocalDefs analysis based on a given UnitGraph. This analysis will be flow-insensitive, i.e., for a given local, it will always give all statements that ever write to that local regardless of potential redefinitions in between.

Parameters:

graph - the graph to work with

Returns:

a new LocalDefs instance

See Also:

UnitGraph.UnitGraph(Body), UsesValidator