15 Commits

Author	SHA1	Message	Date
Simon Friis Vindum	f066f21751	C++: Make swap member functions data-flow functions	2024-09-04 13:55:19 +02:00
Mathias Vorreiter Pedersen	7e9bf2a880	C++: Add a model for 'partial updating' and extend models appropriately.	2024-02-16 12:56:19 +01:00
Mathias Vorreiter Pedersen	24a63ae94d	C++: Block flow by default.	2024-02-16 12:56:19 +01:00
Mathias Vorreiter Pedersen	fb4bd53ec5	Revert "Merge pull request #15528 from MathiasVP/flow-barrier-interface" ... This reverts commit c5dc88345d, reversing changes made to 781486172e.	2024-02-13 13:42:58 +00:00
Mathias Vorreiter Pedersen	21b9b3b87f	C++: Accept test changes.	2024-02-06 16:15:22 +00:00
Mathias Vorreiter Pedersen	3efe60fdd2	C++: Accept test changes.	2021-10-28 12:35:01 +01:00
Cornelius Riemenschneider	b632ca40b4	C++: Port dataflow/taint-tests to inline expectations test.	2020-11-30 17:32:54 +01:00
Dave Bartolomeo	40cd96eb1d	Merge from main	2020-10-17 15:14:26 -04:00
Dave Bartolomeo	14ac9859c1	Remove more ODR violations from test code. ... PrintAST now works on `library-tests/dataflow/taint-tests`.	2020-10-16 10:26:42 -04:00
Geoffrey White	4363f08b45	C++: Model std::set::emplace and emplace_hint.	2020-10-12 11:01:09 +01:00
Geoffrey White	5d87117dc7	C++: Model std::set::lower_bound, upper_bound, equal_range.	2020-10-12 10:10:40 +01:00
Geoffrey White	fc19bba0bd	C++: Model std::set::merge and correct test annotations.	2020-10-12 10:01:57 +01:00
Geoffrey White	cafd320953	C++: Add set/map constructor models.	2020-09-30 17:41:06 +01:00
Geoffrey White	6520f9d0fb	C++: Add basic std::set models.	2020-09-30 17:23:56 +01:00
Geoffrey White	5bc7d3a9b2	C++: Add tests for std::set and std::unordered_set.	2020-09-30 17:23:56 +01:00