CodeQL library for Python
codeql/python-all 2.1.3-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()