copilot-swe-agent[bot]
|
12dc4b250f
|
C++: Implement POSIX equivalence classes
|
2026-07-23 10:24:06 +00:00 |
|
copilot-swe-agent[bot]
|
afde8d9fc5
|
C++: Implement POSIX collating symbols
|
2026-07-23 10:22:15 +00:00 |
|
copilot-swe-agent[bot]
|
53a5473101
|
C++: Implement \0 NUL escape
|
2026-07-23 10:19:10 +00:00 |
|
copilot-swe-agent[bot]
|
31ae5fe021
|
C++: Implement \cX control escapes
|
2026-07-23 10:17:31 +00:00 |
|
copilot-swe-agent[bot]
|
8e6b168730
|
C++: Remove lookbehind assertions
|
2026-07-23 10:15:43 +00:00 |
|
copilot-swe-agent[bot]
|
0323da39c9
|
C++: Remove named backreferences
|
2026-07-23 10:13:23 +00:00 |
|
copilot-swe-agent[bot]
|
908764e603
|
C++: Remove named capture groups
|
2026-07-23 10:12:01 +00:00 |
|
copilot-swe-agent[bot]
|
dda4b00922
|
C++: Remove single-quote named capture groups
|
2026-07-23 10:10:15 +00:00 |
|
copilot-swe-agent[bot]
|
d3b51dd3a3
|
C++: Remove Ruby-style (?#...) comment groups
|
2026-07-23 10:09:02 +00:00 |
|
copilot-swe-agent[bot]
|
1a0b4cd646
|
C++: Remove Ruby-style \p and \P named character properties
|
2026-07-23 10:07:51 +00:00 |
|
copilot-swe-agent[bot]
|
72bc7170ff
|
C++: Remove Ruby-only \h and \H character class escapes
|
2026-07-23 10:06:02 +00:00 |
|
copilot-swe-agent[bot]
|
f75d66dc91
|
C++: Remove Ruby-only \A/\Z/\z/\G anchors from regex grammar
|
2026-07-23 10:04:43 +00:00 |
|
copilot-swe-agent[bot]
|
3444d2ef87
|
C++: Fix regex term location offsets for all string literal spellings
|
2026-07-23 10:02:55 +00:00 |
|
Jeroen Ketema
|
e672fbb849
|
C++: Make regex library compile
|
2026-07-23 09:58:54 +00:00 |
|
copilot-swe-agent[bot]
|
07449054cc
|
C++: Copy Ruby regex library and tests verbatim
|
2026-07-23 09:58:50 +00: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
|
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
|
06f54d1bbb
|
C++: Add a TODO comment to remove support for unqualified field names.
|
2026-06-30 13:55:26 +01:00 |
|
Mathias Vorreiter Pedersen
|
396bea6e6a
|
Update cpp/ql/lib/semmle/code/cpp/dataflow/internal/FlowSummaryImpl.qll
Co-authored-by: Tom Hvitved <hvitved@github.com>
|
2026-06-30 13:44:14 +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
|
2625c304bf
|
C++: Support fully qualified field names in MaD.
|
2026-06-29 18:02:20 +01:00 |
|
Mathias Vorreiter Pedersen
|
662f522032
|
C++: Properly instantiate the new reverse flow feature.
|
2026-06-23 20:33:31 +01:00 |
|
Mathias Vorreiter Pedersen
|
076b01cbfc
|
C++: Fixes after changes to the flow summary API.
|
2026-06-23 20:33:08 +01:00 |
|
Jeroen Ketema
|
6d0968744b
|
C++: Fix NameQualifyingElement db inconsistency
|
2026-06-10 14:35:36 +02:00 |
|
Mathias Vorreiter Pedersen
|
2d581504f7
|
C++: Fix Copilot comments.
|
2026-05-28 13:34:18 +02:00 |
|
Mathias Vorreiter Pedersen
|
8393b40b59
|
C++: Use the new extensionals to map template functions and classes to their fully templated versions.
|
2026-05-28 13:34:12 +02:00 |
|
Mathias Vorreiter Pedersen
|
5f54a8691d
|
C++: Small cleanup. This has no effect on semantics.
|
2026-05-27 17:16:22 +02:00 |
|
Jeroen Ketema
|
7862922e5c
|
C++: Remove deprecated code
|
2026-05-26 17:54:51 +02:00 |
|
Jeroen Ketema
|
3c4e22a8ba
|
Merge pull request #21870 from jketema/jketema/generated
C++: Add ability to see if one template was generated from another
|
2026-05-22 15:46:06 +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 |
|
Jeroen Ketema
|
0e6257de2d
|
C++: Fix QLDoc wording
|
2026-05-22 13:13:25 +02:00 |
|
Jeroen Ketema
|
a027665ab4
|
C++: Add ability to see if one template was generated from another
|
2026-05-22 13:13:21 +02: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
|
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 |
|
Mathias Vorreiter Pedersen
|
c6ce13a012
|
C++: Simplify recursion in 'PhiCycle::isCertain' and do not restrict the definition to be a 'PhiNode'.
|
2026-05-19 15:27:23 +01:00 |
|
Mathias Vorreiter Pedersen
|
d93de54397
|
C++: Consistent use of 'this.getIndirection()' in 'toString'.
|
2026-05-19 12:16:37 +01:00 |
|
Jeroen Ketema
|
22a8123ee1
|
Merge pull request #21860 from jketema/jketema/alias-template
C++: Support alias templates
|
2026-05-19 10:46:56 +02:00 |
|
Mathias Vorreiter Pedersen
|
2c156994de
|
C++: Add two more 'fopen'-like models.
|
2026-05-18 14:47:11 +01:00 |
|
Mathias Vorreiter Pedersen
|
5f10a88208
|
C++: Handle size arguments in 'getOutputArgument'.
|
2026-05-18 14:06:18 +01:00 |
|
Mathias Vorreiter Pedersen
|
5add24be59
|
C++: Add scanf_s models.
|
2026-05-18 14:06:16 +01:00 |
|
Mathias Vorreiter Pedersen
|
16235d7aca
|
C++: Add a 'call' column to 'hasRemoteFlowSource' and 'hasLocalFlowSource' to support modeling of 'scanf_s'.
|
2026-05-18 14:06:05 +01:00 |
|
Jeroen Ketema
|
d14b8064b0
|
Update cpp/ql/lib/semmle/code/cpp/TypedefType.qll
|
2026-05-18 15:04:03 +02:00 |
|
Jeroen Ketema
|
7636bf560e
|
Potential fix for pull request finding
Co-authored-by: Copilot Autofix powered by AI <175728472+Copilot@users.noreply.github.com>
|
2026-05-18 15:02:34 +02:00 |
|
Jeroen Ketema
|
c2e2770bbf
|
C++: Simplify type alias class naming
|
2026-05-18 14:22:04 +02:00 |
|
Jeroen Ketema
|
336bbc229e
|
C++: Add support for alias templates
Add other missing cases to `isFromTemplateInstantiationRec` and
`isFromUninstantiatedTemplateRec` while here.
|
2026-05-16 09:11:54 +02:00 |
|
Mathias Vorreiter Pedersen
|
4396e66f35
|
C++: Fix FP by providing an implementation of 'hasSocketInput'.
|
2026-05-15 21:12:34 +01:00 |
|