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 |
|
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
|
2062a774fc
|
C++: Add 'std::thread' test with missing flow.
|
2025-07-10 12:44:02 +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 |
|
Mathias Vorreiter Pedersen
|
675a072639
|
C++: Add 'pthread_create' test with missing flow.
|
2025-07-10 12:16:23 +01:00 |
|
Jeroen Ketema
|
463ae4b1eb
|
C++: Address review comments
|
2025-07-04 23:13:37 +02:00 |
|
Jeroen Ketema
|
d010b6eb01
|
C++: Update expected test results
|
2025-07-04 14:28:17 +02:00 |
|
Jeroen Ketema
|
799f33eb3a
|
C++: Add more postfix-crement tests
|
2025-07-04 14:08:29 +02:00 |
|
Mathias Vorreiter Pedersen
|
24728a3417
|
C++: Accept test changes.
|
2025-07-04 00:03:42 +01:00 |
|
Jeroen Ketema
|
5b26a426dc
|
C++: Add test showing we miss the operands of postfix crement in dataflow
|
2025-07-03 16:49:37 +02:00 |
|
Mathias Vorreiter Pedersen
|
76678ef3d2
|
C++: Accept test changes.
|
2025-07-02 14:24:16 +01:00 |
|
Mathias Vorreiter Pedersen
|
5684ca5d51
|
C++: Add tests with 'CreateProcess' and fiends demonstrating missing flow.
|
2025-07-02 14:18:34 +01:00 |
|
idrissrio
|
62e55edbad
|
C++: accept new test results after changes
|
2025-06-30 17:11:59 +02:00 |
|
Jeroen Ketema
|
0996e6083e
|
C++: Pretty print MaD ids in test output
|
2025-06-26 23:38:32 +02:00 |
|
Eric Bickle
|
3083bdb0b4
|
C++: Update MaD line numbers in flow.expected
|
2025-06-26 06:47:24 -07:00 |
|
Mathias Vorreiter Pedersen
|
c14a4a66d5
|
C++: Accept test changes. Nothing exciting here.
|
2025-06-13 11:41:01 +01:00 |
|
Jeroen Ketema
|
ae266546a6
|
C++: Minor test clean up
|
2025-05-27 16:57:23 +02:00 |
|
Mathias Vorreiter Pedersen
|
76c2d24a7e
|
C++: Add summary for ReadFileEx and accept test changes.
|
2025-05-27 12:41:22 +01:00 |
|
Mathias Vorreiter Pedersen
|
c1ee56e4c1
|
C++: Add ReadFileEx tests with missing flow.
|
2025-05-27 12:41:20 +01:00 |
|
Mathias Vorreiter Pedersen
|
5d8bb1b5b0
|
C++: Add more Windows sources.
|
2025-05-27 11:38:00 +01:00 |
|