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

Module StaticInitializationVectorQuery

Provides a taint tracking configuration to find use of static initialization vectors for encryption.

Import path

import codeql.swift.security.StaticInitializationVectorQuery

Imports

DataFlow
StaticInitializationVectorExtensions

Provides classes and predicates for reasoning about use of static initialization vectors for encryption.

TaintTracking
swift

Top-level import for the Swift language pack

Classes

StaticInitializationVectorSource

A static IV is created through either a byte array or string literals.

Modules

StaticInitializationVectorConfig

A dataflow configuration from the source of a static IV to expressions that use it to initialize a cipher.

Aliases

StaticInitializationVectorFlow

Constructs a global taint tracking computation.