CodeQL library for Java/Kotlin
codeql/java-all 5.0.1-dev (changelog, source)
Search

Predicate RequestForgeryConfig::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.

Import path

import semmle.code.java.security.RequestForgeryConfig
predicate observeDiffInformedIncrementalMode()