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

Module Guards

Provides classes and predicates for reasoning about guards and the control flow elements controlled by those guards.

Import path

import semmle.code.cpp.controlflow.Guards

Imports

BasicBlocks

Provides a library for reasoning about control flow at the granularity of basic blocks. This is usually much more efficient than reasoning directly at the level of ControlFlowNodes.

Dominance

Provides dominance predicates for control-flow nodes.

IRGuards

Provides classes and predicates for reasoning about guards and the control flow elements controlled by those guards.

SSA

Provides classes and predicates for SSA representation (Static Single Assignment form).

cpp

Provides classes and predicates for working with C/C++ code.

Classes

GuardedSsa

An SsaDefinition with an additional predicate isLt.