Predicate isReferenceVariable
The type of the variable is a reference type, such as int&.
Import path
import semmle.code.cpp.dataflow.StackAddress
predicate isReferenceVariable(StackVariable var)
The type of the variable is a reference type, such as int&.
import semmle.code.cpp.dataflow.StackAddress
predicate isReferenceVariable(StackVariable var)