13 Commits

Author	SHA1	Message	Date
Mathias Vorreiter Pedersen	527409d05f	C++: Fix iterator return types and accept test changes.	2024-04-29 09:38:42 +01:00
Mathias Vorreiter Pedersen	bfe9ae22ad	Merge branch 'main' into mathiasvp/replace-ast-with-ir-use-usedataflow	2023-01-26 13:03:49 +00:00
Mathias Vorreiter Pedersen	13baa5b60b	C++: Add iterator typedefs to properly instantiate 'int_iterator_by_trait' and 'insert_iterator_by_trait'.	2023-01-26 11:43:33 +00:00
Jeroen Ketema	bd301768ea	C++: Re-introduce the ast annotations in the taint tests	2022-11-09 14:30:56 +01:00
Mathias Vorreiter Pedersen	373c849b18	C++: Accept library-test changes	2022-10-14 10:14:52 +02:00
Mathias Vorreiter Pedersen	ffc6af73b7	C++: Accept test changes.	2021-03-02 11:00:43 +01:00
Geoffrey White	61b0d6a0cd	C++: Fix Iterator.qll non-member operator+= charpred.	2021-02-12 14:54:46 +00:00
Geoffrey White	7705fc4f98	C++: Add more test cases for iterator taint flow.	2021-02-12 14:54:45 +00:00
Mathias Vorreiter Pedersen	52e2a69db9	C++: Accept test changes.	2021-01-27 16:56:37 +01:00
Cornelius Riemenschneider	b632ca40b4	C++: Port dataflow/taint-tests to inline expectations test.	2020-11-30 17:32:54 +01:00
Robert Marsh	fade75b0fb	C++: add operator-- tests for insert iterators	2020-10-14 15:54:34 -07:00
Geoffrey White	28ab092e9f	C++: Add 'tainted' markers to standalone_iterators.cpp test.	2020-10-02 15:54:26 +01:00
Robert Marsh	9aa3735165	C++: add tests for non-std:: iterators	2020-08-24 14:19:34 -07:00