Uses of Class
soot.toolkits.graph.UnitGraph

Packages that use UnitGraph

soot.jbco.util
soot.jimple.toolkits.annotation.logic
soot.jimple.toolkits.annotation.nullcheck	Classes that carry out an analysis to determine whether or not null pointer checks are necessary.
soot.jimple.toolkits.annotation.parity
soot.jimple.toolkits.callgraph
soot.jimple.toolkits.infoflow
soot.jimple.toolkits.pointer
soot.jimple.toolkits.scalar	A toolkit for scalar optimization of Jimple.
soot.jimple.toolkits.scalar.pre	Particial redundency elimination.
soot.jimple.toolkits.thread
soot.jimple.toolkits.thread.mhp
soot.jimple.toolkits.thread.mhp.findobject
soot.jimple.toolkits.thread.mhp.stmt
soot.jimple.toolkits.thread.synchronization
soot.shimple	Public classes for the SSA Shimple intermediate representation.
soot.toolkits.graph	Toolkit to produce and manipulate various types of control flow graphs.
soot.toolkits.graph.pdg
soot.toolkits.scalar	A number of scalar optimizations, and the flow analysis framework.
soot.util	Generally useful utility classes for Soot.

Uses of UnitGraph in soot.jbco.util

Subclasses of UnitGraph in soot.jbco.util

class

SimpleExceptionalGraph

Uses of UnitGraph in soot.jimple.toolkits.annotation.logic

Fields in soot.jimple.toolkits.annotation.logic declared as UnitGraph

protected UnitGraph	Loop.g
protected UnitGraph	Loop.g

Uses of UnitGraph in soot.jimple.toolkits.annotation.nullcheck

Methods in soot.jimple.toolkits.annotation.nullcheck with parameters of type UnitGraph

NullnessAnalysis	NullCheckEliminator.AnalysisFactory.newAnalysis(UnitGraph g)
NullnessAnalysis	NullCheckEliminator.AnalysisFactory.newAnalysis(UnitGraph g)

Constructors in soot.jimple.toolkits.annotation.nullcheck with parameters of type UnitGraph

BranchedRefVarsAnalysis(UnitGraph g)
Deprecated. THIS IS KNOWN TO BE BUGGY. USE NullnessAnalysis INSTEAD!

BranchedRefVarsAnalysis(UnitGraph g)
Deprecated. THIS IS KNOWN TO BE BUGGY. USE NullnessAnalysis INSTEAD!

NullnessAnalysis(UnitGraph graph)
Creates a new analysis for the given graph/

NullnessAnalysis(UnitGraph graph)
Creates a new analysis for the given graph/

NullnessAssumptionAnalysis(UnitGraph graph)
Creates a new analysis for the given graph/

NullnessAssumptionAnalysis(UnitGraph graph)
Creates a new analysis for the given graph/

Uses of UnitGraph in soot.jimple.toolkits.annotation.parity

Constructors in soot.jimple.toolkits.annotation.parity with parameters of type UnitGraph

ParityAnalysis(UnitGraph g)

ParityAnalysis(UnitGraph g)

ParityAnalysis(UnitGraph g, LiveLocals filter)

ParityAnalysis(UnitGraph g, LiveLocals filter)

Uses of UnitGraph in soot.jimple.toolkits.callgraph

Constructors in soot.jimple.toolkits.callgraph with parameters of type UnitGraph

ClinitElimAnalysis(UnitGraph g)

ClinitElimAnalysis(UnitGraph g)

Uses of UnitGraph in soot.jimple.toolkits.infoflow

Constructors in soot.jimple.toolkits.infoflow with parameters of type UnitGraph

SimpleMethodInfoFlowAnalysis(UnitGraph g, InfoFlowAnalysis dfa, boolean ignoreNonRefTypeFlow)

SimpleMethodInfoFlowAnalysis(UnitGraph g, InfoFlowAnalysis dfa, boolean ignoreNonRefTypeFlow)

SimpleMethodInfoFlowAnalysis(UnitGraph g, InfoFlowAnalysis dfa, boolean ignoreNonRefTypeFlow, boolean dummyDontRunAnalysisYet)
A constructor that doesn't run the analysis

SimpleMethodInfoFlowAnalysis(UnitGraph g, InfoFlowAnalysis dfa, boolean ignoreNonRefTypeFlow, boolean dummyDontRunAnalysisYet)
A constructor that doesn't run the analysis

SimpleMethodLocalObjectsAnalysis(UnitGraph g, CallLocalityContext context, InfoFlowAnalysis dfa)

SimpleMethodLocalObjectsAnalysis(UnitGraph g, CallLocalityContext context, InfoFlowAnalysis dfa)

SimpleMethodLocalObjectsAnalysis(UnitGraph g, ClassLocalObjectsAnalysis cloa, InfoFlowAnalysis dfa)

SimpleMethodLocalObjectsAnalysis(UnitGraph g, ClassLocalObjectsAnalysis cloa, InfoFlowAnalysis dfa)

SmartMethodInfoFlowAnalysis(UnitGraph g, InfoFlowAnalysis dfa)

SmartMethodInfoFlowAnalysis(UnitGraph g, InfoFlowAnalysis dfa)

SmartMethodLocalObjectsAnalysis(UnitGraph g, InfoFlowAnalysis dfa)

SmartMethodLocalObjectsAnalysis(UnitGraph g, InfoFlowAnalysis dfa)

Uses of UnitGraph in soot.jimple.toolkits.pointer

Constructors in soot.jimple.toolkits.pointer with parameters of type UnitGraph

LocalMustAliasAnalysis(UnitGraph g)
Creates a new LocalMustAliasAnalysis tracking local variables.

LocalMustAliasAnalysis(UnitGraph g)
Creates a new LocalMustAliasAnalysis tracking local variables.

LocalMustAliasAnalysis(UnitGraph g, boolean tryTrackFieldAssignments)
Creates a new LocalMustAliasAnalysis.

LocalMustAliasAnalysis(UnitGraph g, boolean tryTrackFieldAssignments)
Creates a new LocalMustAliasAnalysis.

LocalMustNotAliasAnalysis(UnitGraph g)

LocalMustNotAliasAnalysis(UnitGraph g)

StrongLocalMustAliasAnalysis(UnitGraph g)

StrongLocalMustAliasAnalysis(UnitGraph g)

Uses of UnitGraph in soot.jimple.toolkits.scalar

Constructors in soot.jimple.toolkits.scalar with parameters of type UnitGraph

CommonPrecedingEqualValueAnalysis(UnitGraph g)

CommonPrecedingEqualValueAnalysis(UnitGraph g)

EqualLocalsAnalysis(UnitGraph g)

EqualLocalsAnalysis(UnitGraph g)

EqualUsesAnalysis(UnitGraph g)
Deprecated.

EqualUsesAnalysis(UnitGraph g)
Deprecated.

Uses of UnitGraph in soot.jimple.toolkits.scalar.pre

Constructors in soot.jimple.toolkits.scalar.pre with parameters of type UnitGraph

EarliestnessComputation(UnitGraph unitGraph, UpSafetyAnalysis upSafe, DownSafetyAnalysis downSafe, SideEffectTester sideEffect)
given an UpSafetyAnalysis and a DownSafetyAnalysis, performs the earliest-computation.

EarliestnessComputation(UnitGraph unitGraph, UpSafetyAnalysis upSafe, DownSafetyAnalysis downSafe, SideEffectTester sideEffect)
given an UpSafetyAnalysis and a DownSafetyAnalysis, performs the earliest-computation.

EarliestnessComputation(UnitGraph unitGraph, UpSafetyAnalysis upSafe, DownSafetyAnalysis downSafe, SideEffectTester sideEffect, FlowSet set)
given an UpSafetyAnalysis and a DownSafetyAnalysis, performs the earliest-computation.
allows to share sets over multiple analyses (set-operations are usually more efficient, if the sets come from the same source).

EarliestnessComputation(UnitGraph unitGraph, UpSafetyAnalysis upSafe, DownSafetyAnalysis downSafe, SideEffectTester sideEffect, FlowSet set)
given an UpSafetyAnalysis and a DownSafetyAnalysis, performs the earliest-computation.
allows to share sets over multiple analyses (set-operations are usually more efficient, if the sets come from the same source).

LatestComputation(UnitGraph unitGraph, DelayabilityAnalysis delayed, Map equivRhsMap)
given a DelayabilityAnalysis and the computations of each unit, calculates the latest computation-point for each expression.

LatestComputation(UnitGraph unitGraph, DelayabilityAnalysis delayed, Map equivRhsMap)
given a DelayabilityAnalysis and the computations of each unit, calculates the latest computation-point for each expression.

LatestComputation(UnitGraph unitGraph, DelayabilityAnalysis delayed, Map equivRhsMap, BoundedFlowSet set)
given a DelayabilityAnalysis and the computations of each unit, calculates the latest computation-point for each expression.
the equivRhsMap could be calculated on the fly, but it is very likely that it already exists (as similar maps are used for calculating Earliestness, Delayed,...
the shared set allows more efficient set-operations, when they the computation is merged with other analyses/computations.

LatestComputation(UnitGraph unitGraph, DelayabilityAnalysis delayed, Map equivRhsMap, BoundedFlowSet set)
given a DelayabilityAnalysis and the computations of each unit, calculates the latest computation-point for each expression.
the equivRhsMap could be calculated on the fly, but it is very likely that it already exists (as similar maps are used for calculating Earliestness, Delayed,...
the shared set allows more efficient set-operations, when they the computation is merged with other analyses/computations.

Uses of UnitGraph in soot.jimple.toolkits.thread

Constructors in soot.jimple.toolkits.thread with parameters of type UnitGraph

EncapsulatedMethodAnalysis(UnitGraph g)

EncapsulatedMethodAnalysis(UnitGraph g)

Uses of UnitGraph in soot.jimple.toolkits.thread.mhp

Constructors in soot.jimple.toolkits.thread.mhp with parameters of type UnitGraph

StartJoinAnalysis(UnitGraph g, SootMethod sm, CallGraph callGraph, PAG pag)

StartJoinAnalysis(UnitGraph g, SootMethod sm, CallGraph callGraph, PAG pag)

Uses of UnitGraph in soot.jimple.toolkits.thread.mhp.findobject

Constructors in soot.jimple.toolkits.thread.mhp.findobject with parameters of type UnitGraph

MultiRunStatementsFinder(UnitGraph g, SootMethod sm, Set<SootMethod> multiCalledMethods, CallGraph cg)

MultiRunStatementsFinder(UnitGraph g, SootMethod sm, Set<SootMethod> multiCalledMethods, CallGraph cg)

Uses of UnitGraph in soot.jimple.toolkits.thread.mhp.stmt

Fields in soot.jimple.toolkits.thread.mhp.stmt declared as UnitGraph

protected UnitGraph	JPegStmt.unitGraph
protected UnitGraph	JPegStmt.unitGraph

Methods in soot.jimple.toolkits.thread.mhp.stmt that return UnitGraph

UnitGraph	JPegStmt.getUnitGraph()
UnitGraph	JPegStmt.getUnitGraph()

Methods in soot.jimple.toolkits.thread.mhp.stmt with parameters of type UnitGraph

protected void	JPegStmt.setUnitGraph(UnitGraph ug)
protected void	JPegStmt.setUnitGraph(UnitGraph ug)

Constructors in soot.jimple.toolkits.thread.mhp.stmt with parameters of type UnitGraph

BeginStmt(String obj, String ca, UnitGraph ug, SootMethod sm)

BeginStmt(String obj, String ca, UnitGraph ug, SootMethod sm)

JoinStmt(String obj, String ca, Unit un, UnitGraph ug, SootMethod sm)

JoinStmt(String obj, String ca, Unit un, UnitGraph ug, SootMethod sm)

JPegStmt(String obj, String na, String ca, UnitGraph ug, SootMethod sm)

JPegStmt(String obj, String na, String ca, UnitGraph ug, SootMethod sm)

JPegStmt(String obj, String na, String ca, Unit un, UnitGraph ug, SootMethod sm)

JPegStmt(String obj, String na, String ca, Unit un, UnitGraph ug, SootMethod sm)

MonitorEntryStmt(String obj, String ca, UnitGraph ug, SootMethod sm)

MonitorEntryStmt(String obj, String ca, UnitGraph ug, SootMethod sm)

MonitorEntryStmt(String obj, String ca, Unit un, UnitGraph ug, SootMethod sm)

MonitorEntryStmt(String obj, String ca, Unit un, UnitGraph ug, SootMethod sm)

MonitorExitStmt(String obj, String ca, UnitGraph ug, SootMethod sm)

MonitorExitStmt(String obj, String ca, UnitGraph ug, SootMethod sm)

MonitorExitStmt(String obj, String ca, Unit un, UnitGraph ug, SootMethod sm)

MonitorExitStmt(String obj, String ca, Unit un, UnitGraph ug, SootMethod sm)

NotifyAllStmt(String obj, String ca, Unit un, UnitGraph ug, SootMethod sm)

NotifyAllStmt(String obj, String ca, Unit un, UnitGraph ug, SootMethod sm)

NotifyStmt(String obj, String ca, Unit un, UnitGraph ug, SootMethod sm)

NotifyStmt(String obj, String ca, Unit un, UnitGraph ug, SootMethod sm)

OtherStmt(String obj, String na, String ca, Unit un, UnitGraph ug, SootMethod sm)

OtherStmt(String obj, String na, String ca, Unit un, UnitGraph ug, SootMethod sm)

StartStmt(String obj, String ca, Unit un, UnitGraph ug, SootMethod sm)

StartStmt(String obj, String ca, Unit un, UnitGraph ug, SootMethod sm)

WaitStmt(String obj, String ca, Unit un, UnitGraph ug, SootMethod sm)

WaitStmt(String obj, String ca, Unit un, UnitGraph ug, SootMethod sm)

Uses of UnitGraph in soot.jimple.toolkits.thread.synchronization

Constructors in soot.jimple.toolkits.thread.synchronization with parameters of type UnitGraph

LockableReferenceAnalysis(UnitGraph g)

LockableReferenceAnalysis(UnitGraph g)

Uses of UnitGraph in soot.shimple

Fields in soot.shimple declared as UnitGraph

protected UnitGraph	DefaultShimpleFactory.ug
protected UnitGraph	DefaultShimpleFactory.ug

Methods in soot.shimple that return UnitGraph

UnitGraph	DefaultShimpleFactory.getUnitGraph()
UnitGraph	ShimpleFactory.getUnitGraph()
UnitGraph	ShimpleFactory.getUnitGraph()
UnitGraph	DefaultShimpleFactory.getUnitGraph()

Uses of UnitGraph in soot.toolkits.graph

Subclasses of UnitGraph in soot.toolkits.graph

class	BriefUnitGraph Represents a CFG where the nodes are Unit instances, and where no edges are included to account for control flow associated with exceptions.
class	ClassicCompleteUnitGraph Represents a CFG for a Body instance where the nodes are Unit instances, and where edges are a conservative indication of unexceptional and exceptional control flow.
class	CompleteUnitGraph Represents a CFG for a Body instance where the nodes are Unit instances, and where control flow associated with exceptions is taken into account.
class	ExceptionalUnitGraph Represents a control flow graph for a Body instance where the nodes are Unit instances, and where control flow associated with exceptions is taken into account.
class	TrapUnitGraph Represents a CFG for a Body instance where the nodes are Unit instances, and where, in additional to unexceptional control flow edges, edges are added from every trapped Unit to the Trap's handler Unit, regardless of whether the trapped Units may actually throw the exception caught by the Trap.

Methods in soot.toolkits.graph with parameters of type UnitGraph

protected Map<Unit,Block>	BlockGraph.buildBlocks(Set<Unit> leaders, UnitGraph unitGraph) A utility method that does most of the work of constructing basic blocks, once the set of block leaders has been determined, and which designates the heads and tails of the graph.
protected Map<Unit,Block>	ExceptionalBlockGraph.buildBlocks(Set<Unit> leaders, UnitGraph uncastUnitGraph) A utility method that does most of the work of constructing basic blocks, once the set of block leaders has been determined, and which designates the heads and tails of the graph.
protected Map<Unit,Block>	ExceptionalBlockGraph.buildBlocks(Set<Unit> leaders, UnitGraph uncastUnitGraph) A utility method that does most of the work of constructing basic blocks, once the set of block leaders has been determined, and which designates the heads and tails of the graph.
protected Map<Unit,Block>	BlockGraph.buildBlocks(Set<Unit> leaders, UnitGraph unitGraph) A utility method that does most of the work of constructing basic blocks, once the set of block leaders has been determined, and which designates the heads and tails of the graph.
protected Set<Unit>	ArrayRefBlockGraph.computeLeaders(UnitGraph unitGraph) Utility method for computing the basic block leaders for a Body, given its UnitGraph (i.e., the instructions which begin new basic blocks).
protected Set<Unit>	BlockGraph.computeLeaders(UnitGraph unitGraph) Utility method for computing the basic block leaders for a Body, given its UnitGraph (i.e., the instructions which begin new basic blocks).
protected Set<Unit>	ZonedBlockGraph.computeLeaders(UnitGraph unitGraph) Utility method for computing the basic block leaders for a Body, given its UnitGraph (i.e., the instructions which begin new basic blocks).
protected Set<Unit>	ZonedBlockGraph.computeLeaders(UnitGraph unitGraph) Utility method for computing the basic block leaders for a Body, given its UnitGraph (i.e., the instructions which begin new basic blocks).
protected Set<Unit>	BlockGraph.computeLeaders(UnitGraph unitGraph) Utility method for computing the basic block leaders for a Body, given its UnitGraph (i.e., the instructions which begin new basic blocks).
protected Set<Unit>	ArrayRefBlockGraph.computeLeaders(UnitGraph unitGraph) Utility method for computing the basic block leaders for a Body, given its UnitGraph (i.e., the instructions which begin new basic blocks).

Constructors in soot.toolkits.graph with parameters of type UnitGraph

BlockGraph(UnitGraph unitGraph)
Create a BlockGraph representing at the basic block level the control flow specified, at the Unit level, by a given UnitGraph.

BlockGraph(UnitGraph unitGraph)
Create a BlockGraph representing at the basic block level the control flow specified, at the Unit level, by a given UnitGraph.

DominatorAnalysis(UnitGraph g)
Deprecated.

DominatorAnalysis(UnitGraph g)
Deprecated.

PostDominatorAnalysis(UnitGraph g)
Deprecated.

PostDominatorAnalysis(UnitGraph g)
Deprecated.

Uses of UnitGraph in soot.toolkits.graph.pdg

Subclasses of UnitGraph in soot.toolkits.graph.pdg

class

EnhancedUnitGraph This class represents a control flow graph which behaves like an ExceptionalUnitGraph and BriefUnitGraph when there are no exception handling construct in the method; at the presence of such constructs, the CFG is constructed from a brief graph by addition a concise representation of the exceptional flow as well as START/STOP auxiliary nodes.

Fields in soot.toolkits.graph.pdg declared as UnitGraph

protected UnitGraph	HashMutablePDG.m_cfg
protected UnitGraph	RegionAnalysis.m_cfg
protected UnitGraph	RegionAnalysis.m_cfg
protected UnitGraph	HashMutablePDG.m_cfg
protected UnitGraph	RegionAnalysis.m_reverseCFG
protected UnitGraph	RegionAnalysis.m_reverseCFG

Methods in soot.toolkits.graph.pdg that return UnitGraph

UnitGraph	HashMutablePDG.getCFG()
UnitGraph	HashMutablePDG.getCFG()
UnitGraph	IRegion.getUnitGraph()
UnitGraph	PDGRegion.getUnitGraph()
UnitGraph	Region.getUnitGraph()
UnitGraph	Region.getUnitGraph()
UnitGraph	PDGRegion.getUnitGraph()
UnitGraph	IRegion.getUnitGraph()

Constructors in soot.toolkits.graph.pdg with parameters of type UnitGraph

HashMutablePDG(UnitGraph cfg)

HashMutablePDG(UnitGraph cfg)

PDGRegion(int id, List<PDGNode> nodes, SootMethod m, SootClass c, UnitGraph ug, PDGNode node)

PDGRegion(int id, List<PDGNode> nodes, SootMethod m, SootClass c, UnitGraph ug, PDGNode node)

PDGRegion(int id, SootMethod m, SootClass c, UnitGraph ug, PDGNode node)

PDGRegion(int id, SootMethod m, SootClass c, UnitGraph ug, PDGNode node)

Region(int id, List<Block> blocks, SootMethod m, SootClass c, UnitGraph ug)

Region(int id, List<Block> blocks, SootMethod m, SootClass c, UnitGraph ug)

Region(int id, SootMethod m, SootClass c, UnitGraph ug)

Region(int id, SootMethod m, SootClass c, UnitGraph ug)

RegionAnalysis(UnitGraph cfg, SootMethod m, SootClass c)

RegionAnalysis(UnitGraph cfg, SootMethod m, SootClass c)

Uses of UnitGraph in soot.toolkits.scalar

Methods in soot.toolkits.scalar with parameters of type UnitGraph

static CombinedAnalysis	CombinedDUAnalysis.v(UnitGraph graph)
static CombinedAnalysis	CombinedDUAnalysis.v(UnitGraph graph)

Constructors in soot.toolkits.scalar with parameters of type UnitGraph

ForwardBranchedFlowAnalysis(UnitGraph graph)

ForwardBranchedFlowAnalysis(UnitGraph graph)

GuaranteedDefs(UnitGraph graph)

GuaranteedDefs(UnitGraph graph)

InitAnalysis(UnitGraph g)

InitAnalysis(UnitGraph g)

SimpleLiveLocals(UnitGraph graph)
Computes the analysis given a UnitGraph computed from a method body.

SimpleLiveLocals(UnitGraph graph)
Computes the analysis given a UnitGraph computed from a method body.

SimpleLocalDefs(UnitGraph g)
Computes the analysis given a UnitGraph computed from a method body.

SimpleLocalDefs(UnitGraph g)
Computes the analysis given a UnitGraph computed from a method body.

SimpleLocalUses(UnitGraph graph, LocalDefs localDefs)
Construct the analysis from a UnitGraph representation of a method body and a LocalDefs interface.

SimpleLocalUses(UnitGraph graph, LocalDefs localDefs)
Construct the analysis from a UnitGraph representation of a method body and a LocalDefs interface.

SmartLocalDefs(UnitGraph g, LiveLocals live)

SmartLocalDefs(UnitGraph g, LiveLocals live)

Uses of UnitGraph in soot.util

Constructors in soot.util with parameters of type UnitGraph

UnitMap(UnitGraph g)
maps each unit of the graph to the result of mapTo.
before the mapping the method init is called.
the internal hashtable is initialized without any parameter.

UnitMap(UnitGraph g)
maps each unit of the graph to the result of mapTo.
before the mapping the method init is called.
the internal hashtable is initialized without any parameter.

UnitMap(UnitGraph g, int initialCapacity)
maps each unit of the graph to the result of mapTo.
before the mapping the method init is called.
the internal hashtable is initialized to initialCapacity.

UnitMap(UnitGraph g, int initialCapacity)
maps each unit of the graph to the result of mapTo.
before the mapping the method init is called.
the internal hashtable is initialized to initialCapacity.

UnitMap(UnitGraph g, int initialCapacity, float loadFactor)
maps each unit of the graph to the result of mapTo.
before the mapping the method init is called.
the internal hashtable is initialized to initialCapacity and loadFactor.

UnitMap(UnitGraph g, int initialCapacity, float loadFactor)
maps each unit of the graph to the result of mapTo.
before the mapping the method init is called.
the internal hashtable is initialized to initialCapacity and loadFactor.