Practical Verification & Safeguard Tools For C/c++

Transcript

This document is the nal report of an activity that took place in 2005-2006. The goal of this project was rst to identify common software defects related to the use of the C and C++ programming languages. Errors and vulnerabilities created by these defects were also investigated, so that meaningful test cases could be created for the evaluation of best-of- breed automatic veri cation tools. Finally, when relevant, best practices were inferred from our experiments with these tools.