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
)