public class LocalDefsFactory extends Object
| Constructor and Description |
|---|
LocalDefsFactory(Singletons.Global global)
Singleton constructor.
|
| Modifier and Type | Method and Description |
|---|---|
LocalDefs |
newLocalDefs(Body body)
Creates a new LocalDefs analysis based on a
ExceptionalUnitGraph |
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. |
LocalDefs |
newLocalDefs(UnitGraph graph)
Creates a new LocalDefs analysis based on a given
UnitGraph |
LocalDefs |
newLocalDefs(UnitGraph graph,
boolean expectUndefined)
Creates a new LocalDefs analysis based on a given
UnitGraph. |
LocalDefs |
newLocalDefsFlowInsensitive(UnitGraph graph)
Creates a new LocalDefs analysis based on a given
UnitGraph. |
public LocalDefsFactory(Singletons.Global global)
global - the singletons container. Must not be nullNullPointerException - when global argument is nullpublic LocalDefs newLocalDefs(Body body)
ExceptionalUnitGraphbody - ExceptionalUnitGraphFactory.createExceptionalUnitGraph(Body),
UsesValidatorpublic LocalDefs newLocalDefs(Body body, boolean expectUndefined)
ExceptionalUnitGraph If you don't trust the input you should set
expectUndefined to true.body - expectUndefined - if you expect uses of locals that are undefinedExceptionalUnitGraphFactory.createExceptionalUnitGraph(Body)public LocalDefs newLocalDefs(UnitGraph graph)
UnitGraphgraph - the graph to work withUnitGraph(Body)public LocalDefs newLocalDefs(UnitGraph graph, boolean expectUndefined)
UnitGraph. If you don't trust the input you should set
expectUndefined to true.graph - the graph to work withexpectUndefined - if you expect uses of locals that are undefinedUnitGraph(Body),
UsesValidatorpublic LocalDefs newLocalDefsFlowInsensitive(UnitGraph graph)
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.graph - the graph to work withUnitGraph(Body),
UsesValidatorCopyright © 2024 Soot OSS. All rights reserved.