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

Module MakeWithSplitting::TestOutput

Import this module into a .ql file to output a CFG. The graph is restricted to nodes from RelevantNode.

Import path

import codeql.controlflow.Cfg

Predicates

edges

Holds if pred -> succ is an edge in the CFG.

Modules

Mermaid

Provides logic for representing a CFG as a Mermaid diagram.

Parameters

RelevantNodeRelevantNodeSig