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
)