Package sootup.interceptors
package sootup.interceptors
-
ClassDescriptionBuilt-in sets of
BodyInterceptors for the bytecode frontendTransformers that inlines returns that cast and return an object.Statically evaluates the conditional expression of Jimple if statements.Does constant propagation and folding.The CopyPropagator performs cascaded copy propagation.This interceptor eliminates assignment statements to locals whose values are not subsequently used, unless evaluating the right-hand side of the assignment may cause side-effects.Removes empty switch statements which always take the default action from a method body, i.e.Evaluates, whether a value is constant and computes its constant value, if possible.This Interceptor executes validations on Jimple semanticsA BodyInterceptor that attempts to identify and separate uses of a local variable (definition) that are independent of each other.In Static Single Assignment Form, each variable be assigned exactly once, and every variable be defined before it is used.This transformer assigns types to local variables.A BodyInterceptor that removes all unreachable stmts from the given Body.The UnusedLocalEliminator removes any unused locals from the method.