Uses of Interface
soot.toolkits.exceptions.ThrowAnalysis

Packages that use ThrowAnalysis

Package	Description
soot	Base Soot classes, shared by different intermediate representations.
soot.dexpler
soot.dotnet.exceptiontoolkits
soot.jimple.toolkits.scalar	A toolkit for scalar optimization of Jimple.
soot.toolkits.exceptions
soot.toolkits.graph	Toolkit to produce and manipulate various types of control flow graphs.
soot.toolkits.scalar	A number of scalar optimizations, and the flow analysis framework.

Uses of ThrowAnalysis in soot

Methods in soot that return ThrowAnalysis

Modifier and Type	Method	Description
ThrowAnalysis	Scene.getDefaultThrowAnalysis()	Returns the ThrowAnalysis to be used by default when constructing CFGs which include exceptional control flow.

Methods in soot with parameters of type ThrowAnalysis

Modifier and Type	Method	Description
void	Scene.setDefaultThrowAnalysis(ThrowAnalysis ta)	Sets the ThrowAnalysis to be used by default when constructing CFGs which include exceptional control flow.

Uses of ThrowAnalysis in soot.dexpler

Classes in soot.dexpler that implement ThrowAnalysis

Modifier and Type	Class	Description
class	DalvikThrowAnalysis

Uses of ThrowAnalysis in soot.dotnet.exceptiontoolkits

Classes in soot.dotnet.exceptiontoolkits that implement ThrowAnalysis

Modifier and Type	Class	Description
class	DotnetThrowAnalysis	ThrowAnalysis for .NET CIL Instructions Described Exceptions are described in the ECMA-335 specification

Uses of ThrowAnalysis in soot.jimple.toolkits.scalar

Fields in soot.jimple.toolkits.scalar declared as ThrowAnalysis

Modifier and Type	Field	Description
protected ThrowAnalysis	CopyPropagator.throwAnalysis
protected ThrowAnalysis	UnreachableCodeEliminator.throwAnalysis

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

Constructor	Description
CopyPropagator(ThrowAnalysis ta)
CopyPropagator(ThrowAnalysis ta, boolean forceOmitExceptingUnitEdges)
UnreachableCodeEliminator(ThrowAnalysis ta)

Uses of ThrowAnalysis in soot.toolkits.exceptions

Classes in soot.toolkits.exceptions that implement ThrowAnalysis

Modifier and Type	Class	Description
class	AbstractThrowAnalysis	Abstract class implementing parts of the ThrowAnalysis interface which may be common to multiple concrete ThrowAnalysis classes.
class	PedanticThrowAnalysis	A ThrowAnalysis that says that every unit can throw every possible exception type.
class	UnitThrowAnalysis	A ThrowAnalysis which returns the set of runtime exceptions and errors that might be thrown by the bytecode instructions represented by a unit, as indicated by the Java Virtual Machine specification.

Fields in soot.toolkits.exceptions declared as ThrowAnalysis

Modifier and Type	Field	Description
protected ThrowAnalysis	TrapTightener.throwAnalysis

Methods in soot.toolkits.exceptions that return ThrowAnalysis

Modifier and Type	Method	Description
static ThrowAnalysis	ThrowAnalysisFactory.checkInitThrowAnalysis()	Resolve the ThrowAnalysis to be used for initialization checking (e.g.

Constructors in soot.toolkits.exceptions with parameters of type ThrowAnalysis

Constructor	Description
TrapTightener(ThrowAnalysis ta)

Uses of ThrowAnalysis in soot.toolkits.graph

Fields in soot.toolkits.graph declared as ThrowAnalysis

Modifier and Type	Field	Description
protected ThrowAnalysis	ExceptionalBlockGraph.throwAnalysis
protected ThrowAnalysis	ExceptionalUnitGraph.throwAnalysis

Methods in soot.toolkits.graph that return ThrowAnalysis

Modifier and Type	Method	Description
ThrowAnalysis	ExceptionalUnitGraph.getThrowAnalysis()	Return the ThrowAnalysis used to construct this graph, if the graph contains no Traps, or null if the graph does contain Traps.

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

Modifier and Type	Method	Description
protected Set<Unit>	ExceptionalUnitGraph.buildExceptionalEdges(ThrowAnalysis throwAnalysis, Map<Unit,Collection<ExceptionalUnitGraph.ExceptionDest>> unitToExceptionDests, Map<Unit,List<Unit>> unitToSuccs, Map<Unit,List<Unit>> unitToPreds, boolean omitExceptingUnitEdges)	Method to compute the edges corresponding to exceptional control flow.
protected Map<Unit,Collection<ExceptionalUnitGraph.ExceptionDest>>	ExceptionalUnitGraph.buildExceptionDests(ThrowAnalysis throwAnalysis)	Utility method used in the construction of UnitGraph variants which include exceptional control flow.
static ExceptionalUnitGraph	ExceptionalUnitGraphFactory.createExceptionalUnitGraph(Body body, ThrowAnalysis throwAnalysis)
static ExceptionalUnitGraph	ExceptionalUnitGraphFactory.createExceptionalUnitGraph(Body body, ThrowAnalysis throwAnalysis, boolean omitExceptingUnitEdges)
protected void	ExceptionalUnitGraph.initialize(ThrowAnalysis throwAnalysis, boolean omitExceptingUnitEdges)	Performs the real work of constructing an ExceptionalUnitGraph, factored out of the constructors so that subclasses have the option to delay creating the graph's edges until after they have performed some subclass-specific initialization.
protected ExceptionalUnitGraph	ExceptionalUnitGraphFactory.newExceptionalUnitGraph(Body body, ThrowAnalysis throwAnalysis, boolean omitExceptingUnitEdges)

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

Constructor	Description
ExceptionalUnitGraph(Body body, ThrowAnalysis throwAnalysis)	Constructs the graph from a given Body instance using the passed ThrowAnalysis and a default value, provided by the Options class, for the omitExceptingUnitEdges parameter.
ExceptionalUnitGraph(Body body, ThrowAnalysis throwAnalysis, boolean omitExceptingUnitEdges)	Constructs the graph for a given Body instance, using the ThrowAnalysis and omitExceptingUnitEdges value that are passed as parameters.

Uses of ThrowAnalysis in soot.toolkits.scalar

Fields in soot.toolkits.scalar declared as ThrowAnalysis

Modifier and Type	Field	Description
protected ThrowAnalysis	FlowSensitiveConstantPropagator.throwAnalysis
protected ThrowAnalysis	LocalSplitter.throwAnalysis
protected ThrowAnalysis	SharedInitializationLocalSplitter.throwAnalysis

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

Constructor	Description
FlowSensitiveConstantPropagator(ThrowAnalysis ta)
FlowSensitiveConstantPropagator(ThrowAnalysis ta, boolean omitExceptingUnitEdges)
LocalSplitter(ThrowAnalysis ta)
LocalSplitter(ThrowAnalysis ta, boolean omitExceptingUnitEdges)
SharedInitializationLocalSplitter(ThrowAnalysis ta)
SharedInitializationLocalSplitter(ThrowAnalysis ta, boolean omitExceptingUnitEdges)