A dataflow configuration from the source of a static IV to expressions that use it to initialize a cipher.
Import path
import codeql.swift.security.StaticInitializationVectorQueryPredicates
| isAdditionalFlowStep | Holds if data may flow from |
| isBarrier | Holds if data flow through |
| isBarrierIn | Holds if data flow into |
| isSink | Holds if |
| isSource | Holds if |
| 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 |