Mathias Vorreiter Pedersen
1ac75def2b
C++: Add another testcase with spurious summary flow.
2024-02-01 15:11:52 +00:00
Mathias Vorreiter Pedersen
6bd31deb00
Merge pull request #15282 from MathiasVP/fix-duplicate-final-global-value
...
C++: Fix duplicate "final global value" nodes
2024-01-12 11:05:19 +00:00
Tom Hvitved
ad75562b55
CPP: Update expected test output
2024-01-10 15:27:22 +01:00
Mathias Vorreiter Pedersen
7a0cbb4e5a
C++: Accept test changes.
2024-01-10 11:55:53 +00:00
Mathias Vorreiter Pedersen
259bf27334
C++: Add pointer/pointee conflation test.
2024-01-10 11:51:40 +00:00
Mathias Vorreiter Pedersen
0c100eb122
C++: Accept test changes.
2023-12-14 14:44:58 +00:00
Mathias Vorreiter Pedersen
e648058d30
C++: Accept test changes.
2023-12-07 23:11:28 +00:00
Mathias Vorreiter Pedersen
e47ad274ea
C++: Add Schack's tests.
2023-11-28 14:32:21 +00:00
Mathias Vorreiter Pedersen
fb6329fbc1
C++: Fix test annotation
2023-11-28 14:27:15 +00:00
Mathias Vorreiter Pedersen
1771d77c23
C++: Accept test changes.
2023-11-28 14:27:15 +00:00
Mathias Vorreiter Pedersen
1753a7e146
C++: Add tests.
2023-11-28 14:27:15 +00:00
Mathias Vorreiter Pedersen
dcba8e5408
C++: Fix global variable flow for array types.
2023-11-20 12:15:55 +00:00
Mathias Vorreiter Pedersen
8039e117ba
C++: Add more global-variable flow tests.
2023-11-20 12:15:52 +00:00
Mathias Vorreiter Pedersen
5a7cb8f25a
C++: Fix duplication on reference dereference expressions.
2023-11-16 10:52:35 +00:00
Mathias Vorreiter Pedersen
799873113f
C++: Add a test that demonstrates reference dereference duplication.
2023-11-16 10:52:14 +00:00
Mathias Vorreiter Pedersen
f8feb84958
C++: Accept test changes from refactoring QL files.
2023-11-16 10:52:10 +00:00
Mathias Vorreiter Pedersen
6a1504b91c
C++: Slightly refactor test QL files so that we can add a test which tests the nodes being selected.
2023-11-16 10:50:56 +00:00
Mathias Vorreiter Pedersen
39b9d2ea83
C++: Accept test changes.
2023-11-09 20:28:55 +00:00
Mathias Vorreiter Pedersen
0963af2ee7
C++: Add failing tests.
2023-11-09 18:01:22 +00:00
Alexander Eyers-Taylor
b8d45ae927
Update cpp/ql/test/library-tests/dataflow/dataflow-tests/flowOut.cpp
...
Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com >
2023-10-30 14:04:45 +00:00
Alex Eyers-Taylor
60f3598da9
CPP: Add dataflow FP with output arguments
2023-10-27 19:07:10 +01:00
Mathias Vorreiter Pedersen
67ed12c916
C++: Correctly model that 'operator->', and 'get'
...
on smart pointers perform a load.
2023-10-23 20:11:23 +01:00
Jeroen Ketema
7e71d9e619
C++: Update expected test results after outputting less loads from the extractor
2023-10-19 10:45:14 +02:00
Jeroen Ketema
91a98f3512
C++: Accept new dataflow IR inconsistencies
...
These are due to additional loads being generated on fields, and should not
cause any problems. Ideally, we should tune the definition of
`TPostFieldUpdateNode` to make these go away.
2023-10-19 10:45:13 +02:00
Mathias Vorreiter Pedersen
496f190d70
C++: Accept test changes.
2023-10-10 16:45:31 +01:00
Henry Mercer
f3847b3f51
Merge branch 'main' into henrymercer/rc-3.11-mergeback
2023-10-03 16:30:23 +01:00
Mathias Vorreiter Pedersen
b0566af938
C++: Accept test changes.
2023-09-14 14:04:12 +01:00
Mathias Vorreiter Pedersen
2a55034e55
C++: Add failing test.
2023-09-14 14:01:48 +01:00
Tom Hvitved
c9910f5464
C++: Update expected test output
2023-09-12 20:05:12 +02:00
Mathias Vorreiter Pedersen
9f89c63771
C++: Accept test changes.
2023-09-08 17:07:26 +01:00
Mathias Vorreiter Pedersen
d5442ec9c5
C++: Add regression test.
2023-09-08 13:10:04 +01:00
Mathias Vorreiter Pedersen
99cc4171f8
C++: Fix FPs by making 'isArgumentOfCallable' more robust.
2023-08-29 14:12:09 +01:00
Mathias Vorreiter Pedersen
f65fe34513
C++: Add false positive caused by flowing back into a function after doing reverse reads.
2023-08-28 14:45:16 +01:00
Mathias Vorreiter Pedersen
f662cceb0b
C++: Use value numbering to better detect whether a write is certain.
2023-08-15 11:07:14 +01:00
Jeroen Ketema
a426010b06
Merge pull request #13621 from MathiasVP/deprecate-ast-dataflow
...
C++: Deprecate AST dataflow
2023-07-18 08:13:47 +02:00
Mathias Vorreiter Pedersen
8c21699040
C++: Accept test changes.
2023-07-17 10:51:42 +01:00
Mathias Vorreiter Pedersen
a4d03371e5
Update cpp/ql/test/library-tests/dataflow/dataflow-tests/test.cpp
...
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com >
2023-06-30 11:10:15 +01:00
Mathias Vorreiter Pedersen
655f1feac0
C++: Accept test changes.
2023-06-28 14:40:50 +01:00
Mathias Vorreiter Pedersen
25be9d48bc
C++: Add tests with FPs that need call contexts.
2023-06-28 14:37:04 +01:00
Robert Marsh
69ee615119
Merge pull request #13515 from MathiasVP/dataflow-fix-for-self-iterators
...
C++: Dataflow fix for the self-iterators issue
2023-06-23 13:50:23 -04:00
Mathias Vorreiter Pedersen
79fb6a6079
C++: Accept test changes.
2023-06-22 19:34:05 +01:00
Mathias Vorreiter Pedersen
da54751d85
C++: Add testcase that demonstrate the need for self-flow out of indirect parameters.
2023-06-22 19:33:13 +01:00
Mathias Vorreiter Pedersen
c7cff373de
C++: Add another testcase with conflation.
2023-06-22 10:59:12 +01:00
Mathias Vorreiter Pedersen
6543da9990
C++: Accept test changes.
2023-06-22 10:59:11 +01:00
Mathias Vorreiter Pedersen
5816f177c9
C++: Add failing test.
2023-06-22 10:59:11 +01:00
Mathias Vorreiter Pedersen
2b0282ca12
C++: Accept test changes.
2023-06-20 13:05:25 +01:00
Robert Marsh
971456c725
C++: add a test for self-valued iterators
2023-06-20 12:59:27 +01:00
Jeroen Ketema
2276890cec
C++: Rewrite inline expectation tests to use the parameterized module
2023-05-24 11:10:05 +02:00
Jeroen Ketema
aeb6293757
C++: Rewrite flow test common to use inline expectation test module
...
This also rewrites all uses of flow test common to use `DataFlow::ConfigSig`.
Note that the removed deprecated aliases are 14 months old by now and, hence,
can be safely removed.
2023-05-23 16:34:41 +02:00
Jeroen Ketema
3efc78ed49
Add default for hasOptionalResult
2023-05-23 12:32:11 +02:00
