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

Member predicate FunctionModel::flowStepForCall

Holds if this function model causes data to flow from pred to succ for the call c.

predicate flowStepForCall(Node pred, Node succ, CallNode c)