Owen Mansel-Chan
656ebab776
Allow MaD barriers
...
This commit was done by Opus 4.5 with the following prompt:
In the commit 004d40ee93
2026-01-21 14:45:05 +00:00
Mathias Vorreiter Pedersen
6ae1ea73f7
Merge pull request #21185 from MathiasVP/mad-cpp-guards
...
C++: Support models-as-data barriers and barrier guards
2026-01-21 12:13:49 +00:00
Jeroen Ketema
701569bb20
Update cpp/ql/lib/semmle/code/cpp/Preprocessor.qll
...
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com >
2026-01-20 16:05:51 +01:00
Jeroen Ketema
b35271a2ca
C++: Add upgrade and downgrade script
2026-01-20 15:40:24 +01:00
Jeroen Ketema
28047fe625
C++: Update dbscheme stats file
2026-01-20 14:39:00 +01:00
Jeroen Ketema
e7044061fb
C++: Support C23/C++26 #embed preprocessor directives
2026-01-20 14:38:58 +01:00
Ian Lynagh
49ced5fd9d
C++: Add up/downgrade scripts
2026-01-20 11:57:29 +00:00
Ian Lynagh
7d6a1f72d5
C++: Use more standard shared dbscheme sections
...
We now use the shared "Overlay support" and "Database metadata".
2026-01-20 11:56:14 +00:00
github-actions[bot]
48475e66af
Post-release preparation for codeql-cli-2.24.0
2026-01-19 15:49:08 +00:00
github-actions[bot]
4142b9c4ce
Release preparation for version 2.24.0
2026-01-19 14:49:14 +00:00
Mathias Vorreiter Pedersen
c11b464492
C++: Autoformat.
2026-01-19 11:58:11 +00:00
Mathias Vorreiter Pedersen
c47a9ddf83
Apply suggestions from code review
...
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com >
2026-01-19 11:46:42 +00:00
Mathias Vorreiter Pedersen
7aca94b1ca
C++: Add change note.
2026-01-19 11:43:59 +00:00
Mathias Vorreiter Pedersen
c70633a0f7
C++: Fix Code Scanning alert.
2026-01-19 11:41:26 +00:00
Mathias Vorreiter Pedersen
a11b271d6e
C++: Finish up implementation of MaD barriers.
2026-01-19 11:30:23 +00:00
Anders Schack-Mulligen
48254800b1
WIP
...
C++: Add support for MaD barriers and barrier guards.
2026-01-19 11:30:21 +00:00
Mathias Vorreiter Pedersen
07ac8a5d81
C++: Parameterize the BarrierGuard modules. This is useful for barrier guards with flow states and will be necessary in the next commit for adding MaD specified barriers.
2026-01-19 11:30:19 +00:00
Mathias Vorreiter Pedersen
2b31928c7b
C++: Add MaD barrier guard tests.
2026-01-19 11:30:17 +00:00
Mathias Vorreiter Pedersen
dc7ce3fba3
Merge pull request #21171 from MathiasVP/fix-conflation-in-guards
...
C++: Fix conflation in barrier guards
2026-01-19 11:29:05 +00:00
Mathias Vorreiter Pedersen
f05bff01e4
C++: Switch another 'DataFlowType' to 'Type'.
2026-01-16 12:42:33 +00:00
Mathias Vorreiter Pedersen
08a6b99cfd
C++: Add change note.
2026-01-16 12:41:20 +00:00
Mathias Vorreiter Pedersen
5e9fd12d8c
Update cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll
...
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com >
2026-01-16 12:25:12 +00:00
Mathias Vorreiter Pedersen
6da7890ff5
C++: Add indirect barrier guard to 'cpp/unbounded-write' to prevent FPs after fixing conflation.
2026-01-15 18:31:54 +00:00
Mathias Vorreiter Pedersen
28681508f3
C++: Fix bug and accept test changes.
2026-01-15 11:17:15 +00:00
Mathias Vorreiter Pedersen
27a437a514
C++: Modify test to reveal a bug.
2026-01-15 11:16:15 +00:00
Jeroen Ketema
3327193a11
Merge pull request #21164 from jketema/jketema/builtin
...
C++: More builtins and information regarding this param refs
2026-01-15 08:21:01 +01:00
Jeroen Ketema
17a453bb33
Merge pull request #21126 from jketema/subscript
...
C++: Add predicates to support C++23 multidimensional subscript operators
2026-01-14 14:48:14 +01:00
Jeroen Ketema
1dacd83915
C++: Update dbscheme stats file
2026-01-14 13:35:53 +01:00
Jeroen Ketema
7a13cbae3f
C++: Add upgrade and downgrade scripts
2026-01-14 13:35:52 +01:00
Jeroen Ketema
f6b720b37b
C++: Add change note
2026-01-14 13:35:51 +01:00
Jeroen Ketema
047fa068ff
C++: Add isThisAccess predicate to ParamAccessForType
2026-01-14 13:35:50 +01:00
Jeroen Ketema
bb33ea383c
C++: Add change note for new builtins
2026-01-14 13:35:49 +01:00
Jeroen Ketema
93535d1c86
C++: Add tests for new builtin operations
2026-01-14 13:35:47 +01:00
Jeroen Ketema
3d959abdeb
C++: Support new builtin operations
2026-01-14 13:35:46 +01:00
Jeroen Ketema
54f75653ba
C++: Update test expectations after extractor changes
2026-01-14 12:01:51 +01:00
Jeroen Ketema
f4980bede3
Update cpp/ql/lib/change-notes/2026-01-02-decimal-removal.md
2026-01-13 16:11:11 +01:00
Jeroen Ketema
9ba73ba4f0
C++: Update stats file
2026-01-13 16:11:10 +01:00
Jeroen Ketema
ffdd6f7d91
C++: Add change note
2026-01-13 16:11:09 +01:00
Jeroen Ketema
273f517a37
C++: Remove decimal types from the dbscheme
2026-01-13 16:11:08 +01:00
Jeroen Ketema
a20f0a11e8
C++: No longer expose _Decimal{32,64,128}
2026-01-13 16:11:06 +01:00
Jeroen Ketema
d20cd68a05
C++: Update expected test results after extractor changes
2026-01-13 16:11:05 +01:00
Ian Lynagh
dcd0a69759
Merge remote-tracking branch 'upstream/main' into igfoo/mb
2026-01-13 01:01:35 +00:00
Simon Friis Vindum
3a135888c7
C++: Improve bounds from inequalities on integers
2026-01-09 10:26:36 +01:00
Simon Friis Vindum
9af432d2f9
C++: Add simple range analysis tests for inequalities
2026-01-09 10:12:36 +01:00
Jeroen Ketema
72f1aa9381
C++: Add change notes
2026-01-08 13:59:39 +01:00
Jeroen Ketema
9ceb091f85
C++: Update predicate after getAnArrayOffset/0 deprecation
2026-01-08 13:54:02 +01:00
Jeroen Ketema
4c3fb0c7c4
C++: Deprecate getArrayOffset/0
2026-01-08 13:22:38 +01:00
Jeroen Ketema
e0f8b1254e
C++: Update expected test results
2026-01-08 13:13:20 +01:00
Jeroen Ketema
3907fc7e5a
C++: Add predicates to support multidimensional subscript operators
2026-01-08 13:13:10 +01:00
Simon Friis Vindum
26bd332617
Merge pull request #21113 from paldepind/cpp/range-analysis-float-ceil
...
C++: Remove `safeFloor` in simple range analysis
2026-01-08 13:07:30 +01:00
