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 Details

    • 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