CodeQL library for C/C++
codeql/cpp-all 0.12.0 (changelog, source)

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)