Jeroen Ketema
|
277f5efa9c
|
C++: Update dbscheme stats file
|
2025-08-29 11:13:59 +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
|
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 |
|
Mathias Vorreiter Pedersen
|
96b6986660
|
C++: Fix duplicated entries.
|
2025-08-27 14:35:45 +02:00 |
|
Mathias Vorreiter Pedersen
|
246ed9d30b
|
C++: Add a model for ComPtr.
|
2025-08-27 14:18:12 +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 |
|
REDMOND\brodes
|
5d29240f27
|
Crypto: OperationStep overhaul to account for errors and missing interproc flow.
|
2025-08-25 16:59:09 -04: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 |
|
Ben Rodes
|
65ff72719e
|
Merge branch 'main' into signature_model_refactor
|
2025-08-20 12:34:06 -04:00 |
|
Mathias Vorreiter Pedersen
|
70d3e69ce5
|
C++: Rename 'lambda' to 'virtual'.
|
2025-08-20 10:38:22 +02:00 |
|
Jeroen Ketema
|
c9f0e3a377
|
Apply suggestions from code review
|
2025-08-20 08:07:10 +02:00 |
|
Kristen Newbury
|
d630e32ce9
|
Format Customizations.qll
|
2025-08-19 15:27:29 -04:00 |
|
Kristen Newbury
|
49ef6939d4
|
Add extra Customizations files
|
2025-08-19 14:49:31 -04:00 |
|
Mathias Vorreiter Pedersen
|
02bf923f7e
|
C++: Add change note.
|
2025-08-19 13:57:15 +02:00 |
|
Mathias Vorreiter Pedersen
|
0631bd7466
|
C++: Add object/flow conflation for unions when resolving function pointers.
|
2025-08-19 13:57:13 +02:00 |
|
Mathias Vorreiter Pedersen
|
16508b1800
|
C++: Fix off-by-one error in getType on 'FinalGlobalValue' nodes and accept test changes.
|
2025-08-19 13:57:11 +02:00 |
|
Mathias Vorreiter Pedersen
|
cca5bd9ada
|
C++: Update 'mayBenefitFromCallContext' to not use the old virtual dispatch local flow predicate.
|
2025-08-19 13:57:07 +02:00 |
|
Mathias Vorreiter Pedersen
|
383799ce67
|
C++: Perform 6 rounds of virtual dispatch resolution like Java.
|
2025-08-19 13:57:05 +02:00 |
|
Mathias Vorreiter Pedersen
|
d4188d59a8
|
C++: Instantiate the type tracking module inside a reusable module like it's done in Java.
|
2025-08-19 13:57:03 +02:00 |
|
Mathias Vorreiter Pedersen
|
caf7464f3b
|
C++: Prefix with 'DataflowPrivate'.
|
2025-08-19 12:46:12 +02:00 |
|
Mathias Vorreiter Pedersen
|
fdb9f7ba2a
|
C++: Move these predicates to make the diff smaller.
|
2025-08-19 12:42:15 +02:00 |
|
Mathias Vorreiter Pedersen
|
42fcfca849
|
C++: Remove the old virtual dispatch case from 'defaultViableCallable' and slightly reorganize the code in preparation for the next commit.
|
2025-08-19 12:39:26 +02:00 |
|
Mathias Vorreiter Pedersen
|
af00e46fc8
|
C++: Mark fprintf and friends as a partial write of the stream argument.
|
2025-08-18 18:15:14 +02:00 |
|
Mathias Vorreiter Pedersen
|
4551875e2e
|
C++: Drive-by improvement: Use 'partialFlowFunc' since it is in scope anyway.
|
2025-08-18 18:10:35 +02:00 |
|
github-actions[bot]
|
42e3d31c49
|
Post-release preparation for codeql-cli-2.22.4
|
2025-08-18 14:42:42 +00:00 |
|
github-actions[bot]
|
90d29994c8
|
Release preparation for version 2.22.4
|
2025-08-18 14:06:09 +00:00 |
|
Mathias Vorreiter Pedersen
|
9c3bb87b89
|
C++: Add change note.
|
2025-08-13 16:42:39 +02:00 |
|
Mathias Vorreiter Pedersen
|
9ee313ff0a
|
C++: Remove code that is now subsumed.
|
2025-08-13 16:29:49 +02:00 |
|
Mathias Vorreiter Pedersen
|
bf4a84ba8f
|
C++: Drive-by: Add forgotten disjuncts involving '__builtin_expect'.
|
2025-08-13 16:29:42 +02:00 |
|