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

Module MakeImplCommon::DataFlowImplCommonPublic

Import path

import codeql.dataflow.internal.DataFlowImplCommon

Classes

FeatureEqualSourceSinkCallContext

A flow configuration feature that implies that source-sink pairs have some shared existing call context.

FeatureHasSinkCallContext

A flow configuration feature that implies that sinks have some existing call context.

FeatureHasSourceCallContext

A flow configuration feature that implies that sources have some existing call context.

FlowFeature

A flow configuration feature for use in Configuration::getAFeature().

Modules

FlowStateString

DEPRECATED: Generally, a custom FlowState type should be used instead, but string can of course still be used without referring to this module.

SimpleGlobal

EXPERIMENTAL: This API is subject to change without notice.

Predicate signatures

sourceNode

Holds if source is a relevant data flow source.