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

Predicate Cached::updatesNamedFieldOrProp

Holds if call may change the value of field or property fp. The actual update occurs in setter.

Import path

import semmle.code.csharp.dataflow.internal.SsaImpl
predicate updatesNamedFieldOrProp(BasicBlock bb, int i, Call c, FieldOrPropSourceVariable fp, Callable setter)