CodeQL library for Swift
codeql/swift-all 4.1.0 (changelog, source)
Search

Module Make

Provides a basic block construction on top of a control flow graph.

Import path

import codeql.controlflow.BasicBlock

Predicates

dominatingEdge

Holds if bb1 has bb2 as a direct successor and the edge between bb1 and bb2 is a dominating edge.

Classes

BasicBlock

A basic block, that is, a maximal straight-line sequence of control flow nodes without branches or joins.

Parameters