github-actions[bot]
|
d2130a589b
|
Release preparation for version 2.23.2
|
2025-09-29 10:28:45 +00:00 |
|
Simon Friis Vindum
|
7d6e2060e5
|
Adapt all languages to changes in shared library
|
2025-09-22 14:18:58 +02:00 |
|
github-actions[bot]
|
4e8343664f
|
Post-release preparation for codeql-cli-2.23.1
|
2025-09-17 10:13:40 +00:00 |
|
github-actions[bot]
|
02a1b1efcb
|
Release preparation for version 2.23.1
|
2025-09-16 14:14:42 +00:00 |
|
Ian Lynagh
|
cc72314219
|
C++: Tweak a release note
|
2025-09-15 16:26:32 +01:00 |
|
Mathias Vorreiter Pedersen
|
417e79c3c0
|
Merge pull request #20382 from MathiasVP/simplify-ssl-result-not-checked
C++: Simplify `cpp/certificate-not-checked`
|
2025-09-09 12:23:39 +01:00 |
|
Mathias Vorreiter Pedersen
|
702d6d80c4
|
Update cpp/ql/lib/semmle/code/cpp/controlflow/IRGuards.qll
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
|
2025-09-08 16:19:33 +01:00 |
|
Mathias Vorreiter Pedersen
|
9f47996448
|
C++: Lift a few more predicates to expression guards.
|
2025-09-08 12:28:18 +01:00 |
|
Mathias Vorreiter Pedersen
|
4645bd766a
|
C++: Sync identical files.
|
2025-09-04 19:27:31 +01:00 |
|
Mathias Vorreiter Pedersen
|
a551a55ca0
|
C++: Get rid of a parenthesis pair.
|
2025-09-04 19:27:23 +01:00 |
|
Mathias Vorreiter Pedersen
|
3c35e1e6ee
|
C++: Require a unique IRFunction for each value number case and assign instructions with a non-unique IRFUnction a unique value number.
|
2025-09-04 19:26:42 +01:00 |
|
Mathias Vorreiter Pedersen
|
76f2c6a9f1
|
C++: Remove the IRFunction column from the TUniqueValueNumber branch. The next commits will protect the recursion from instructions which has multiple IRFunctions and assign such instructions a unique value number so it won't make sense for them to have an IRFunction column.
|
2025-09-04 19:10:22 +01:00 |
|
Jeroen Ketema
|
af82da5db3
|
Merge pull request #20350 from michaelnebel/cpp/ql4qlexperimental
C++: Fix some Ql4Ql violations (crypto).
|
2025-09-04 16:21:44 +02:00 |
|
Michael Nebel
|
64d68feab3
|
Merge pull request #20325 from michaelnebel/cpp/ql4ql
C++: Fix some Ql4Ql violations.
|
2025-09-04 14:17:11 +02:00 |
|
Michael Nebel
|
61e8ad264f
|
C++: Address review comments.
|
2025-09-04 12:52:46 +02:00 |
|
Michael Nebel
|
83d53baf82
|
C++: Fix some Ql4Ql violations.
|
2025-09-03 08:19:18 +02:00 |
|
Michael Nebel
|
462d639627
|
C++: Fix some Ql4Ql violations.
|
2025-09-03 08:13:20 +02:00 |
|
Jeroen Ketema
|
ab3ad20a1e
|
Merge pull request #20319 from jketema/ir-vla-sizeof
C++: Support `sizeof` VLAs in the IR
|
2025-09-02 17:29:18 +02:00 |
|
Jeroen Ketema
|
8de1ed0d85
|
C++: Address review comments
|
2025-09-02 17:03:48 +02:00 |
|
Arthur Baars
|
0bb7fdccf6
|
Merge pull request #20347 from github/post-release-prep/codeql-cli-2.23.0
Post-release preparation for codeql-cli-2.23.0
|
2025-09-02 14:14:03 +02:00 |
|
github-actions[bot]
|
e8a2600a0c
|
Post-release preparation for codeql-cli-2.23.0
|
2025-09-02 11:46:23 +00:00 |
|
Jeroen Ketema
|
9431b0c754
|
C++: Add change note for new VlaDeclStmt predicates
|
2025-09-02 13:17:26 +02:00 |
|
github-actions[bot]
|
0bfa93828b
|
Release preparation for version 2.23.0
|
2025-09-02 11:09:32 +00:00 |
|
Jeroen Ketema
|
f4df3881f8
|
C++: Handle *& sequences in sizeof VLA expressions
|
2025-09-02 12:29:24 +02:00 |
|
Jeroen Ketema
|
438cc961da
|
C++: Document TranslatedSizeofExpr
|
2025-09-02 12:29:21 +02:00 |
|
Jeroen Ketema
|
f68d3477d4
|
C++: Output necessary conversions in the sizeof VLA IR
|
2025-09-02 12:29:17 +02:00 |
|
Jeroen Ketema
|
f0f66c6d58
|
C++: Minor refactor
* Introduce new instruction tag for the base size
* Introduce some convenience predicates on `VlaDeclStmt`
|
2025-09-02 12:29:15 +02:00 |
|
Jeroen Ketema
|
6a9324fab0
|
C++: Fix obtaining the base type of a VLA
|
2025-09-02 12:29:13 +02:00 |
|
Jeroen Ketema
|
6e8f44da42
|
C++: Handle sizeof VLAs with typedefs
|
2025-09-02 12:29:09 +02:00 |
|
Jeroen Ketema
|
fdab63fd5f
|
C++: Handle ArrayExprs in sizeof VLAs
|
2025-09-02 12:29:04 +02:00 |
|
Jeroen Ketema
|
d9320b3c16
|
C++: Support sizeof VLAs in the IR
|
2025-09-02 12:28:59 +02:00 |
|
Anders Schack-Mulligen
|
144e34c669
|
Shared: Use shared SuccessorType in shared Cfg and BasicBlock libs.
|
2025-09-01 13:43:32 +02:00 |
|
Anders Schack-Mulligen
|
70a871c1e5
|
Merge pull request #20253 from aschackmull/shared/basicblock-signature2
Shared: Add and use a signature for basic blocks
|
2025-09-01 12:39:33 +02:00 |
|
Jeroen Ketema
|
93f4721418
|
Merge pull request #20316 from jketema/stats
C++: Update dbscheme stats file
|
2025-09-01 11:54:43 +02:00 |
|
Anders Schack-Mulligen
|
09b2c5abf0
|
BasicBlock: Replace entryBlock predicate with subclass.
|
2025-09-01 11:48:44 +02:00 |
|
Anders Schack-Mulligen
|
6ffb9b129f
|
C++: Extend final IRBlock
|
2025-09-01 11:26:36 +02:00 |
|
Anders Schack-Mulligen
|
a7b2a2fa9f
|
C++: Sync files.
|
2025-09-01 11:26:35 +02:00 |
|
Anders Schack-Mulligen
|
f459ddc40a
|
Languages: Adapt to api changes.
|
2025-09-01 11:26:33 +02:00 |
|
Anders Schack-Mulligen
|
bb3abc815f
|
SSA: Update input to use member predicates.
|
2025-09-01 11:19:48 +02:00 |
|
Jeroen Ketema
|
277f5efa9c
|
C++: Update dbscheme stats file
|
2025-08-29 11:13:59 +02:00 |
|
Jeroen Ketema
|
b8917c8c19
|
Merge branch 'main' into add-comptr-model-now-with-more-models
|
2025-08-28 17:15:06 +02:00 |
|
Mathias Vorreiter Pedersen
|
b9cd7a80f9
|
C++: Fix conflation in models.
|
2025-08-28 17:10:06 +02:00 |
|
Mathias Vorreiter Pedersen
|
759e339444
|
C++: Add change note.
|
2025-08-28 17:02:26 +02:00 |
|
Mathias Vorreiter Pedersen
|
e59de9a3d6
|
C++: Add models for the remaining member functions (and conversions) in ComPtr.
|
2025-08-28 16:56:39 +02:00 |
|
Mathias Vorreiter Pedersen
|
3e78572a3a
|
C++: Drive-by fix: Add missing '@'.
|
2025-08-28 16:54:49 +02:00 |
|
Mathias Vorreiter Pedersen
|
2c2b1e4116
|
Merge pull request #20306 from MathiasVP/fix-new-initializer-bug
C++: Fix IR construction for implicit conversions in `new` initializers
|
2025-08-28 16:40:37 +02:00 |
|
Jeroen Ketema
|
1847a450cc
|
Merge pull request #20298 from jketema/pch-expose
C++: Add class representing PCH files
|
2025-08-28 15:33:20 +02:00 |
|
Jeroen Ketema
|
31126649a9
|
Update cpp/ql/lib/semmle/code/cpp/PchFile.qll
Co-authored-by: Idriss Riouak <idrissrio@github.com>
|
2025-08-28 13:10:39 +02:00 |
|
Mathias Vorreiter Pedersen
|
2033552bb2
|
C++: Handle conversions in new initializers.
|
2025-08-28 12:13:02 +02:00 |
|
Mathias Vorreiter Pedersen
|
bebfe03166
|
C++: Add missing model and accept test changes.
|
2025-08-27 15:15:26 +02:00 |
|