Predicate signature variableWrite
Holds if the i
th 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
)