search

stg-tud / MUBench

Other
54 stars 30 forks source link

Add misuse examples from Monperrus' DMMC paper #436

Open salsolatragus opened 5 years ago

salsolatragus commented 5 years ago

Add the examples from https://www.monperrus.net/martin/dmmc