1716 Commits

Author	SHA1	Message	Date
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
Geoffrey White	952cc89c2a	C++: Improve make_pair in stl.h (using remove_reference).	2020-09-30 16:17:06 +01:00
Geoffrey White	7ecd229ce7	C++: Improve make_pair in stl.h (jbj solution).	2020-09-30 16:16:53 +01:00
Jonas Jensen	b1c826e5c0	Merge pull request #4135 from rdmarsh2/rdmarsh2/cpp/output-iterators-1 ... C++: Output iterators in AST taint tracking	2020-09-30 12:54:55 +02:00
Ian Lynagh	d5f8cbc50c	C++: Accept test changes in unnamed entity naming	2020-09-29 17:30:33 +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
Nick Rolfe	7609ce2d47	C++: accept test changes from extractor frontend upgrade	2020-09-28 12:23:26 +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
Geoffrey White	e836bae20f	C++: Tidy up test stl.h a little.	2020-09-22 13:21:50 +01:00
Jonas Jensen	5cbf498a2d	Merge pull request #4302 from MathiasVP/fix-field-conflation-after-4230 ... C++: Fix field conflation after #4230	2020-09-22 10:23:17 +02:00
Robert Marsh	772a51508f	C++: Update test comment	2020-09-21 16:19:41 -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
Mathias Vorreiter Pedersen	873e871620	C++: Handle more cases in arrayReadStep.	2020-09-21 14:35:37 +02:00
Mathias Vorreiter Pedersen	62d42f20d9	C++: use(x) is no longer an array read.	2020-09-21 12:46:03 +02:00
Mathias Vorreiter Pedersen	49dd576352	C++: Add more tests	2020-09-21 10:59:16 +02:00
Robert Marsh	bc3e74f7d6	Merge branch 'main' into rdmarsh2/cpp/ir-qualifier-flow ... Fix test conflicts	2020-09-18 15:40:43 -07:00
Robert Marsh	12be90a6af	C++: remove unneeded cast	2020-09-18 15:00:01 -07:00
Mathias Vorreiter Pedersen	53da751b15	C++: Accept tests	2020-09-18 17:12:27 +02:00
Mathias Vorreiter Pedersen	b40941b89c	C++: Add test demonstrating field conflation after merging #4230	2020-09-18 13:23:23 +02: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
Mathias Vorreiter Pedersen	3ef6e8a580	Merge pull request #4283 from geoffw0/stringstream4 ... C++: Model getline	2020-09-18 10:17:47 +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
Mathias Vorreiter Pedersen	63afe1da78	Merge pull request #4276 from geoffw0/stringstream3 ... C++: More stringstream models.	2020-09-17 14:19:52 +02:00
Geoffrey White	4d6125841d	C++: Clean up multiply defined functions.	2020-09-17 11:48:26 +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
Robert Marsh	fa0e27b2de	C++: move interprocedural iterator flow to taint	2020-09-16 12:34:52 -07:00
Geoffrey White	86404af501	Merge pull request #4270 from MathiasVP/mathiasvp/single-field-flow-fix-cwe190test ... C++: Use underlying type when checking whether a type is a single-field struct.	2020-09-16 17:21:07 +01: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