CodeQL library for C/C++
codeql/cpp-all 7.1.1 (changelog, source)
Search

Predicate signature MakeImpl::FullStateConfigSig::observeOverlayInformedIncrementalMode

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 overlay database. This only has an effect when running in overlay-informed incremental mode. This should be used in conjunction with the OverlayImpl implementation to merge the base results back in.

signature predicate observeOverlayInformedIncrementalMode()