For other CodeQL resources, including tutorials and examples, see the CodeQL documentation
.
Holds if this expression may refer to the initial value of parameter p.
p
predicate mayReferToParameter(Parameter p)