qtil
advanced-security/qtil-cpp 0.0.4
Search

Predicate Cached::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.

Import path

import semmle.code.cpp.controlflow.BasicBlocks
predicate basic_block_entry_node(ControlFlowNode node)