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 |
|
Mathias Vorreiter Pedersen
|
c726285cac
|
C++: Sync identical files.
|
2025-08-03 12:17:31 +01:00 |
|
Mathias Vorreiter Pedersen
|
0d9e298250
|
C++: Specifier-only converting instructions preserve GVNs.
|
2025-08-03 12:17:19 +01:00 |
|
Mathias Vorreiter Pedersen
|
73e4bfdd3e
|
C++: Fix missing flow by also generating final global uses for functions that have a post-update node for the global variable.
|
2025-08-02 16:41:23 +01:00 |
|
Mathias Vorreiter Pedersen
|
7561190bd1
|
C++: Fix type errors in C code.
|
2025-08-01 16:09:42 +01:00 |
|
Mathias Vorreiter Pedersen
|
0e9286dd34
|
C++: Fix QLDoc.
|
2025-08-01 11:37:12 +01:00 |
|
Mathias Vorreiter Pedersen
|
b70836e241
|
C++: Modify the API to not expose dataflow nodes.
|
2025-08-01 11:34:49 +01:00 |
|
Mathias Vorreiter Pedersen
|
33d05984c8
|
C++: Stick the exposed SSA classes into a public SSA module.
|
2025-08-01 11:34:47 +01:00 |
|
Mathias Vorreiter Pedersen
|
32e6d0934e
|
C++: Drive-by fix: These files imported both the public dataflow files and the internal ones. Let's only import the internal ones.
|
2025-08-01 11:34:45 +01:00 |
|
Mathias Vorreiter Pedersen
|
7ede3aa516
|
C++: Fix imports.
|
2025-08-01 10:35:34 +01:00 |
|
Mathias Vorreiter Pedersen
|
0d91622d18
|
C++: Rename SsaInternals to SsaImpl and SsaInternalsCommon to SsaImplCommon.
|
2025-08-01 10:34:14 +01:00 |
|
Mathias Vorreiter Pedersen
|
c8f4b287d1
|
C++: Add a comment on the old SSA library.
|
2025-07-31 14:07:38 +01:00 |
|
Mathias Vorreiter Pedersen
|
7e93b99ff9
|
C++: Add change note.
|
2025-07-31 13:57:19 +01:00 |
|