hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-16 08:43:11 +01:00
Code Issues Packages Projects Releases Wiki Activity

Ruby/QL: add discard predicates for locations

Browse Source
This commit is contained in:
Nick Rolfe
2025-06-30 10:41:34 +01:00
parent f714e5c5ba
commit 7c5b186c71
4 changed files with 118 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
ql/ql/src/codeql_ql/ast/internal/TreeSitter.qll
View File

@@ -9,6 +9,20 @@ import codeql.Locations as L
overlay[local]
private predicate isOverlay() { databaseMetadata("isOverlay", "true") }
/** Holds if `loc` is in the `file` and is part of the overlay base database. */
overlay[local]
private predicate discardableLocation(@file file, @location_default loc) {
not isOverlay() and locations_default(loc, file, _, _, _, _)
}
/** Holds if `loc` should be discarded, because it is part of the overlay base and is in a file that was also extracted as part of the overlay database. */
overlay[discard_entity]
private predicate discardLocation(@location_default loc) {
exists(@file file, string path | files(file, path) |
discardableLocation(file, loc) and overlayChangedFiles(path)
)
}
module QL {
/** The base class for all AST nodes */
class AstNode extends @ql_ast_node {