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

Module SsaInput

Import path

import semmle.code.cpp.ir.dataflow.internal.SsaInternals

Imports

InputSigCommon

Inputs to the shared SSA library’s parameterized module that is shared between the SSA pruning stage, and the final SSA stage.

SourceVariables

Predicates

variableRead

Holds if the i’th read in block bb reads to the variable v. certain is true if the read is guaranteed. For C++, this is always the case.

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.