CodeQL library for C#
codeql/csharp-all 0.8.3 (changelog, source)

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.SsaImpl
predicate variableWriteDirect(BasicBlock bb, int i, SourceVariable v, boolean certain)