Mathias Vorreiter Pedersen
|
8691075aae
|
Update cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaInternals.qll
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
|
2025-07-31 13:52:21 +01:00 |
|
Mathias Vorreiter Pedersen
|
5a91aa2105
|
C++: Expose SSA definitions from dataflow.
|
2025-07-31 13:45:03 +01:00 |
|
Mathias Vorreiter Pedersen
|
1dae787605
|
C++: Drive-by fix suggested by Schack. This now matches the predicate in C#.
|
2025-07-31 12:58:05 +01:00 |
|
Anders Schack-Mulligen
|
3b8234ecec
|
SSA: Update data flow integration and BarrierGuard interface to use GuardValue.
|
2025-07-28 11:29:12 +02:00 |
|
Mathias Vorreiter Pedersen
|
5da7ae877b
|
Merge pull request #20115 from MathiasVP/add-more-windows-memcpy-functions
C++: Add some more Windows specific memory copy models
|
2025-07-23 16:10:56 +01:00 |
|
Mathias Vorreiter Pedersen
|
9d736723fb
|
C++: Add more Windows specific models for memcpy-like tings.
|
2025-07-23 13:45:20 +01:00 |
|
Mathias Vorreiter Pedersen
|
3a977b86d4
|
Update cpp/ql/lib/semmle/code/cpp/security/ProductFlowUtils/ProductFlowUtils.qll
Co-authored-by: Idriss Riouak <idrissrio@github.com>
|
2025-07-23 12:27:38 +01:00 |
|
Mathias Vorreiter Pedersen
|
5d6c4a63bb
|
Update cpp/ql/lib/semmle/code/cpp/security/ProductFlowUtils/ProductFlowUtils.qll
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
|
2025-07-23 11:53:55 +01:00 |
|
Mathias Vorreiter Pedersen
|
019447b681
|
C++: Add change note.
|
2025-07-23 11:49:07 +01:00 |
|
Mathias Vorreiter Pedersen
|
a1f4246c5f
|
C++: Extract the barriers from 'cpp/invalid-pointer-deref' into a library.
|
2025-07-22 18:35:29 +01:00 |
|
github-actions[bot]
|
37cc78255a
|
Post-release preparation for codeql-cli-2.22.2
|
2025-07-22 14:22:20 +00:00 |
|
Nick Rolfe
|
43d14c28c2
|
Tweak changenotes
|
2025-07-22 15:06:09 +01:00 |
|
github-actions[bot]
|
997547b8ef
|
Release preparation for version 2.22.2
|
2025-07-22 14:04:14 +00:00 |
|
Nick Rolfe
|
825c813095
|
Revert "Release preparation for version 2.22.2"
|
2025-07-22 14:33:45 +01:00 |
|
github-actions[bot]
|
deb035cf4e
|
Post-release preparation for codeql-cli-2.22.2
|
2025-07-22 09:36:07 +00:00 |
|
Nick Rolfe
|
74cd982aca
|
Tweak changenotes
|
2025-07-22 09:51:52 +01:00 |
|
github-actions[bot]
|
c8632b70b7
|
Release preparation for version 2.22.2
|
2025-07-21 16:45:45 +00:00 |
|
Nick Rolfe
|
ad9b637bec
|
Revert "Merge pull request #19994 from github/post-release-prep/codeql-cli-2.22.2"
This reverts commit e5b4a15e35, reversing
changes made to 33e63109bb.
|
2025-07-21 15:18:59 +01:00 |
|
Jeroen Ketema
|
29a6af4efd
|
C++: Fix instruction class name
|
2025-07-16 18:11:17 +02:00 |
|
Jeroen Ketema
|
f319381f27
|
C++: Support the spaceship operator in the IR
|
2025-07-16 17:53:55 +02:00 |
|
Mathias Vorreiter Pedersen
|
8b953e4f22
|
C++: No need for 'resolveCall' anymore.
|
2025-07-16 14:28:04 +01:00 |
|
Mathias Vorreiter Pedersen
|
df4b338c5d
|
C++: Add change notes.
|
2025-07-16 14:11:09 +01:00 |
|
Mathias Vorreiter Pedersen
|
ca913b452c
|
C++: Don't summarize calls through function pointers in FunctionWithWrappers.
|
2025-07-16 11:51:46 +01:00 |
|
Jeroen Ketema
|
529712122c
|
C++: Address review comments
|
2025-07-15 22:15:11 +02:00 |
|
Jeroen Ketema
|
a08d594371
|
C++: Introduce TypeidInstruction base class
|
2025-07-15 21:31:24 +02:00 |
|
Jeroen Ketema
|
54f11ca611
|
C++: Fix typo in comment
|
2025-07-15 20:40:57 +02:00 |
|
Jeroen Ketema
|
70bff4e726
|
C++: Fix typeid IR translation
|
2025-07-15 20:24:17 +02:00 |
|
Mathias Vorreiter Pedersen
|
c83895fdd2
|
Merge branch 'main' into fix-global-variable-recursion-fp
|
2025-07-14 16:08:46 +01:00 |
|
Mathias Vorreiter Pedersen
|
a825213c05
|
C++: Fix FP by not generating a global def entry node for variable 'v' in the 'IRfunction' for 'v' itself.
|
2025-07-14 15:22:52 +01:00 |
|
Jeroen Ketema
|
d82d5c23bf
|
Merge pull request #20026 from jketema/concept-fix
C++: Fix C++20 concept related class extensions
|
2025-07-13 10:20:10 +02:00 |
|
Mathias Vorreiter Pedersen
|
1da42cb590
|
Merge pull request #20023 from MathiasVP/dataflow-for-functors
C++: Better dataflow for function objects
|
2025-07-11 15:14:27 +01:00 |
|
Jeroen Ketema
|
232377a583
|
C++: Fix C++20 concept related class extensions
|
2025-07-11 13:38:06 +02:00 |
|
Mathias Vorreiter Pedersen
|
6d0c8c6d77
|
C++: Work around an extractor bug.
|
2025-07-11 09:46:20 +01:00 |
|
Mathias Vorreiter Pedersen
|
df241ad4f6
|
C++: Fix lambda creation for objects with no constructor.
|
2025-07-11 09:46:09 +01:00 |
|
Mathias Vorreiter Pedersen
|
b53c3547d0
|
C++: Add lambda dispatch for functors.
|
2025-07-11 09:36:45 +01:00 |
|
Mathias Vorreiter Pedersen
|
663c3e7b6d
|
C++: Sync identical files.
|
2025-07-11 09:36:44 +01:00 |
|
Mathias Vorreiter Pedersen
|
11cba94032
|
C++: Add a missing predicate on 'UninitializedInstruction' that we will use later.
|
2025-07-11 09:36:42 +01:00 |
|
Jeroen Ketema
|
6d8e2f8231
|
Merge pull request #20017 from jketema/final
C++: Add dataflow predicate for checking if a node is the final value of a parameter
|
2025-07-10 18:47:09 +02:00 |
|
Jeroen Ketema
|
96c379a076
|
C++: Fix formatting and typo
|
2025-07-10 15:56:11 +02:00 |
|
Jeroen Ketema
|
214969feaf
|
C++: Add change note
|
2025-07-10 15:52:27 +02:00 |
|
Jeroen Ketema
|
b32a8c2489
|
C++: Add dataflow predicate for checking if a node is the final value of a parameter
|
2025-07-10 15:47:23 +02:00 |
|
Mathias Vorreiter Pedersen
|
89cf215ebb
|
C++: Add models for 'std::thread' and accept test changes.
|
2025-07-10 12:45:20 +01:00 |
|
Mathias Vorreiter Pedersen
|
d198a964e0
|
C++: Add a model for 'pthread_create' and accept test changes.
|
2025-07-10 12:20:24 +01:00 |
|
github-actions[bot]
|
24a0ac1223
|
Post-release preparation for codeql-cli-2.22.2
|
2025-07-07 18:15:04 +00:00 |
|
github-actions[bot]
|
f12daefabe
|
Release preparation for version 2.22.2
|
2025-07-07 14:00:26 +00:00 |
|
Mathias Vorreiter Pedersen
|
7bb3758093
|
Merge pull request #19976 from jketema/incr-2
C++: Output `CopyValue` in the IR when there is a non-transparent conversion
|
2025-07-07 13:08:50 +01:00 |
|
Jeroen Ketema
|
a004d9b2a2
|
Merge pull request #19990 from igfoo/igfoo/rename
C++: Rename a changenote file
|
2025-07-07 13:59:15 +02:00 |
|
Ian Lynagh
|
fd733676cb
|
C++: Rename a changenote file
|
2025-07-07 12:53:42 +01:00 |
|
Jeroen Ketema
|
d6d7c6d55f
|
Revert "C++: Factor out transparent conversions in their own predicate"
This reverts commit b185cc8b95.
|
2025-07-04 23:22:46 +02:00 |
|
Jeroen Ketema
|
463ae4b1eb
|
C++: Address review comments
|
2025-07-04 23:13:37 +02:00 |
|