7 Commits

Author	SHA1	Message	Date
Geoffrey White	104298e09a	Merge branch 'master' into models5	2020-06-22 10:59:15 +01:00
Geoffrey White	ea9e9a7a26	C++: Add taint tests of std::string constructors and assignment.	2020-06-17 15:41:00 +01:00
Geoffrey White	2f192f6a0c	C++: Add a test of char* -> std::string -> char* taint.	2020-06-11 17:37:05 +01:00
Geoffrey White	d5accc70e1	C++: Add a test similar to issues/44.	2020-04-06 16:47:24 +01:00
Geoffrey White	73171682b7	C++: Switch to taint flow as suggested in the old PR.	2020-04-02 19:49:41 +01:00
Geoffrey White	b14b52d0ac	C++: Add models for std::string (as in old PR).	2020-04-02 19:49:41 +01:00
Geoffrey White	69f6790c83	C++: Add a test of taint through std::strings, based on the one in the old PR.	2020-04-02 19:49:31 +01:00