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
|
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
|
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
|
a1f4246c5f
|
C++: Extract the barriers from 'cpp/invalid-pointer-deref' into a library.
|
2025-07-22 18:35:29 +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
|
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
|
96c379a076
|
C++: Fix formatting and typo
|
2025-07-10 15:56:11 +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 |
|
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 |
|
Jeroen Ketema
|
2908570ce9
|
C++: Do not consider expression results discardable when there is a conversion
|
2025-07-04 14:10:34 +02:00 |
|
Jeroen Ketema
|
b185cc8b95
|
C++: Factor out transparent conversions in their own predicate
|
2025-07-04 14:09:34 +02:00 |
|
Jeroen Ketema
|
e68d10119b
|
C++: Fix typo in comment
|
2025-07-04 14:09:09 +02:00 |
|
Jeroen Ketema
|
65b21286a1
|
C++: Move builtin function identification to its own table
|
2025-07-01 18:00:44 +02:00 |
|
Jeroen Ketema
|
a791640b52
|
Merge pull request #19935 from jketema/sync-dbscheme-cpp
C++: synchronize dbscheme
|
2025-07-01 09:51:29 +02:00 |
|
Jeroen Ketema
|
d5c7905009
|
Merge pull request #19907 from github/idrissrio/no-string-representation
C++: fix `(no string representation)` for `ConstructorInit`
|
2025-07-01 08:13:31 +02:00 |
|
idrissrio
|
6a291cc474
|
C++: fix (no string representation) for ConstructorInit
|
2025-06-30 17:11:58 +02:00 |
|
Jeroen Ketema
|
617edf0b70
|
C++: synchronize dbscheme
|
2025-06-30 15:28:45 +02:00 |
|
Jeroen Ketema
|
23b9db8f6f
|
Merge pull request #19904 from jketema/ffbl
C++: Sync the product-flow field flow branch limits with the default one
|
2025-06-30 11:17:55 +02:00 |
|
Jeroen Ketema
|
6ae1656ec4
|
Merge pull request #17581 from jketema/loc-table-merge
C++: Merge the location tables
|
2025-06-30 10:33:46 +02:00 |
|
Jeroen Ketema
|
99a24f9650
|
C++: Fix macro handling after extractor changes
|
2025-06-27 14:42:33 +02:00 |
|
Jeroen Ketema
|
b4caba7c0e
|
C++: Merge the location tables
|
2025-06-27 14:42:08 +02:00 |
|
Jeroen Ketema
|
3e31cd3ce5
|
C++: Sync the product-flow field flow branch limits with the default one
|
2025-06-27 12:59:54 +02:00 |
|
Jeroen Ketema
|
0996e6083e
|
C++: Pretty print MaD ids in test output
|
2025-06-26 23:38:32 +02:00 |
|
Jeroen Ketema
|
8f249c77bc
|
C++: Support more complex 16-bit float types
|
2025-06-24 16:56:34 +02:00 |
|
Jeroen Ketema
|
ca961386b2
|
C++: Handle Arm SVE in the IR
|
2025-06-23 12:33:42 +02:00 |
|
Jeroen Ketema
|
2e5d52e7e8
|
Merge pull request #19792 from jketema/sve
C++: Add Arm scalable vector type QL classes
|
2025-06-18 17:01:29 +02:00 |
|