Predicate Flow::CaptureSsaInput::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.dataflow.VariableCapture
predicate variableWrite(BasicBlock bb, int i, SourceVariable cc, boolean certain)