Member predicate FormattingFunction :: hasTaintFlow
Holds if data passed into the argument, qualifier, or buffer represented by
input
influences the return value or buffer represented by output
predicate
hasTaintFlow
(
FunctionInput
input
,
FunctionOutput
output
)