Member predicate TaintFunction::hasTaintFlow

Holds if data passed into the argument, qualifier, or buffer represented by input influences the return value or buffer represented by output