Package sootup.interceptors

Class JimpleSemanticsChecker

java.lang.Object

sootup.interceptors.JimpleSemanticsChecker

All Implemented Interfaces:

BodyInterceptor

Direct Known Subclasses:

JimpleSemanticsChecker.LoggingJimpleChecker

public abstract class JimpleSemanticsChecker
extends Object
implements BodyInterceptor

This Interceptor executes validations on Jimple semantics

e.g. like a Local must be assigned before its use

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	JimpleSemanticsChecker.LoggingJimpleChecker
static class	JimpleSemanticsChecker.ThrowingJimpleChecker

Constructor Summary

Constructors

Constructor	Description
JimpleSemanticsChecker()

Method Summary

Modifier and Type	Method	Description
abstract void	interceptBody(Body.BodyBuilder builder, View view)	Takes a BodyBuilder and may apply a transformation to it, for example removing unused local variables.
protected List<ValidationException>	validate(Body.BodyBuilder builder, View view)

Methods inherited from class java.lang.Object

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

Constructor Details

JimpleSemanticsChecker

public JimpleSemanticsChecker()

Method Details

validate

protected List<ValidationException> validate(@Nonnull
 Body.BodyBuilder builder,
 @Nonnull
 View view)

interceptBody

public abstract void interceptBody(@Nonnull
 Body.BodyBuilder builder,
 @Nonnull
 View view)

Description copied from interface: BodyInterceptor

Takes a BodyBuilder and may apply a transformation to it, for example removing unused local variables.

Specified by:

interceptBody in interface BodyInterceptor