Module AlertFiltering
Provides the restrictAlertsTo and restrictAlertsToExactLocation extensible predicate to
restrict alerts to specific source locations, and the AlertFilteringImpl parameterized module
to apply the filtering.
Import path
import codeql.util.AlertFilteringPredicates
| restrictAlertsTo | Holds if the query may restrict its computation to only produce alerts that match the given line ranges. This predicate is used for implementing diff-informed queries for pull requests in GitHub Code Scanning. |
| restrictAlertsToExactLocation | Holds if the query may restrict its computation to only produce alerts that match the given character ranges. This predicate is suitable for testing, where we want to distinguish between alerts on the same line. |
Modules
| AlertFilteringImpl | Module for applying alert location filtering. |