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

Module AliasedSsaInstructions

Provides wrappers for the constructors of each branch of TInstruction that is used by the aliased SSA stage. These wrappers are not parameterized because it is not possible to invoke an IPA constructor via a class alias.

Import path

import semmle.code.cpp.ir.implementation.internal.TInstruction

Predicates

Aliases

TUninitializedGroupInstruction
TUnreachedInstruction
VariableGroup

An equivalence class of a set of allocations.