copilot-swe-agent[bot]
db58698394
Fix C++ regex term source locations for raw and encoding-prefixed literals
2026-07-20 10:00:13 +00:00
copilot-swe-agent[bot]
9fdf8b7b8e
Add location tests for the C++ regex parse-tree view
2026-07-20 09:24:17 +00:00
copilot-swe-agent[bot]
2bab816913
Remove redundant CompileCheck.ql to resolve dead-code alerts
2026-07-17 19:00:36 +00:00
copilot-swe-agent[bot]
4be7ff07c3
Convert ReDoS query tests to inline test expectations
2026-07-17 18:27:51 +00:00
copilot-swe-agent[bot]
1c810ede03
Replace non-ASCII characters (em/en dash, arrow) with ASCII equivalents in regex files
2026-07-17 17:32:30 +00:00
copilot-swe-agent[bot]
96951956fb
Fix "modelled" -> "modeled" spelling in regex PR files
2026-07-17 14:39:10 +00:00
copilot-swe-agent[bot]
8b12f32dff
Add BRE query test coverage and change note; regenerate .expected
2026-07-17 13:51:06 +00:00
copilot-swe-agent[bot]
c1cb146f40
Add POSIX BRE grammar support: BreRegExp + shared-core refactor
2026-07-17 13:35:37 +00:00
copilot-swe-agent[bot]
bc5cecf7d4
Add end-to-end ERE ReDoS query tests
2026-07-17 13:17:57 +00:00
copilot-swe-agent[bot]
9a3613ea04
Add POSIX ERE grammar support to the C++ regex parser
2026-07-17 13:01:15 +00:00
copilot-swe-agent[bot]
e0cc6795dc
Add isBacktrackingEngine gate excluding awk/grep/egrep from C++ ReDoS queries
2026-07-17 12:06:30 +00:00
copilot-swe-agent[bot]
d9f380d446
POSIX bracket soundness: opaque punct/cntrl/print/graph; non-recursive gate; adversarial tests
2026-07-17 10:18:17 +00:00
copilot-swe-agent[bot]
c1103b9b02
Fix C++ ECMAScript regex parser: recognize POSIX bracket sub-expressions; document multiline
2026-07-17 09:52:02 +00:00
copilot-swe-agent[bot]
00672d61c9
Expand cpp/polynomial-redos test coverage (Phase 3 follow-up)
2026-07-16 14:12:03 +00:00
copilot-swe-agent[bot]
8a8590c50c
Expand C++ ReDoS test coverage (Phase 4 follow-up)
2026-07-16 13:53:28 +00:00
copilot-swe-agent[bot]
d6c76aa261
Fix cpp/redos test: swap non-exponential (a|ab)* for (a*)* and populate expected
2026-07-16 13:32:37 +00:00
copilot-swe-agent[bot]
47969aece8
Add cpp/redos exponential ReDoS query (Phase 4)
2026-07-16 13:06:20 +00:00
copilot-swe-agent[bot]
84d7a2b585
Add cpp/polynomial-redos query (Phase 3)
2026-07-16 12:49:15 +00:00
copilot-swe-agent[bot]
f72bad70f9
Add C++ regex flow modeling and construction-site flags (Phase 2)
2026-07-16 11:21:29 +00:00
copilot-swe-agent[bot]
a27142d2d4
Add C++ regex parser and RegexTreeView (Phase 1)
2026-07-15 21:45:03 +00:00
Owen Mansel-Chan
19745e13b5
Fix some lines with // $ ... // $ MISSING:
...
Note that when a line is marked `// BAD [NOT DETECTED]` but actually has
an alert, I assume that the `[NOT DETECTED]` is outdated and should be
deleted.
2026-07-07 20:48:39 +01:00
Owen Mansel-Chan
9d9590623d
Address review comments
2026-07-07 20:48:36 +01:00
Owen Mansel-Chan
fa16728522
Fix comments in one test
2026-07-07 12:06:43 +01:00
Owen Mansel-Chan
76d8ae8694
Add MISSING: tag
2026-07-07 10:59:21 +01:00
Owen Mansel-Chan
843ac7c6b0
Add SPURIOUS: tags
2026-07-07 10:54:11 +01:00
Owen Mansel-Chan
a2c5d4c818
C++: Convert qlref tests to inline expectations
2026-07-07 09:49:50 +01:00
Mathias Vorreiter Pedersen
4f4cdf434b
Merge pull request #22061 from MathiasVP/mad-write-through-model
...
Shared: Support flow summaries from `ReturnValue`s
2026-07-02 12:38:44 +01:00
Mathias Vorreiter Pedersen
dbbcc1741c
C++: Delete now-unsupported MaD rows.
2026-06-30 17:48:31 +01:00
Mathias Vorreiter Pedersen
f37b3e77ff
Merge branch 'main' into remove-mad-support-for-variables
2026-06-30 17:38:37 +01:00
Mathias Vorreiter Pedersen
b7b731bab7
Merge branch 'main' into mad-write-through-model
2026-06-30 15:12:02 +01:00
Mathias Vorreiter Pedersen
0e05ea5153
C++: Remove whitespace.
2026-06-30 12:41:29 +01:00
Mathias Vorreiter Pedersen
449a3ac870
C++: Delete tests which are no longer relevant.
2026-06-30 12:39:31 +01:00
Mathias Vorreiter Pedersen
fc954c3e1a
C++: Remove support for marking variables as sources and sinks in MaD.
2026-06-30 12:30:40 +01:00
Mathias Vorreiter Pedersen
caaed72288
C++: Hide summary nodes that should be hidden and accept test changes.
2026-06-29 18:30:03 +01:00
Mathias Vorreiter Pedersen
08c383df6a
C++: Accept test changes.
2026-06-29 18:20:10 +01:00
Mathias Vorreiter Pedersen
49bde567dd
C++: Add tests with qualified names in MaD.
2026-06-29 18:02:17 +01:00
Mathias Vorreiter Pedersen
933338f627
C++: Accept test changes.
2026-06-23 20:33:34 +01:00
Mathias Vorreiter Pedersen
03c3ef9528
C++: Add tests with missing reverse flow.
2026-06-23 19:48:21 +01:00
Jeroen Ketema
6d0968744b
C++: Fix NameQualifyingElement db inconsistency
2026-06-10 14:35:36 +02:00
Jeroen Ketema
98f147556a
C++: Add namequalifier test with inconsistency
...
While where the remove the file restriction in QL.
2026-06-10 14:27:56 +02:00
Mathias Vorreiter Pedersen
22b08f1ea4
C++: Add a test with a kind of "partial function template" instantiation.
2026-05-31 12:47:31 +02:00
Mathias Vorreiter Pedersen
e18448dd59
C++: Add more tests.
2026-05-29 18:22:13 +02:00
Mathias Vorreiter Pedersen
9f211cebd5
C++: Accept test changes.
2026-05-28 13:34:16 +02:00
Jeroen Ketema
35364a087a
C++: Update expected test results after extractor changes
2026-05-27 10:23:16 +02:00
Mathias Vorreiter Pedersen
a7405bddaa
Merge pull request #21856 from MathiasVP/scanf-safe-functions
...
C++: Model secure versions of `scanf` as flow sources
2026-05-22 12:34:54 +01:00
Mathias Vorreiter Pedersen
a33af09244
C++: Add models for _fscanf_s_l, fwscanf_s and _fwscanf_s_l.
2026-05-20 18:59:04 +01:00
Mathias Vorreiter Pedersen
25d20399f3
C++: Add models for _scanf_s_l, wscanf_s and _wscanf_s_l.
2026-05-20 18:43:07 +01:00
Mathias Vorreiter Pedersen
e6c5f944ba
C++: Add missing format string part in test.
2026-05-20 18:13:35 +01:00
Mathias Vorreiter Pedersen
157424cca3
Merge pull request #21836 from MathiasVP/uncertain-def-more-complete
...
C++: Support reasoning about whether a phi node overwrites the entire buffer
2026-05-20 13:04:37 +01:00
Mathias Vorreiter Pedersen
f5113b1932
C++: Fix internal SCC edges and accept test changes.
2026-05-19 15:39:32 +01:00
