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

Module HardcodedKeyConfig

A taint configuration from the key source to expressions that use it to initialize a cipher.

Import path

import codeql.swift.security.HardcodedEncryptionKeyQuery

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.

isBarrierIn

Holds if data flow into node is prohibited.

isSink

Holds if sink is a relevant data flow sink.

isSource

Holds if source is a relevant data flow source.