Skip to content

C++ regex parser: align with std::regex ECMAScript grammar and fix literal-location mapping #22227

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
Copilot wants to merge 26 commits into
base: main
Choose a base branch
from
Draft

C++ regex parser: align with std::regex ECMAScript grammar and fix literal-location mapping #22227

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
26 commits
Select commit Hold shift + click to select a range
fd28416
Initial plan
Copilot Jul 23, 2026
0744905
C++: Copy Ruby regex library and tests verbatim
Copilot Jul 21, 2026
e672fbb
C++: Make regex library compile
jketema Jul 21, 2026
b91b833
C++: Make regex test work
jketema Jul 21, 2026
7b2ce24
C++: Add location tests for all literal prefixes (pre-fix)
Copilot Jul 23, 2026
3444d2e
C++: Fix regex term location offsets for all string literal spellings
Copilot Jul 23, 2026
f75d66d
C++: Remove Ruby-only \A/\Z/\z/\G anchors from regex grammar
Copilot Jul 23, 2026
72bc717
C++: Remove Ruby-only \h and \H character class escapes
Copilot Jul 23, 2026
1a0b4cd
C++: Remove Ruby-style \p and \P named character properties
Copilot Jul 23, 2026
d3b51dd
C++: Remove Ruby-style (?#...) comment groups
Copilot Jul 23, 2026
dda4b00
C++: Remove single-quote named capture groups
Copilot Jul 23, 2026
908764e
C++: Remove named capture groups
Copilot Jul 23, 2026
0323da3
C++: Remove named backreferences
Copilot Jul 23, 2026
8e6b168
C++: Remove lookbehind assertions
Copilot Jul 23, 2026
cc45b07
C++: Add control-escape tests (pre-fix)
Copilot Jul 23, 2026
31ae5fe
C++: Implement \cX control escapes
Copilot Jul 23, 2026
c49213f
C++: Add NUL-escape tests (pre-fix)
Copilot Jul 23, 2026
53a5473
C++: Implement \0 NUL escape
Copilot Jul 23, 2026
ea561e2
C++: Add POSIX collating-symbol tests (pre-fix)
Copilot Jul 23, 2026
afde8d9
C++: Implement POSIX collating symbols
Copilot Jul 23, 2026
545d87a
C++: Add POSIX equivalence-class tests (pre-fix)
Copilot Jul 23, 2026
12dc4b2
C++: Implement POSIX equivalence classes
Copilot Jul 23, 2026
e631b08
C++: Replace non-standard \u{...} test with \uhhhh
Copilot Jul 23, 2026
85d46d5
C++: Add coverage for lazy quantifiers and \f/\v escapes
Copilot Jul 23, 2026
53ea488
C++: Verify [\b] is backspace inside character classes
Copilot Jul 23, 2026
3f59f48
C++: Add change note for std::regex ECMAScript parser alignment
Copilot Jul 23, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 4 additions & 0 deletions cpp/ql/lib/change-notes/2026-07-23-std-regex-ecmascript-parser.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
---
category: minorAnalysis
---
* The C++ regular-expression parser has been aligned to the ECMAScript grammar used by `std::regex`.
1 change: 1 addition & 0 deletions cpp/ql/lib/qlpack.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -10,6 +10,7 @@ dependencies:
codeql/mad: ${workspace}
codeql/quantum: ${workspace}
codeql/rangeanalysis: ${workspace}
codeql/regex: ${workspace}
codeql/ssa: ${workspace}
codeql/typeflow: ${workspace}
codeql/tutorial: ${workspace}
Expand Down
Loading