Predicate signature InputSig::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.
signature predicate variableWrite(BasicBlock bb, int i, SourceVariable v, boolean certain)