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
)