Member predicate TaintTracking::TaintPreservingCallable::transfersTaint

Holds if this callable writes tainted data to sink when src is tainted. src and sink are parameter indices, or -1 to indicate the qualifier.