public interface JvmTaintTransformer
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.
Modifier and Type | Method and 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.
|
default SetAbstractState<JvmTaintSource> transformReturn(SetAbstractState<JvmTaintSource> returnValue)
returnValue
- the original return state