Predicate parameterUsePair
Holds if va is a use of the parameter p that could
observe the passed-in value.
Import path
import semmle.code.cpp.controlflow.DefinitionsAndUsespredicate parameterUsePair(Parameter p, VariableAccess va)Holds if va is a use of the parameter p that could
observe the passed-in value.
import semmle.code.cpp.controlflow.DefinitionsAndUsespredicate parameterUsePair(Parameter p, VariableAccess va)