Package crypto.preanalysis

Class ExceptionAwareTransformer

java.lang.Object

soot.Transformer

soot.BodyTransformer

crypto.preanalysis.PreTransformer

crypto.preanalysis.ExceptionAwareTransformer

public class ExceptionAwareTransformer
extends PreTransformer

This transformer adds a branch after each statement, that may throw an Exception, to the handler of that Exception. The exceptions that a statement may throw are declared in the CrySLRule.

Constructor Summary

Constructors

Constructor	Description
ExceptionAwareTransformer(CrySLRule rule)

Method Summary

Modifier and Type	Method	Description
protected void	internalTransform(soot.Body body, String phase, Map<String,String> options)

Methods inherited from class crypto.preanalysis.PreTransformer

apply, isApplied

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

Constructor Detail

ExceptionAwareTransformer

public ExceptionAwareTransformer(CrySLRule rule)

Method Detail

internalTransform

protected void internalTransform(soot.Body body,
                                 String phase,
                                 Map<String,String> options)

Specified by:

internalTransform in class soot.BodyTransformer