Predicate SourceVariableImpl::variableWriteDirect
Holds if the ith node of basic block bb is a (potential) write to source
variable v. The Boolean certain indicates whether the write is certain.
This excludes implicit writes via calls.
Import path
import semmle.code.csharp.dataflow.internal.SsaImplpredicate variableWriteDirect(BasicBlock bb, int i, SourceVariable v, boolean certain)