CodeQL library for Java/Kotlin
codeql/java-all 7.8.0 (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()