Predicate parameterNode
Gets the node corresponding to the value of parameter p at function entry.
Import path
import semmle.code.csharp.dataflow.internal.DataFlowPublicGets the node corresponding to the value of parameter p at function entry.
import semmle.code.csharp.dataflow.internal.DataFlowPublic