Package sootup.interceptors

Class StaticSingleAssignmentFormer

java.lang.Object

sootup.interceptors.StaticSingleAssignmentFormer

All Implemented Interfaces:

BodyInterceptor

public class StaticSingleAssignmentFormer
extends Object
implements BodyInterceptor

In Static Single Assignment Form, each variable be assigned exactly once, and every variable be defined before it is used.

Author:

Zun Wang

See Also:

• https://en.wikipedia.org/wiki/Static_single_assignment_form

Constructor Summary

Constructors

Constructor	Description
StaticSingleAssignmentFormer()

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Details

StaticSingleAssignmentFormer

public StaticSingleAssignmentFormer()

Method Details

interceptBody

public 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