200 Commits

Author	SHA1	Message	Date
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
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	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	7ecd229ce7	C++: Improve make_pair in stl.h (jbj solution).	2020-09-30 16:16:53 +01:00
Geoffrey White	6de29a6dd3	C++: Provide std::pair constructor initializers.	2020-09-28 17:52:33 +01:00
Geoffrey White	773bc48a91	C++: Use a more modern make_pair.	2020-09-28 16:54:41 +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
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
Robert Marsh	9e3bfe1968	C++: Fix iterator flow context sensitivity	2020-09-21 16:17:16 -07:00
Robert Marsh	913881b17b	C++: Add test for iterator false positive	2020-09-21 16:15:24 -07:00
Robert Marsh	bc3e74f7d6	Merge branch 'main' into rdmarsh2/cpp/ir-qualifier-flow ... Fix test conflicts	2020-09-18 15:40:43 -07:00
Jonas Jensen	c67605f15c	Merge pull request #4230 from MathiasVP/mathiasvp/array-field-flow ... C++: Replace `field -> object` taint rule with `ArrayContent` dataflow	2020-09-18 10:56:51 +02:00
Robert Marsh	3a83cc71fe	C++: use qualifier flow in more models	2020-09-17 18:03:02 -07:00
Robert Marsh	556ace004f	C++: use qualifiers in string constructor model	2020-09-17 17:39:50 -07:00
Robert Marsh	6b7b64d7be	C++: IR data and taint flow through qualifiers	2020-09-17 17:10:11 -07:00
Robert Marsh	f73ff988e0	C++: improve cast and ptr handling in taint test	2020-09-17 16:55:36 -07:00
Geoffrey White	5cc11f1c44	C++: Additional model for 'this' flow through chains.	2020-09-17 14:12:30 +01:00
Geoffrey White	73399cb5f7	C++: Model GetLine.	2020-09-17 14:05:43 +01:00
Geoffrey White	2c15e6f934	C++: Add test cases.	2020-09-17 13:43:07 +01:00
Robert Marsh	691d0f3fb2	Merge branch 'main' into rdmarsh2/cpp/output-iterators-1 ... Fix merge conflict in test expectations	2020-09-16 13:52:59 -07:00
Robert Marsh	44c5233459	C++: accept test output	2020-09-16 12:49:15 -07:00
Geoffrey White	c4de071a4c	C++: Flow through swap.	2020-09-16 13:39:07 +01:00
Geoffrey White	eb7bd6e176	C++: Flow through putback.	2020-09-16 13:39:07 +01:00
Geoffrey White	7cc60a30a6	C++: Flow through get, peek, read, readsome.	2020-09-16 13:36:41 +01:00