Module AlertFilteringImpl
Module for applying alert location filtering.
Import path
import codeql.util.AlertFilteringPredicates
| filterByLocation | Holds if the given location intersects the diff range. When that is the case, ensuring that alerts mentioning this location are included in the query results is a valid overapproximation of the requirements for diff-informed queries as documented under |
Parameters
| Location | LocationSig |