183 Commits

Author	SHA1	Message	Date
Cornelius Riemenschneider	b632ca40b4	C++: Port dataflow/taint-tests to inline expectations test.	2020-11-30 17:32:54 +01:00
Cornelius Riemenschneider	e7e5754270	C++: Add taint model for std::vector::emplace/_back.	2020-11-04 16:20:01 +01:00
Dave Bartolomeo	7a2c59c194	Merge from main	2020-10-28 15:35:46 -04:00
Robert Marsh	aab9797c2f	Merge branch 'main' into rdmarsh2/cpp/output-iterators-2 ... Resolve merge conflict in tests	2020-10-23 13:50:15 -07:00
Geoffrey White	ceea947f5e	C++: Add another test case.	2020-10-22 12:41:23 +01:00
Geoffrey White	3cca8443f8	C++: Add memcpy(vector test.	2020-10-22 09:46:07 +01:00
Dave Bartolomeo	40cd96eb1d	Merge from main	2020-10-17 15:14:26 -04:00
Dave Bartolomeo	e4fdf699ad	Accept improved test results	2020-10-17 14:33:10 -04:00
Robert Marsh	fade75b0fb	C++: add operator-- tests for insert iterators	2020-10-14 15:54:34 -07:00
Robert Marsh	126615a7ee	C++: add prefix operator++ in inserter tests	2020-10-14 13:33:50 -07:00
Robert Marsh	a1a441d759	C++: output iterator flow through operator= models	2020-10-14 13:06:11 -07:00
Robert Marsh	f3843b8a40	Revert "C++: output iterator flow with user-defined operators" ... This reverts commit 28fa26629c.	2020-10-14 13:01:37 -07:00
Robert Marsh	28fa26629c	C++: output iterator flow with user-defined operators	2020-10-13 16:30:47 -07:00
Robert Marsh	45a27d3296	C++: add tests for back_inserter iterator flow	2020-10-13 16:19:15 -07:00
Robert Marsh	108cc9ea47	C++: fix assignment to *iter++	2020-10-13 16:19:15 -07:00
Robert Marsh	f39195e339	C++: add tests for assignments to *iter++	2020-10-13 16:19:15 -07:00
Robert Marsh	b49aa677d0	Merge pull request #4459 from geoffw0/setex ... C++: Additional taint flows through std::set	2020-10-13 15:17:54 -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	c63f7cb409	C++: Taint through emplace from qualifier to return value.	2020-10-09 17:41:24 +01:00
Geoffrey White	270517d379	C++: Revise model of emplace and emplace_hint. Note that 2 of the 3 taint regressions we shouldn't be getting because we don't yet do taint through keys.	2020-10-09 17:27:18 +01:00
Geoffrey White	49c121d370	C++: More test cases covering other std::pair constructors.	2020-10-09 17:22:29 +01:00
Geoffrey White	61a78e28ac	C++: Fix map::merge.	2020-10-09 14:46:23 +01:00
Geoffrey White	8786fe1ab8	C++: Add test missing test case involving tainted key.	2020-10-09 10:00:22 +01:00
Geoffrey White	5c1a510e4a	C++: Model map::lower_bound, upper_bound and equal_range.	2020-10-08 14:22:43 +01:00
Geoffrey White	ef9a7c8cdb	C++: Model map::merge.	2020-10-08 14:22:43 +01:00
Geoffrey White	b7ab89c892	C++: Model map::emplace, emplace_hint and map::try_emplace.	2020-10-08 14:22:43 +01:00
Geoffrey White	61d5372d07	C++: Test spacing.	2020-10-08 13:43:49 +01:00
Geoffrey White	4db964fca9	Merge branch 'main' into set	2020-10-05 15:16:42 +01:00
Geoffrey White	c757813d65	Merge branch 'main' into map	2020-10-05 12:32:49 +01:00
Geoffrey White	8d5febf9c4	C++: Add a couple more test cases that have been discussed.	2020-10-02 18:03:07 +01:00
Geoffrey White	cc170bd513	C++: Test layout.	2020-10-02 18:03:07 +01:00
Geoffrey White	0d6bd6facb	Merge branch 'main' into map	2020-10-02 16:24:03 +01:00
Geoffrey White	88a93964a7	Merge branch 'main' into set	2020-10-02 16:17:48 +01:00
Geoffrey White	ad9f306352	C++: Model taint flow only when the second component of a pair would be tainted.	2020-10-01 17:38:09 +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	6de29a6dd3	C++: Provide std::pair constructor initializers.	2020-09-28 17:52:33 +01:00
Geoffrey White	ec3c1568d2	C++: Model erase.	2020-09-24 18:38:29 +01:00
Geoffrey White	8b91d5077d	C++: Model find.	2020-09-24 18:38:29 +01:00
Geoffrey White	d550741c0c	C++: Model insert_or_assign.	2020-09-24 18:38:28 +01:00
Geoffrey White	c51294e423	C++: Model operator[] and at.	2020-09-24 18:38:28 +01:00
Geoffrey White	13b15d9bcd	C++: Model swap.	2020-09-24 18:38:27 +01:00
Geoffrey White	6119bf3430	C++: Model begin and end.	2020-09-24 18:38:27 +01:00
Geoffrey White	25e0c680c6	C++: Model insert.	2020-09-24 18:38:27 +01:00
Geoffrey White	0dca7f81bc	C++: Model std::swap.	2020-09-24 15:49:33 +01:00
Geoffrey White	49f9a76c54	C++: Add tests for std::map and std::unordered_map.	2020-09-24 15:19:39 +01:00
Geoffrey White	71a605b7d9	C++: Add tests for std::pair.	2020-09-23 18:43:28 +01:00
Robert Marsh	e28a45b8e6	Merge branch 'main' into rdmarsh2/cpp/output-iterators-1 ... Resolve test output conflicts from IR model improvements	2020-09-22 11:17:38 -07:00