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
|
b361b0f3c3
|
Merge pull request #20310 from MathiasVP/add-comptr-model-now-with-more-models
C++: Add `ComPtr` conversion operators
|
2025-08-29 16:45:39 +02:00 |
|
Jeroen Ketema
|
277f5efa9c
|
C++: Update dbscheme stats file
|
2025-08-29 11:13:59 +02:00 |
|
Jeroen Ketema
|
6b580ac12d
|
C++: Update expected test results
|
2025-08-29 10:57:03 +02:00 |
|
Jeroen Ketema
|
a145e52faf
|
C++: Add uninitialized local test
|
2025-08-29 10:55:10 +02:00 |
|
REDMOND\brodes
|
74ce7cd188
|
Crypto: Moving all data flow analyses to taint tracking.
|
2025-08-28 20:40:05 -04: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
|
ddf0f37dac
|
C++: Accept test changes.
|
2025-08-28 16:58:49 +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
|
f135ed957d
|
C++: Add testcases with missing model.
|
2025-08-28 16:54:46 +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
|
4116292888
|
C++: Accept test changes.
|
2025-08-28 12:13:19 +02:00 |
|
Mathias Vorreiter Pedersen
|
2033552bb2
|
C++: Handle conversions in new initializers.
|
2025-08-28 12:13:02 +02:00 |
|
Mathias Vorreiter Pedersen
|
d0e766da3e
|
C++: Add a testcase with invalid IR.
|
2025-08-28 12:06:21 +02:00 |
|
Mathias Vorreiter Pedersen
|
bebfe03166
|
C++: Add missing model and accept test changes.
|
2025-08-27 15:15:26 +02:00 |
|
Mathias Vorreiter Pedersen
|
8c07a3e552
|
C++: Add testcase with missing model.
|
2025-08-27 15:12:52 +02:00 |
|
Mathias Vorreiter Pedersen
|
7c05622a91
|
C++: Add missing type and accept test changes.
|
2025-08-27 14:41:00 +02:00 |
|
Mathias Vorreiter Pedersen
|
96b6986660
|
C++: Fix duplicated entries.
|
2025-08-27 14:35:45 +02:00 |
|
Mathias Vorreiter Pedersen
|
9e9f6dd11a
|
C++: Accept test changes.
|
2025-08-27 14:18:21 +02:00 |
|
Mathias Vorreiter Pedersen
|
246ed9d30b
|
C++: Add a model for ComPtr.
|
2025-08-27 14:18:12 +02:00 |
|
Mathias Vorreiter Pedersen
|
6f64129b04
|
C++: Add ComPtr tests.
|
2025-08-27 14:05:13 +02:00 |
|
Jeroen Ketema
|
fd752d36cb
|
C++: Add missing QLDoc
|
2025-08-27 13:48:10 +02:00 |
|
Jeroen Ketema
|
97d3982061
|
C++: Add change note
|
2025-08-27 13:42:46 +02:00 |
|
Jeroen Ketema
|
9b19ccf884
|
C++: Update dbscheme stats file
|
2025-08-27 12:52:26 +02:00 |
|
REDMOND\brodes
|
7c8177de97
|
Crypto: Added missing ArtifactPassthrough.qll (forgot to add to merged in branch). Acronym casing fix.
|
2025-08-26 17:12:21 -04:00 |
|
Jeroen Ketema
|
896a802194
|
C++: Add upgrade and downgrade scripts
|
2025-08-26 23:12:15 +02:00 |
|
Jeroen Ketema
|
e20ce57023
|
C++: Expose PCH file creation as usage in QL
|
2025-08-26 22:12:27 +02:00 |
|
Jeroen Ketema
|
e9b00f1e0d
|
C++: Add tables that represent the creation and use of PCH files
This allows a use to be linked to a creation.
|
2025-08-26 22:12:12 +02:00 |
|
REDMOND\brodes
|
938b47c2ad
|
Crypto: Debug missing hashes associated with HMAC. EVP_PKEY_get1_RSA is now just a passthrough, it is not a known implicit operation call. Some final operations generating null outputs are now removed from possible final operartions (typically used to determine buffer lenghth and not actually performing the operation). Misc. false positive/error fixes and code clean up, and added missing models.
|
2025-08-26 16:07:04 -04:00 |
|
REDMOND\brodes
|
422352c632
|
Crypto: Continued refactoring of operation steps and bug fixes.
|
2025-08-26 11:49:26 -04:00 |
|
REDMOND\brodes
|
48dc280e6c
|
Crypto: Fix issue with OAEP padding edges regressing.
|
2025-08-26 08:51:52 -04:00 |
|
Jeroen Ketema
|
54f264851a
|
Merge branch 'main' into cpp/use-flow-state-inout-barriers
|
2025-08-26 11:24:32 +02:00 |
|
Jeroen Ketema
|
75786e9a71
|
C++: Revert changes to cpp/constant-array-overflow
It is not clear that this does what we want here, and the query is severly
broken in any case.
|
2025-08-26 10:43:54 +02:00 |
|
REDMOND\brodes
|
5d29240f27
|
Crypto: OperationStep overhaul to account for errors and missing interproc flow.
|
2025-08-25 16:59:09 -04:00 |
|
Jeroen Ketema
|
a104600d4d
|
Merge branch 'main' into cpp/use-flow-state-inout-barriers
|
2025-08-25 17:04:30 +02:00 |
|
Jeroen Ketema
|
0752c07bc1
|
C++: Update expected test results after extractor changes
|
2025-08-25 15:56:00 +02:00 |
|
REDMOND\brodes
|
b7ceeb399f
|
Crypto: nodes.expected update and removed dead code from Language.qll
|
2025-08-22 14:50:31 -04:00 |
|
REDMOND\brodes
|
ec7e41cb30
|
Crypto: Fixed issues in CBOM representations (gaps in the underlying model) and simplified unit tests in terms of the graph complexity to aid visual assessments of model correctness.
|
2025-08-21 15:05:45 -04:00 |
|
Chris Smowton
|
1829060fab
|
Merge remote-tracking branch 'origin/main' into smowton/admin/merge-rc319-into-main
|
2025-08-21 16:33:37 +01:00 |
|
Mathias Vorreiter Pedersen
|
dfda5a0793
|
Merge pull request #20249 from MathiasVP/type-tracking-for-cpp-3
C++: Use the shared type-tracking library for virtual dispatch resolution
|
2025-08-21 11:14:12 +02:00 |
|