CodeQL library for C/C++
codeql/cpp-all 2.1.1 (changelog, source)
Search

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)