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

Module Cfg

Provides a shared interface and implementation for constructing control-flow graphs (CFGs) from abstract syntax trees (ASTs).

Import path

import codeql.controlflow.Cfg

Modules

Make

Same as MakeWithSplitting, but without CFG splitting.

MakeWithSplitting

Provides a shared interface for constructing control-flow graphs (CFGs) from abstract syntax trees (ASTs).

NoConditionalCompletionSplittingInput

Provides a disabled ConditionalCompletionSplittingInputSig implementation.

NoSplittingInput

Provides a disabled SplittingInputSig implementation.

Module signatures

ConditionalCompletionSplittingInputSig

Provides input needed for ConditionalCompletionSplitting.

InputSig

Provides the language-specific input specification.

SplittingInputSig

Provides input needed for CFG splitting.