CodeQL library for C/C++

codeql/cpp-all 3.2.1-dev (changelog, source)

For other CodeQL resources, including tutorials and examples, see the CodeQL documentation

.

SsaVariable

Module signature Semantic

Predicates

additionalValueFlowStep

conversionCannotOverflow

getABasicBlockSuccessor

Types

ConditionalExpr

ConstantIntegerExpr

FloatingPointType

ShiftRightUnsignedExpr

SsaExplicitUpdate

Parameters

Location

Type signature Semantic::SsaVariable

A static single-assignment (SSA) variable.

Copyright 2025 GitHub Software UK Ltd.Privacy Statement