422 Commits

Author	SHA1	Message	Date
Mathias Vorreiter Pedersen	472363b86e	Merge branch 'main' into mathiasvp/read-step-without-memory-operands	2020-09-01 11:08:52 +02:00
Mathias Vorreiter Pedersen	3cca74e654	C++: Accept test changes	2020-09-01 10:54:46 +02:00
Rasmus Lerchedahl Petersen	750735c70c	Dataflow: Update test expectations	2020-08-28 15:00:01 +02:00
Jonas Jensen	55d7ac88f9	Merge pull request #4148 from geoffw0/vecextra ... C++: Improvements to string and vector models.	2020-08-28 10:05:42 +02:00
Geoffrey White	208cd4c888	C++: Fix assign in the test stl.h.	2020-08-27 16:52:22 +01:00
Geoffrey White	927a4faa58	C++: Remove the non-reference case that we shouldn't need.	2020-08-27 15:42:40 +01:00
Geoffrey White	865d91de80	C++: Fix getAValueTypeParameterIndex().	2020-08-27 15:08:58 +01:00
Geoffrey White	816b8abd7c	C++: Add a test case using a const int *.	2020-08-27 15:05:23 +01:00
Geoffrey White	a5a3078b58	C++: Add a test case using a typedef int.	2020-08-27 12:11:56 +01:00
Geoffrey White	6f62803e1f	C++: Taint tests for array and reference assignments.	2020-08-27 11:26:25 +01:00
Geoffrey White	111da4c352	C++: Add a model of std::vector::assign.	2020-08-27 10:22:31 +01:00
Geoffrey White	fbac4ce44f	C++: Split StdStringCStr and allow reverse flow on data.	2020-08-27 10:11:03 +01:00
Geoffrey White	fbff44ea45	C++: Add reverse taint as well.	2020-08-27 10:09:51 +01:00
Geoffrey White	6ae96baaf6	C++: Model std::vector::data.	2020-08-27 10:08:58 +01:00
Geoffrey White	2235c19593	C++: Add test cases for 'assign' and extra cases for 'data'.	2020-08-27 10:08:42 +01:00
Mathias Vorreiter Pedersen	e4807c0181	C++: Accept test changes	2020-08-26 15:51:09 +02:00
Mathias Vorreiter Pedersen	2a8ee90828	C++: Demonstrate lack of flow when taking the address of a field and loading it afterwards	2020-08-26 15:50:57 +02:00
Geoffrey White	23a792b8c6	C++: Add tests of nested vectors.	2020-08-25 12:13:32 +01:00
Geoffrey White	adbfad21ef	C++: Correct the localFlow test.	2020-08-24 18:05:30 +01:00
Geoffrey White	d3c8ffb995	C++: Clean up, comment, and restrict the new flow to the post-update node of the returned reference.	2020-08-24 14:07:06 +01:00
Geoffrey White	f2caa8a2b0	C++: Reverse taint through function models returning a reference.	2020-08-24 14:05:04 +01:00
Geoffrey White	f25ef26c37	C++: Permit taint flow to the left side of an assignment.	2020-08-24 14:01:49 +01:00
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
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
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