Verisec Suite

From SE Wiki
Revision as of 16:37, 22 December 2010 by 128.100.4.130 (Talk)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

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.

Download

Version 0.1 : verisec-r421.tar.gz

Version 0.2 : verisec-r525.tar.gz