Predicate callByReference
Holds if call passes v by reference, either with an explicit address-of
operator or implicitly as a C++ reference. Both const and non-const
references are included.
Import path
import semmle.code.cpp.controlflow.Dataflowpredicate callByReference(Call call, Variable v)