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 |
|
Mathias Vorreiter Pedersen
|
e6cd27a992
|
C++: Skip non-Boolean instructions in the new inference step.
|
2025-08-13 16:20:21 +02:00 |
|
Mathias Vorreiter Pedersen
|
e67b6d6c9a
|
C++: Add another inference step.
|
2025-08-13 16:20:19 +02:00 |
|
Jeroen Ketema
|
f9f99a043c
|
Merge pull request #20126 from MathiasVP/fix-missing-global-flow
C++: Fix missing global variable flow
|
2025-08-11 11:54:35 +02:00 |
|
Mathias Vorreiter Pedersen
|
c8eb1cf826
|
C++: Add change note.
|
2025-08-11 11:28:53 +02:00 |
|
Mathias Vorreiter Pedersen
|
851cb04d36
|
Merge pull request #20193 from MathiasVP/fix-fp-in-overflow-buffer
C++: Fix FP in `cpp/overflow-buffer`
|
2025-08-11 10:45:06 +02:00 |
|
Mathias Vorreiter Pedersen
|
ccfcd90f08
|
Merge pull request #20156 from MathiasVP/value-numbering-for-noop-casts
C++: Value numbering for casts that only modify specifiers
|
2025-08-11 10:33:58 +02:00 |
|
Mathias Vorreiter Pedersen
|
56aacb1e55
|
Merge pull request #20145 from MathiasVP/fix-type-error-in-ir
C++: Fix missing `bool` -> `int` conversions in C code
|
2025-08-11 10:26:54 +02:00 |
|
Mathias Vorreiter Pedersen
|
d76ce4fb69
|
C++: Also handle reference types when computing 'trueSize'.
|
2025-08-08 15:12:45 +01:00 |
|
github-actions[bot]
|
fb4b0aac53
|
Post-release preparation for codeql-cli-2.22.3
|
2025-08-04 17:18:08 +00:00 |
|
github-actions[bot]
|
fd82aeb1f8
|
Release preparation for version 2.22.3
|
2025-08-04 15:47:57 +00:00 |
|
Mathias Vorreiter Pedersen
|
65b1b7f63e
|
C++: Add change note.
|
2025-08-03 12:17:37 +01:00 |
|