5 Commits

Author	SHA1	Message	Date
Mathias Vorreiter Pedersen	688464a00f	C++: Add testcases with new and accept output	2020-03-31 12:22:07 +02:00
Geoffrey White	034f7cc948	Merge branch 'master' into model-gets	2020-03-16 15:12:36 +00:00
Geoffrey White	8dcd46f9e7	C++: Add a taint test for gets.	2020-02-24 11:25:28 +00:00
Robert Marsh	05c8610bbc	C++: tests for alias analysis of malloc	2020-02-07 16:35:58 -08:00
Geoffrey White	af903fc30c	C++: Add the security taint test (previously internal).	2020-01-24 11:28:51 +00:00