400 Commits

Author	SHA1	Message	Date
Geoffrey White	1da78ada14	C++: Model 'operator[]' and 'at' for std::string, std::vector and other containers.	2020-08-24 13:58:43 +01:00
Geoffrey White	f6770c5b88	C++: Add tests for std::string 'operator[]' and 'at()'.	2020-08-24 13:49:39 +01:00
Robert Marsh	bc0d21879d	Merge branch 'main' into rdmarsh2/cpp/input-iterators-1 ... Resolve test conflict	2020-08-21 14:36:27 -07:00
Robert Marsh	4c82753e8d	C++: remove constexpr in stl.h temporarily	2020-08-21 14:22:32 -07:00
Robert Marsh	94d4e05c25	C++: Fix iterator taint flow	2020-08-21 14:04:45 -07:00
Robert Marsh	656340f5c6	C++: more tests for string iterator flow	2020-08-21 13:48:36 -07:00
Geoffrey White	3d171f358a	Merge remote-tracking branch 'upstream/main' into vecmethods	2020-08-20 13:29:28 +01:00
Geoffrey White	cda9fd250b	C++: Model vector methods.	2020-08-20 10:30:01 +01:00
Geoffrey White	620126d38c	C++: Add vector taint cases to test.	2020-08-20 10:27:25 +01:00
Geoffrey White	43c8efdf63	C++: Repair the range based for test.	2020-08-20 10:19:54 +01:00
Geoffrey White	8afa92d881	C++: Add more detail to the vector class in the test stl.h.	2020-08-20 09:39:35 +01:00
Robert Marsh	20188b7bc2	C++: input iterator models	2020-08-19 12:11:36 -07:00
Geoffrey White	0234bca6ca	C++: Fix a hole in StdStringAppend and clarify comments.	2020-08-17 17:55:44 +01:00
Geoffrey White	a11ca06189	C++: Implement more std::string models.	2020-08-17 17:33:09 +01:00
Geoffrey White	9204940830	C++: Add test cases for std::string methods.	2020-08-17 17:31:26 +01:00
Geoffrey White	789e781eb7	C++: Add prototypes for std::string methods to test.	2020-08-17 16:01:25 +01:00
Geoffrey White	a839f1fae5	C++: Split off stringstream.cpp.	2020-08-13 18:17:24 +01:00
Geoffrey White	49d2f66ddb	C++: Tidy up sources and sinks.	2020-08-13 18:08:58 +01:00
Geoffrey White	f343eb9143	C++: Split stl.cpp into string.cpp and vector.cpp.	2020-08-13 18:04:46 +01:00
Geoffrey White	5d7f771933	C++: Split off stl.h from stl.cpp.	2020-08-13 18:04:45 +01:00
Geoffrey White	7349333006	C++: Taint through char append.	2020-08-13 15:13:47 +01:00
Geoffrey White	3c0e7a709f	C++: Add a test of append with CharT.	2020-08-13 14:52:34 +01:00
Geoffrey White	732a8fa4c9	C++: Add another member function.	2020-08-13 14:52:34 +01:00
Geoffrey White	f62ad75048	C++: Taint through std::string operator+=.	2020-08-11 17:03:02 +01:00
Geoffrey White	cf6f530823	C++: Taint through std::string operator+.	2020-08-11 16:58:55 +01:00
Geoffrey White	a57dfd6b67	C++: Taint through std::string append.	2020-08-11 16:54:39 +01:00
Geoffrey White	f824a893ca	C++: Add test cases for appending strings.	2020-08-11 16:50:52 +01:00
Geoffrey White	030ab4f626	C++: Add string append operators to the test (changes layout).	2020-08-11 16:47:56 +01:00
Jonas Jensen	c8911ab973	C++: Test range-based-for with std::vector too	2020-08-07 12:40:00 +02:00
Jonas Jensen	7cc877cbbb	C++: Taint through RangeBasedForStmt (AST only)	2020-08-06 15:37:41 +02:00
Jonas Jensen	ea0896c78b	Merge pull request #3999 from MathiasVP/mathiasvp/range-based-for-loop-taint-tests ... C++: Add tests for taint through range-based for loops	2020-08-05 09:11:53 +02:00
Mathias Vorreiter Pedersen	4990d00498	C++: Add taint tests demonstrating lack of taint through range based for loops	2020-07-31 09:57:35 +02:00
Mathias Vorreiter Pedersen	b88ef56cb4	C++: Add basic iterator definition that matches STL	2020-07-31 09:45:32 +02:00
Mathias Vorreiter Pedersen	c4b97a3a62	C++: Accept more test changes	2020-07-15 16:19:51 +02:00
Jonas Jensen	2fa54552f0	Merge pull request #3914 from geoffw0/cc_followup ... C++: Repair swap taint tests	2020-07-09 15:54:40 +02:00
Geoffrey White	bc7c83a5d6	C++: Add taint test cases confirming that constructor definitions do no need to be present.	2020-07-07 16:01:13 +01:00
Geoffrey White	0caa17ab10	C++: Test the new methods.	2020-07-06 18:47:56 +01:00
Geoffrey White	52e501c41d	C++: Extend the 'swap' taint tests with methods that do not have recognizable signatures (copy/move assignment).	2020-07-06 18:44:37 +01:00
Geoffrey White	104298e09a	Merge branch 'master' into models5	2020-06-22 10:59:15 +01:00
Geoffrey White	eebaf0f330	C++: Modify the tests so that ConversionConstructors are tested; we don't want the general case for Constructors any more.	2020-06-19 10:15:01 +01:00
Geoffrey White	35487ff109	Merge branch 'master' into stringtest	2020-06-17 19:00:26 +01:00
Geoffrey White	833f5b0cf3	C++: Add flow through assignment operators.	2020-06-17 15:47:37 +01:00
Geoffrey White	b9a65581ce	C++: Some constructors should have dataflow instead of taint.	2020-06-17 15:47:37 +01:00
Geoffrey White	031c9b98f1	C++: General taint flow through constructors.	2020-06-17 15:47:37 +01:00
Geoffrey White	30151c99d7	C++: Remove the std::string Constructor model.	2020-06-17 15:43:58 +01:00
Geoffrey White	d565cfc58e	C++: Add a test of default constructors etc.	2020-06-17 15:41:36 +01:00
Geoffrey White	c196ea24b2	C++: Add taint tests of class constructors and assignment.	2020-06-17 15:41:00 +01:00
Geoffrey White	ea9e9a7a26	C++: Add taint tests of std::string constructors and assignment.	2020-06-17 15:41:00 +01:00
Robert Marsh	ef940e815f	C++: Add comment for false positives in swap tests	2020-06-16 11:46:14 -07:00
Robert Marsh	0c99b3644c	C++: remove false negative comments in swap tests	2020-06-16 11:33:26 -07:00