qtil
advanced-security/qtil-cpp 0.0.4
Search

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.Dataflow
predicate callByReference(Call call, Variable v)