18 Commits

Author	SHA1	Message	Date
Mathias Vorreiter Pedersen	39b61598e9	C++: Accept test changes.	2024-11-26 13:57:38 +00:00
Mathias Vorreiter Pedersen	f65f11b404	C++: Add a test for a somewhat embarrasing bug: MaD didn't check the function name in some cases.	2024-11-26 13:43:42 +00:00
Mathias Vorreiter Pedersen	ef0370b64e	C++: Respond to review comments.	2024-07-30 13:19:02 +01:00
Mathias Vorreiter Pedersen	f932e515a7	C++: Accept test changes.	2024-07-30 11:11:38 +01:00
Mathias Vorreiter Pedersen	ff788c93c0	C++: Add a model for 'std::format' and a failing test.	2024-07-30 10:13:39 +01:00
Mathias Vorreiter Pedersen	c747914ef2	C++: Add sscanf and fscanf model implementations.	2021-02-01 12:54:59 +01:00
Cornelius Riemenschneider	b632ca40b4	C++: Port dataflow/taint-tests to inline expectations test.	2020-11-30 17:32:54 +01:00
Dave Bartolomeo	3767a52e9a	Fix ODR violations in test code	2020-10-15 17:54:48 -04:00
Mathias Vorreiter Pedersen	c4b97a3a62	C++: Accept more test changes	2020-07-15 16:19:51 +02:00
Geoffrey White	19c33ab41c	C++: Refine StrLenFunction, including removal of taint flow.	2020-05-29 14:04:27 +01:00
Geoffrey White	d77092c931	C++: Add taint tests for strlen.	2020-05-29 13:39:40 +01:00
Geoffrey White	95537ed26f	C++: Fix mysprintf in test.	2020-05-26 18:06:14 +01:00
Geoffrey White	d96bf797ef	C++: Test layout.	2020-05-26 18:06:06 +01:00
Geoffrey White	f02ffcbbd2	C++: Modify ParameterIndex to account for varargs.	2020-01-28 14:53:18 +00:00
Geoffrey White	d66f608d41	C++: Taint from FormattingFunction varargs.	2020-01-28 14:53:18 +00:00
Geoffrey White	8b215c155e	C++: Correct a few test comments.	2020-01-28 14:51:46 +00:00
Geoffrey White	30580e97dc	C++: Add a TaintFunction model to FormattingFunction.	2020-01-28 08:46:46 +00:00
Geoffrey White	06f5720cd5	C++: Add taint tests of formatting functions.	2020-01-28 08:46:46 +00:00