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

Predicate SsaInput::variableWrite

Holds if the i’th write in block bb writes to the variable v. certain is true if the write is guaranteed to overwrite the entire variable.

Import path

import semmle.code.cpp.ir.dataflow.internal.SsaInternals
predicate variableWrite(IRBlock bb, int i, SourceVariable v, boolean certain)