CodeQL library for Java/Kotlin
codeql/java-all 5.0.1-dev (changelog, source)
Search

Predicate signature MakeImpl::FullStateConfigSig::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()