CodeQL library for C/C++
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)