Uses of Class
soot.toolkits.graph.UnitGraph

Packages that use UnitGraph

Package	Description
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.exceptions
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

Modifier and Type	Class and Description
class	SimpleExceptionalGraph

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

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

Modifier and Type	Field and Description
protected UnitGraph	Loop.g

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

Modifier and Type	Method and Description
Set<Loop>	LoopFinder.getLoops(UnitGraph g)

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

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

Modifier and Type	Method and Description
NullnessAnalysis	NullCheckEliminator.AnalysisFactory.newAnalysis(UnitGraph g)

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

Constructor and Description
BranchedRefVarsAnalysis(UnitGraph g) Deprecated. THIS IS KNOWN TO BE BUGGY. USE NullnessAnalysis INSTEAD!
NullnessAnalysis(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

Constructor and Description
ParityAnalysis(UnitGraph g)
ParityAnalysis(UnitGraph g, LiveLocals filter)

Uses of UnitGraph in soot.jimple.toolkits.callgraph

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

Constructor and Description
ClinitElimAnalysis(UnitGraph g)

Uses of UnitGraph in soot.jimple.toolkits.infoflow

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

Constructor and Description
SimpleMethodInfoFlowAnalysis(UnitGraph g, InfoFlowAnalysis dfa, boolean ignoreNonRefTypeFlow)
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, ClassLocalObjectsAnalysis cloa, InfoFlowAnalysis dfa)
SmartMethodInfoFlowAnalysis(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

Constructor and Description
LocalMayAliasAnalysis(UnitGraph graph)
LocalMustAliasAnalysis(UnitGraph g) Creates a new LocalMustAliasAnalysis tracking local variables.
LocalMustAliasAnalysis(UnitGraph g, boolean tryTrackFieldAssignments) Creates a new LocalMustAliasAnalysis.
LocalMustNotAliasAnalysis(UnitGraph g)
StrongLocalMustAliasAnalysis(UnitGraph g)

Uses of UnitGraph in soot.jimple.toolkits.scalar

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

Constructor and Description
CommonPrecedingEqualValueAnalysis(UnitGraph g)
EqualLocalsAnalysis(UnitGraph g)
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

Constructor and Description
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<EquivalentValue> 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<Unit,EquivalentValue> equivRhsMap) given a DelayabilityAnalysis and the computations of each unit, calculates the latest computation-point for each expression.
LatestComputation(UnitGraph unitGraph, DelayabilityAnalysis delayed, Map<Unit,EquivalentValue> equivRhsMap, BoundedFlowSet<EquivalentValue> 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

Constructor and Description
EncapsulatedMethodAnalysis(UnitGraph g)

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

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

Constructor and Description
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

Constructor and Description
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

Modifier and Type	Field and Description
protected UnitGraph	JPegStmt.unitGraph

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

Modifier and Type	Method and Description
UnitGraph	JPegStmt.getUnitGraph()

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

Modifier and Type	Method and Description
protected void	JPegStmt.setUnitGraph(UnitGraph ug)

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

Constructor and Description
BeginStmt(String obj, String ca, 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, Unit un, UnitGraph ug, SootMethod sm)
MonitorEntryStmt(String obj, String ca, 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, 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)
OtherStmt(String obj, String na, 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)

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

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

Constructor and Description
LockableReferenceAnalysis(UnitGraph g)

Uses of UnitGraph in soot.shimple

Fields in soot.shimple declared as UnitGraph

Modifier and Type	Field and Description
protected UnitGraph	DefaultShimpleFactory.ug

Methods in soot.shimple that return UnitGraph

Modifier and Type	Method and Description
UnitGraph	ShimpleFactory.getUnitGraph()
UnitGraph	DefaultShimpleFactory.getUnitGraph()

Uses of UnitGraph in soot.toolkits.exceptions

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

Modifier and Type	Method and Description
Set<Unit>	TrapTransformer.getUnitsWithMonitor(UnitGraph ug)

Uses of UnitGraph in soot.toolkits.graph

Subclasses of UnitGraph in soot.toolkits.graph

Modifier and Type	Class and Description
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

Modifier and Type	Method and Description
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 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).
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).

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

Constructor and Description
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.
PostDominatorAnalysis(UnitGraph g) Deprecated.

Uses of UnitGraph in soot.toolkits.graph.pdg

Subclasses of UnitGraph in soot.toolkits.graph.pdg

Modifier and Type	Class and Description
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 adding a concise representation of the exceptional flow as well as START/STOP auxiliary nodes.

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

Modifier and Type	Field and Description
protected UnitGraph	HashMutablePDG.m_cfg
protected UnitGraph	RegionAnalysis.m_cfg
protected UnitGraph	RegionAnalysis.m_reverseCFG

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

Modifier and Type	Method and Description
UnitGraph	HashMutablePDG.getCFG()
UnitGraph	Region.getUnitGraph()
UnitGraph	PDGRegion.getUnitGraph()
UnitGraph	IRegion.getUnitGraph()

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

Constructor and Description
HashMutablePDG(UnitGraph cfg)
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)
Region(int id, List<Block> blocks, SootMethod m, SootClass c, UnitGraph ug)
Region(int id, SootMethod m, SootClass c, UnitGraph ug)
RegionAnalysis(UnitGraph cfg, SootMethod m, SootClass c)

Uses of UnitGraph in soot.toolkits.scalar

Methods in soot.toolkits.scalar that return UnitGraph

Modifier and Type	Method and Description
UnitGraph	SmartLocalDefs.getGraph() Returns the associated unit graph.

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

Modifier and Type	Method and Description
static LiveLocals	LiveLocals.Factory.newLiveLocals(UnitGraph graph)
static LocalDefs	LocalDefs.Factory.newLocalDefs(UnitGraph graph) Creates a new LocalDefs analysis based on a given UnitGraph
static LocalDefs	LocalDefs.Factory.newLocalDefs(UnitGraph graph, boolean expectUndefined) Creates a new LocalDefs analysis based on a given UnitGraph.
static LocalDefs	LocalDefs.Factory.newLocalDefsFlowInsensitive(UnitGraph graph) Creates a new LocalDefs analysis based on a given UnitGraph.
static LocalUses	LocalUses.Factory.newLocalUses(UnitGraph graph)
static LocalUses	LocalUses.Factory.newLocalUses(UnitGraph graph, LocalDefs localDefs)

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

Constructor and Description
CombinedDUAnalysis(UnitGraph graph)
ForwardBranchedFlowAnalysis(UnitGraph graph)
GuaranteedDefs(UnitGraph graph)
InitAnalysis(UnitGraph g)
SimpleLiveLocals(UnitGraph graph) Computes the analysis given a UnitGraph computed from a method body.
SimpleLocalDefs(UnitGraph graph)
SimpleLocalDefs(UnitGraph graph, soot.toolkits.scalar.SimpleLocalDefs.FlowAnalysisMode mode)
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)

Uses of UnitGraph in soot.util

Constructors in soot.util with parameters of type UnitGraph

Constructor and Description
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, 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.