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

Predicate signature Configs::StateConfigSig::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.

This flag should only be applied to flow configurations whose results are used directly in a query result.

signature predicate observeDiffInformedIncrementalMode()