remove an FP in overly-large-range for [@-Z]

2026-04-30 11:15:13 +02:00 · 2024-01-25 14:15:06 +01:00
parent 2333b8db5b
commit 396da117bb
2 changed files with 6 additions and 1 deletions
--- a/shared/regex/codeql/regex/OverlyLargeRangeQuery.qll
+++ b/shared/regex/codeql/regex/OverlyLargeRangeQuery.qll
@@ -132,6 +132,9 @@ module Make<RegexTreeViewSig TreeImpl> {
    or
    // the range 0123456789:;<=>? is intentional
    result.isRange("0", "?")
+    or
+    // [@-Z] is intentional, it's the same as [A-Z@]
+    result.isRange("@", "Z")
  }

  /** Gets a char between (and including) `low` and `high`. */