Package crypto.preanalysis

Class ExceptionAwareTransformer

java.lang.Object

soot.Transformer

soot.BodyTransformer

crypto.preanalysis.ExceptionAwareTransformer

public class ExceptionAwareTransformer
extends soot.BodyTransformer

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)
static void	setup(List<CrySLRule> rules)

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

setup

public static void setup(List<CrySLRule> rules)

internalTransform

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

Specified by:

internalTransform in class soot.BodyTransformer