Verisec suite a benchmarking suite of code examples, for for the evaluation of model-checkers and static analysis tools SecuObs - L'observatoire de la sécurite internet - Site d'informations professionnelles francophone sur la sécurité informatique

http://www.reddit.com/r/ReverseEngineering/comments/1fkrt9/verisec_suite_a_benchmarking_suite_of_code/
pour le site ReverseEngineering