CodeQL library for C/C++
Search

Predicate argumentPositionMatch

Holds if arg is an argument of call with an argument position that matches parameter position ppos.

Import path

import semmle.code.cpp.ir.dataflow.internal.DataFlowImplCommon
predicate argumentPositionMatch(DataFlowCall call, ArgNode arg, ParameterPosition ppos)