CodeQL library for C/C++
codeql/cpp-all 2.1.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()