CodeQL library for Go
codeql/go-all 2.1.3 (changelog, source)
Search

Member predicate FunctionModel::hasDataFlow

Holds if data flows through this function from input to output.

predicate hasDataFlow(FunctionInput input, FunctionOutput output)