19 Commits

Author	SHA1	Message	Date
Mathias Vorreiter Pedersen	fb9fc14f3d	C++: Accept test changes in paths.	2024-04-16 11:09:22 +01:00
Mathias Vorreiter Pedersen	f3a5ce5efc	C++: Accept more test changes.	2024-04-13 11:03:15 +01:00
Mathias Vorreiter Pedersen	be54a41593	C++: Accept query test changes.	2024-02-16 15:01:50 +01:00
Anders Schack-Mulligen	7eb5e1833d	C++: Add empty provenance column to expected files.	2024-02-09 11:32:08 +01:00
Mathias Vorreiter Pedersen	61e30b9ff8	C++: Accept more test changes.	2023-12-14 15:25:29 +00:00
Mathias Vorreiter Pedersen	1c73d43b4f	C++: Accept more test changes.	2023-12-08 09:29:48 +00:00
Mathias Vorreiter Pedersen	b4958e7d58	C++: Accept path changes.	2023-10-30 12:44:30 +00:00
Mathias Vorreiter Pedersen	ef9d342a99	C++: Accept more test changes.	2023-08-21 14:02:18 +01:00
Jeroen Ketema	458522a656	C++: Implement clearsContent for IR dataflow	2023-06-26 12:11:03 +02:00
Jeroen Ketema	5f33827eca	C++: Update test results	2023-02-10 17:10:52 +01:00
Mathias Vorreiter Pedersen	ce3654c6ec	C++: Make ql-for-ql happy.	2022-09-23 13:07:07 +01:00
Robert Marsh	32ab636c77	C++: adjust test so size flows from malloc to field	2022-09-21 12:43:44 -04:00
Robert Marsh	fcd0bb13b3	C++: add paths to ArrayAccessProductFlow	2022-09-21 12:37:31 -04:00
Mathias Vorreiter Pedersen	c7ccff2e20	C++: Accept test changes.	2022-09-13 12:11:22 +01:00
Mathias Vorreiter Pedersen	011d15aca3	C++: Accept test changes.	2022-09-07 14:56:08 +01:00
Robert Marsh	ca2694ae1d	C++: exclude end pointers in iterator-style loops	2022-09-01 17:42:19 -04:00
Robert Marsh	56eacce320	C++: restrict to end-of-allocation pointers	2022-08-16 17:52:06 -04:00
Robert Marsh	93de8e2308	C++: fix missing bounds in exp range analysis	2022-08-16 17:44:51 -04:00
Robert Marsh	e4d0e7431c	C++: some experimental product flow queries	2022-08-16 17:44:46 -04:00