2 Commits

Author	SHA1	Message	Date
Ralf Jung	e6822d60b3	make sure we find some things without validation or stacked borrows, respectively	2020-04-14 10:23:47 +02:00
Ralf Jung	77cc0cddd9	add test for validation finding use-after-free	2020-03-19 08:25:08 +01:00