CodeQL library for C/C++
Search

Predicate parameterUsePair

Holds if va is a use of the parameter p that could observe the passed-in value.

Import path

import cpp
predicate parameterUsePair(Parameter p, VariableAccess va)