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)