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

Module Ssa

Provides a language-independent implementation of static single assignment (SSA) form.

Import path

import codeql.ssa.Ssa

Modules

Make

Provides an SSA implementation.

Module signatures

InputSig

Provides the input specification of the SSA implementation.

SsaSig

Provides classes and predicates for the SSA representation of variables.