Package proguard.analysis.cpa.jvm.domain.taint

Interface JvmTaintTransformer

public interface JvmTaintTransformer

Class that can be passed to JvmTaintTransferRelation to specify how a specific method call should be treated.

For example this can be overridden to specify that a specific taint should not be propagated.

Method Summary

Modifier and Type	Method	Description
default SetAbstractState<JvmTaintSource>	transformReturn(SetAbstractState<JvmTaintSource> returnValue)	The transformer implementation can override this method to specify how to modify the return value of a method call.

Method Detail

transformReturn

default SetAbstractState<JvmTaintSource> transformReturn(SetAbstractState<JvmTaintSource> returnValue)

The transformer implementation can override this method to specify how to modify the return value of a method call. The default implementation returns the original value.

Parameters:

returnValue - the original return state

Returns:

the modified return state