Practical Verification & Safeguard Tools for C/C++

PDF

Authors
  1. Michaud, F.
  2. Carbone, R.
Corporate Authors
Defence R&D Canada - Valcartier, Valcartier QUE (CAN)
Abstract
This document is the final report of an activity that took place in 2005-2006. The goal of this project was first 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 verification tools. Finally, when relevant, best practices were inferred from our experiments with these tools.

Il y a un résumé en français ici.

Report Number
DRDC-VALCARTIER-TR-2006-735 — Technical Report
Date of publication
01 Nov 2007
Number of Pages
71
DSTKIM No
CA030426
CANDIS No
528977
Format(s):
CD ROM

Permanent link

Document 1 of 1

Date modified: