proguard.analysis.cpa.jvm.domain.taint

Interface JvmTaintHeapAbstractState

All Known Implementing Classes:

JvmBasicTaintTreeHeapFollowerAbstractState, JvmTaintTreeHeapFollowerAbstractState

public interface JvmTaintHeapAbstractState

An interface for object tainting.

Method Summary

Modifier and Type	Method and Description
<T> void	taintObject(T object, SetAbstractState<JvmTaintSource> value) Transitively applies the taint value to the object.

Method Detail

taintObject

<T> void taintObject(T object,
                     SetAbstractState<JvmTaintSource> value)

Transitively applies the taint value to the object.