Predicate Cached :: variableWriteQualifier
Import path
import semmle.code.csharp.dataflow.internal.SsaImpl
predicate
variableWriteQualifier
(
BasicBlock
bb
,
int
i
,
QualifiedFieldOrPropSourceVariable
v
,
boolean
certain
)