CodeQL library for Go
codeql/go-all 5.0.3 (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()