Evaluation of CERT Secure Coding Rules through Integration with Source Code Analysis Tools

This report describes a study conducted by the CERT Secure Coding Initiative and JPCERT to evaluate the efficacy of the CERT Secure Coding Standards and source code analysis tools in improving the quality and security of commercial software projects. In addition to assessing the ability of existing tools to detect violations of the standard, the ability to extend and improve the tools is surveyed. Finally, the use of a selected tool to improve the quality of code in the real-world case of a Japanese software vendor's product is described.

View Complete Report

Authors

Stephen Dewhurst

Chad Dougherty

Yurie Ito

David Keaton

Dan Saks

Robert C. Seacord

David Svoboda

Chris Taschner

Kazuya Togashi (JPCERT/CC)

This report is related to the following area(s) of work:

Security and Survivability

Technical Report
CMU/SEI-2008-TR-014
June 2008

For more information

Contact Us

info@sei.cmu.edu

412-268-5800