CodeQL library for C/C++

codeql/cpp-all 12.0.3 (changelog, source)

Module SsaCached

The final SSA predicates used for dataflow purposes.

Import path

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

Predicates

phiHasInputFromBlock
ssaDefReachesEndOfBlock
ssaDefReachesRead
uncertainWriteDefinitionInput

Aliases

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.