Predicate parameterNode
Gets the Node corresponding to the value of p at function entry.
Import path
import semmle.code.cpp.dataflow.internal.DataFlowUtilGets the Node corresponding to the value of p at function entry.
import semmle.code.cpp.dataflow.internal.DataFlowUtil