Predicate signature variableWrite
Holds if the ith node of basic block bb is a (potential) write to source
variable v. The Boolean certain indicates whether the write is certain.
Examples of uncertain writes are ref arguments in C#, where it is the callee
that may or may not update the argument.
Import path
import codeql.ssa.Ssa
signature
predicate
variableWrite
(
BasicBlock
bb
,
int
i
,
SourceVariable
v
,
boolean
certain
)