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

Predicate Cached::updatesCapturedVariable

Holds if call may change the value of captured variable v. The actual update occurs in def.

Import path

import semmle.code.csharp.dataflow.internal.SsaImpl
predicate updatesCapturedVariable(BasicBlock bb, int i, Call call, LocalScopeSourceVariable v, AssignableDefinition def, boolean additionalCalls)