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

Module EcbEncryptionConfig

A data flow configuration from a creation of an ECB mode instance to expressions that use it to initialize a cipher.

Import path

import codeql.swift.security.ECBEncryptionQuery

Predicates

isAdditionalFlowStep

Holds if data may flow from node1 to node2 in addition to the normal data-flow steps.

isBarrier

Holds if data flow through node is prohibited. This completely removes node from the data flow graph.

isSink

Holds if sink is a relevant data flow sink.

isSource

Holds if source is a relevant data flow source.

observeDiffInformedIncrementalMode

Holds if sources and sinks should be filtered to only include those that may lead to a flow path with either a source or a sink in the location range given by AlertFiltering. This only has an effect when running in diff-informed incremental mode.