The Verisec Suite
Part of the Verisec project, the Verisec suite is a benchmarking suite of code examples, suitable for evaluating software model-checkers and other static analysis tools. It is based on snippets of open source programs which contained buffer overflow vulnerabilities, as well as the corresponding patched versions.
Version 0.1 is the original version, released shortly after publication of our ASE'07 paper. Version 0.2 was released in October 2008, and fixes a number of errors discovered by us and others in the original distribution.
Version 0.1 : verisec-r421.tar.gz
Version 0.2 : verisec-r525.tar.gz