Mathias Vorreiter Pedersen
|
295dc6971f
|
Merge branch 'main' into ignore-non-type-template-params
|
2025-11-25 15:37:25 +00:00 |
|
Mathias Vorreiter Pedersen
|
0deac833e4
|
C++: Accept test changes.
|
2025-11-25 14:59:09 +00:00 |
|
Mathias Vorreiter Pedersen
|
faa55f50e7
|
C++: Add another test with a template function whose non-type template parameter is in tail position.
|
2025-11-25 14:55:18 +00:00 |
|
Mathias Vorreiter Pedersen
|
2024f32e81
|
C++: Add an example with missing flow.
|
2025-11-25 12:36:29 +00:00 |
|
Mathias Vorreiter Pedersen
|
6bae58e29c
|
C++: Accept more test changes.
|
2025-11-24 12:35:19 +00:00 |
|
Mathias Vorreiter Pedersen
|
98879d0f1a
|
C++: Accept test changes.
|
2025-11-24 12:06:38 +00:00 |
|
Mathias Vorreiter Pedersen
|
c9e9322143
|
C++: Add an example of missing MaD supporrt for non-type template parameters.
|
2025-11-24 12:02:54 +00:00 |
|
Mathias Vorreiter Pedersen
|
7b052e2404
|
Merge branch 'main' into fix-cp-in-external-flow
|
2025-11-10 10:44:31 +00:00 |
|
Mathias Vorreiter Pedersen
|
29a294f8d0
|
C++: Bind the columns inside the predicate instead of relying on 'bindingset's. The repeated inlining caused by 'bindiingset's created some #shared predicates with repeated regex matching.
|
2025-11-10 10:21:12 +00:00 |
|
Jeroen Ketema
|
eb3e86480f
|
Merge pull request #20784 from jketema/qual-fail
C++: Fix named qualifier dataset check error with decltypes
|
2025-11-10 10:36:47 +01:00 |
|
Jeroen Ketema
|
a3f26fd6bb
|
C++: Update expected test results after QL changes
|
2025-11-10 10:11:03 +01:00 |
|
Mathias Vorreiter Pedersen
|
3d6b3a31ac
|
C++: Also join on the 'namespace'.
|
2025-11-08 16:45:39 +00:00 |
|
Mathias Vorreiter Pedersen
|
bfe2b7dc44
|
C++: Use the new predicate to remove a cartesian-like join.
|
2025-11-08 16:43:43 +00:00 |
|
Mathias Vorreiter Pedersen
|
2b6a75f4ad
|
C++: Accept test changes.
|
2025-11-06 16:57:11 +00:00 |
|
Mathias Vorreiter Pedersen
|
0607100310
|
C++: Add tests with missing flow.
|
2025-11-06 16:54:54 +00:00 |
|
Mathias Vorreiter Pedersen
|
c1c1f60241
|
C++: Delete incorrect comment and add a bunch of barrier guard tests.
|
2025-09-25 12:56:46 +01:00 |
|
Mathias Vorreiter Pedersen
|
a07d03f49b
|
C++: Use the 'StoreInstruction' instead of the 'ReturnValueInstruction' when detecting return expressions.
|
2025-09-24 20:09:35 +01:00 |
|
Mathias Vorreiter Pedersen
|
26a8a4b3d2
|
C++: Add failing test demonstrating broken wrapper barrier guards.
|
2025-09-24 19:54:05 +01:00 |
|
Mathias Vorreiter Pedersen
|
0b81fbbb2b
|
C++: Fixup tests.
|
2025-09-18 12:16:11 +01:00 |
|
Asger F
|
ae4cf302f2
|
Remove failures from dataflow-consistency expectations
|
2025-09-11 14:49:58 +02:00 |
|
Mathias Vorreiter Pedersen
|
ddf0f37dac
|
C++: Accept test changes.
|
2025-08-28 16:58:49 +02:00 |
|
Mathias Vorreiter Pedersen
|
f135ed957d
|
C++: Add testcases with missing model.
|
2025-08-28 16:54:46 +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
|
8c07a3e552
|
C++: Add testcase with missing model.
|
2025-08-27 15:12:52 +02:00 |
|
Mathias Vorreiter Pedersen
|
7c05622a91
|
C++: Add missing type and accept test changes.
|
2025-08-27 14:41:00 +02:00 |
|
Mathias Vorreiter Pedersen
|
9e9f6dd11a
|
C++: Accept test changes.
|
2025-08-27 14:18:21 +02:00 |
|
Mathias Vorreiter Pedersen
|
6f64129b04
|
C++: Add ComPtr tests.
|
2025-08-27 14:05:13 +02: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 |
|
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
|
302d35bedc
|
C++: Accept test changes.
|
2025-08-19 13:57:10 +02:00 |
|
Mathias Vorreiter Pedersen
|
c1b91db37a
|
C++: Add more virtual dispatch tests.
|
2025-08-19 12:32:09 +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
|
6a57da79de
|
C++: Add a test with missing flow.
|
2025-08-18 18:12:52 +02:00 |
|
Mathias Vorreiter Pedersen
|
fca49dde92
|
C++: Accept test changes.
|
2025-08-02 16:43:19 +01:00 |
|
Mathias Vorreiter Pedersen
|
34c1ec73c2
|
C++: Add tests with missing flow through globals.
|
2025-08-02 16:38:32 +01:00 |
|
Mathias Vorreiter Pedersen
|
cbe5561eb6
|
C++: Accept test changes.
|
2025-07-23 14:05:42 +01:00 |
|
Mathias Vorreiter Pedersen
|
50785f7f21
|
C++: Add tests with missing flow.
|
2025-07-23 13:37:32 +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 |
|
Mathias Vorreiter Pedersen
|
46627c677d
|
C++: Add FP in dataflow through global variables.
|
2025-07-14 15:20:08 +01: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 |
|
Mathias Vorreiter Pedersen
|
4f538a2b1f
|
C++: Accept taint test changes.
|
2025-07-11 09:46:22 +01: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
|
6736dd4e8f
|
C++: Add some tests with missing flow through function objects.
|
2025-07-11 09:36:38 +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
|
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
|
7ddc909d4e
|
C++: Accept test changes after review.
|
2025-07-10 13:29:19 +01:00 |
|
Mathias Vorreiter Pedersen
|
dda4a97080
|
Update cpp/ql/test/library-tests/dataflow/external-models/test.cpp
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
|
2025-07-10 13:00:43 +01:00 |
|