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

Module Cached

Import path

import cpp

Predicates

basic_block_entry_node

Any node that is the entry point of a primitive basic block is also the entry point of a basic block. In addition, all nodes with a primitive successor, where the predecessor has been pruned (that is, getAPredecessor() does not exist while a predecessor using the primitive successors_extended relation does exist), is also considered a basic block entry node.

basic_block_member

Holds if node is the posth control-flow node in basic block bb.

bb_length

Gets the number of control-flow nodes in the basic block bb.

bb_successor_cached

Successor relation for basic blocks.