Predicate LocalFlow::getAPostUpdateNodeForArg
Gets a node for which to construct a post-update node for argument arg.
Import path
import semmle.code.csharp.dataflow.internal.DataFlowPrivateGets a node for which to construct a post-update node for argument arg.
import semmle.code.csharp.dataflow.internal.DataFlowPrivate