CodeQL library for C/C++

codeql/cpp-all 4.0.1 (changelog, source)

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

.

StateProj

Module signature InputSig

Predicates

Types

Type signature TypeTracking::CallGraphConstruction::InputSig::StateProj

A projection of an element from the state space.

Copyright 2025 GitHub Software UK Ltd.Privacy Statement