Predicate signature variableRead
Holds if the ith 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
)