3197 Commits

Author	SHA1	Message	Date
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	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	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
Jeroen Ketema	fff23040b3	C++: Update test results	2025-06-25 08:14:22 +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	17ce5f42e6	C++: Update expected test results after extractor changes	2025-06-20 13:51:36 +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
Jeroen Ketema	25149e7ec2	C++: Update expected test results	2025-06-18 13:41:33 +02:00
Idriss Riouak	eff1fbab0f	Merge pull request #19805 from github/idrissrio/namespace-attributes ... C++: fix typedef resolution in `ArrayType`	2025-06-18 10:21:21 +02:00
idrissrio	72559d5198	C++: move resolveTypedefs tests to dedicated directory	2025-06-18 10:11:55 +02:00
idrissrio	6ffba11f13	C++: accept new test results after changes	2025-06-17 18:51:43 +02:00
idrissrio	3f595fdd03	C++: add tests for ArrayType typedef resolution	2025-06-17 18:47:42 +02:00
Idriss Riouak	a702f7a45e	Merge pull request #19773 from github/idrissrio/namespace-attributes ... C++: Retrieve namespace attributes	2025-06-17 12:03:55 +02:00
idrissrio	9fb47cc125	C++: add tests for attribute extraction on namespace	2025-06-17 10:52:27 +02:00
Mathias Vorreiter Pedersen	9f3569b980	C++: Accept test changes.	2025-06-16 17:53:35 +01:00
Jeroen Ketema	4228828b66	C++: Address review comments	2025-06-16 15:02:08 +02:00
Jeroen Ketema	9d6a1a9885	C++: Generate SEH edges for pointer dereference loads in __try blocks	2025-06-16 12:39:53 +02:00
Jeroen Ketema	3eb768c1e9	C++: Generate SEH edges for pointer dereference stores in __try blocks	2025-06-16 12:39:50 +02:00
Jeroen Ketema	67d623fb06	C++: Add __try with load test case ... Fix some formatting while here.	2025-06-16 12:39:47 +02:00
Mathias Vorreiter Pedersen	3d9d9fe9c0	Merge pull request #19746 from jketema/seh ... C++: Use SEH exception edges in IR and generate SEH exception edges for calls in `__try` blocks	2025-06-16 10:53:54 +01:00
Jeroen Ketema	1b2813dcf6	C++: Also generate an SEH edge for calls in initializers	2025-06-14 00:16:47 +02:00
Jeroen Ketema	815ae37a7e	C++: Add test case with call in initialization ... Fix formatting while here.	2025-06-14 00:05:00 +02:00
Jeroen Ketema	4a42ca8c69	C++: Limit SEH exception edges to calls in __try blocks	2025-06-13 20:34:35 +02:00
Mathias Vorreiter Pedersen	d83cbde1cb	Merge pull request #19753 from MathiasVP/add-more-mad-summaries ... C++: Add more MaD summaries	2025-06-13 18:23:11 +01:00
Jeroen Ketema	c7a7447768	C++: Generate an SEH exception edge for each call inside a SEH block	2025-06-13 16:30:25 +02:00