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

Member predicate SummaryArgumentNode::argumentOf

Holds if this argument occurs at the given position in the given call. The instance argument is considered to have index -1.

predicate argumentOf(DataFlowCall call, ArgumentPosition pos)