Package soot.jimple.toolkits.base

Class ExceptionChecker

java.lang.Object

soot.Transformer

soot.BodyTransformer

soot.jimple.toolkits.base.ExceptionChecker

public class ExceptionChecker
extends BodyTransformer

Field Summary

Fields

Modifier and Type	Field	Description
protected FastHierarchy	hierarchy
protected ExceptionCheckerErrorReporter	reporter

Constructor Summary

Constructors

Constructor	Description
ExceptionChecker(ExceptionCheckerErrorReporter r)

Method Summary

Modifier and Type	Method	Description
protected void	checkInvoke(Body b, InvokeStmt is)
protected void	checkInvokeExpr(Body b, InvokeExpr ie, Stmt s)
protected void	checkThrow(Body b, ThrowStmt ts)
protected void	internalTransform(Body b, String phaseName, Map<String,String> options)	This method is called to perform the transformation itself.
protected boolean	isExceptionCaught(Body b, Stmt s, RefType throwType)
protected boolean	isThrowDeclared(Body b, SootClass throwClass)
protected boolean	isThrowFromCompiler(ThrowStmt ts)
protected boolean	isThrowInStmtRange(Body b, Stmt begin, Stmt end, Stmt s)

Methods inherited from class soot.BodyTransformer

transform, transform, transform

Methods inherited from class java.lang.Object

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

Field Detail

reporter

protected final ExceptionCheckerErrorReporter reporter

hierarchy

protected FastHierarchy hierarchy

Constructor Detail

ExceptionChecker

public ExceptionChecker(ExceptionCheckerErrorReporter r)

Method Detail

internalTransform

protected void internalTransform(Body b,
                                 String phaseName,
                                 Map<String,String> options)

Description copied from class: BodyTransformer

This method is called to perform the transformation itself. It is declared abstract; subclasses must implement this method by making it the entry point to their actual Body transformation.

Specified by:

internalTransform in class BodyTransformer

Parameters:

b - the body on which to apply the transformation

phaseName - the phasename for this transform; not typically used by implementations.

options - the actual computed options; a combination of default options and Scene specified options.

checkThrow

protected void checkThrow(Body b,
                          ThrowStmt ts)

isThrowDeclared

protected boolean isThrowDeclared(Body b,
                                  SootClass throwClass)

isThrowFromCompiler

protected boolean isThrowFromCompiler(ThrowStmt ts)

isExceptionCaught

protected boolean isExceptionCaught(Body b,
                                    Stmt s,
                                    RefType throwType)

isThrowInStmtRange

protected boolean isThrowInStmtRange(Body b,
                                     Stmt begin,
                                     Stmt end,
                                     Stmt s)

checkInvoke

protected void checkInvoke(Body b,
                           InvokeStmt is)

checkInvokeExpr

protected void checkInvokeExpr(Body b,
                               InvokeExpr ie,
                               Stmt s)