Predicate signature variableRead
Holds if the i
th node of basic block bb
reads source variable v
. The
Boolean certain
indicates whether the read is certain.
Examples of uncertain reads are pseudo-reads inserted at the end of a C# method
with a ref
or out
parameter, where it is the caller that may or may not read
the argument.
Import path
import codeql.ssa.Ssa
signature predicate variableRead(BasicBlock bb, int i, SourceVariable v, boolean certain)