Package proguard.evaluation

Class ExecutingInvocationUnit

java.lang.Object

proguard.evaluation.SimplifiedInvocationUnit

proguard.evaluation.BasicInvocationUnit

proguard.evaluation.ExecutingInvocationUnit

All Implemented Interfaces:

ConstantVisitor, MemberVisitor, ParameterVisitor, InvocationUnit

public class ExecutingInvocationUnit
extends BasicInvocationUnit

This InvocationUnit is capable of executing the invoked methods with particular values as parameters.

If a method has a return value, this value is determined and supplied as a particular Value. Methods that operate on an instance are able to modify the calling instance. For such methods, references in the stack and variables to that instance are replaced with the modified one. This also applies to constructors.

This class is responsible for creating the final particular Values for methods that were handled without errors and creating fallback values in case the method could not be handled. It also performs the action of replacing references of instances that changed in the stack and variables if needed. This is however limited as we only update the instance if it was modified and ignores all other parameters which might have changed too.

An ExecutingInvocationUnit delegates the acquisition of method results and certain other decisions (e.g. whether replacing references in the stack and variables is needed) to its Executors. Per default, an instance of this class will have access to a StringReflectionExecutor that handles methods of String, StringBuilder and StringBuffer. The ExecutingInvocationUnit.Builder, allows for disabling the default StringReflectionExecutor and adding other Executors.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	ExecutingInvocationUnit.Builder	Builds an ExecutingInvocationUnit.

Field Summary

Fields inherited from class proguard.evaluation.BasicInvocationUnit

valueFactory

Fields inherited from class proguard.evaluation.SimplifiedInvocationUnit

isLoad, isStatic, method, stack, variables

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	ExecutingInvocationUnit(@NotNull ClassPool programClassPool, @NotNull ClassPool libraryClassPool, ValueFactory valueFactory, boolean enableSameInstanceIdApproximation, boolean allowNonFinalConstants, List<Executor> registeredExecutors)	Creates an ExecutingInvocationUnit.

Method Summary

Modifier and Type	Method	Description
boolean	canExecute(@NotNull MethodSignature signature)	Returns whether the invocation unit is able to handle the given method.
MethodResult	executeMethod(ConcreteCall call, Value... parameters)	Execute the method given by a ConcreteCall.
MethodResult	executeMethod(Executor executor, MethodExecutionInfo methodInfo)	Executes a method using a given Executor.
Value	getFieldValue(Clazz clazz, FieldrefConstant fieldrefConstant, String type)	Returns the value of the specified field.
Value	getMethodReturnValue(Clazz clazz, AnyMethodrefConstant anyMethodrefConstant, String returnType)	Returns the return value of the specified method.
boolean	methodMayHaveSideEffects(Clazz clazz, AnyMethodrefConstant anyMethodrefConstant, String returnType)	Returns true if the method itself can modify the stack/variables and therefore needs to be executed even if it returns void.
void	setMethodParameterValue(Clazz clazz, AnyMethodrefConstant anyMethodrefConstant, int parameterIndex, Value value)	Sets the value of the specified method parameter.
boolean	supportsAnyMethodOf(@NotNull String className)	Checks whether any method of the given class is supported by the executors.
boolean	supportsAnyMethodOf(@NotNull Clazz clazz)	Checks whether any method of the given class is supported by the executors.
void	visitAnyMethodrefConstant(Clazz clazz, AnyMethodrefConstant anyMethodrefConstant)	Visits any RefConstant instance.

Methods inherited from class proguard.evaluation.BasicInvocationUnit

getExceptionValue, getFieldClassValue, getMethodParameterValue, getMethodReturnValue, setFieldClassValue, setFieldValue, setMethodReturnValue, visitLibraryField, visitLibraryMethod, visitProgramField, visitProgramMethod

Methods inherited from class proguard.evaluation.SimplifiedInvocationUnit

enterExceptionHandler, enterMethod, exitMethod, invokeMember, visitFieldrefConstant, visitInvokeDynamicConstant, visitParameter

Methods inherited from class java.lang.Object

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

Methods inherited from interface proguard.classfile.constant.visitor.ConstantVisitor

visitAnyConstant, visitAnyRefConstant, visitClassConstant, visitDoubleConstant, visitDynamicConstant, visitFloatConstant, visitIntegerConstant, visitInterfaceMethodrefConstant, visitLongConstant, visitMethodHandleConstant, visitMethodrefConstant, visitMethodTypeConstant, visitModuleConstant, visitNameAndTypeConstant, visitPackageConstant, visitPrimitiveArrayConstant, visitStringConstant, visitUtf8Constant

Methods inherited from interface proguard.evaluation.InvocationUnit

enterExceptionHandler, enterMethod, exitMethod, invokeMember

Methods inherited from interface proguard.classfile.visitor.MemberVisitor

visitAnyMember, visitLibraryMember, visitProgramMember

Constructor Details

ExecutingInvocationUnit

protected ExecutingInvocationUnit(@NotNull
 @NotNull ClassPool programClassPool,
 @NotNull
 @NotNull ClassPool libraryClassPool,
 ValueFactory valueFactory,
 boolean enableSameInstanceIdApproximation,
 boolean allowNonFinalConstants,
 List<Executor> registeredExecutors)

Creates an ExecutingInvocationUnit.

Method Details

visitAnyMethodrefConstant

public void visitAnyMethodrefConstant(Clazz clazz,
 AnyMethodrefConstant anyMethodrefConstant)

Description copied from interface: ConstantVisitor

Visits any RefConstant instance. The more specific default implementations of this interface delegate to this method.

Specified by:

visitAnyMethodrefConstant in interface ConstantVisitor

Overrides:

visitAnyMethodrefConstant in class SimplifiedInvocationUnit

setMethodParameterValue

public void setMethodParameterValue(Clazz clazz,
 AnyMethodrefConstant anyMethodrefConstant,
 int parameterIndex,
 Value value)

Description copied from class: SimplifiedInvocationUnit

Sets the value of the specified method parameter.

Overrides:

setMethodParameterValue in class BasicInvocationUnit

methodMayHaveSideEffects

public boolean methodMayHaveSideEffects(Clazz clazz,
 AnyMethodrefConstant anyMethodrefConstant,
 String returnType)

Description copied from class: SimplifiedInvocationUnit

Returns true if the method itself can modify the stack/variables and therefore needs to be executed even if it returns void.

Overrides:

methodMayHaveSideEffects in class SimplifiedInvocationUnit

getMethodReturnValue

public Value getMethodReturnValue(Clazz clazz,
 AnyMethodrefConstant anyMethodrefConstant,
 String returnType)

Description copied from class: SimplifiedInvocationUnit

Returns the return value of the specified method.

Overrides:

getMethodReturnValue in class BasicInvocationUnit

executeMethod

public MethodResult executeMethod(ConcreteCall call,
 Value... parameters)

Execute the method given by a ConcreteCall. See executeMethod(Executor, MethodExecutionInfo)

Parameters:

call - The concrete call.

parameters - The calling parameters.

Returns:

The method result value.

executeMethod

public MethodResult executeMethod(Executor executor,
 MethodExecutionInfo methodInfo)

Executes a method using a given Executor. Replace references of the instance in variables and stack if necessary. The return value represents the result of the executed method.

Parameters:

executor - The Executor which handles this method call.

methodInfo - Information about the method to execute.

Returns:

The method result value.

canExecute

public boolean canExecute(@NotNull
 @NotNull MethodSignature signature)

Returns whether the invocation unit is able to handle the given method.

Parameters:

signature - The method signature of the method being tested

Returns:

true if the method can be executed.

supportsAnyMethodOf

public boolean supportsAnyMethodOf(@NotNull
 @NotNull Clazz clazz)

Checks whether any method of the given class is supported by the executors.

Parameters:

clazz - The class to check

Returns:

true if any method of the given class is supported by the executor

supportsAnyMethodOf

public boolean supportsAnyMethodOf(@NotNull
 @NotNull String className)

Checks whether any method of the given class is supported by the executors.

Parameters:

className - The class name to check

Returns:

true if any method of the given class is supported by the executor

getFieldValue

public Value getFieldValue(Clazz clazz,
 FieldrefConstant fieldrefConstant,
 String type)

Description copied from class: SimplifiedInvocationUnit

Returns the value of the specified field.

Overrides:

getFieldValue in class BasicInvocationUnit