Practical Verification & Safeguard Tools for C/C++

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Nov 01, 2007
Accession Number
ADA479348

Entities

People

  • F. Michaud
  • R. Carbone

Organizations

  • DRDC Valcartier

Tags

Communities of Interest

  • C4I
  • Cyber

DTIC Thesaurus Topics

  • Abstracts
  • Application Software
  • Best Practices
  • C Programming Language
  • Computer Programming
  • Computer Programs
  • Computers
  • Cybersecurity
  • Information Systems
  • Knowledge Management
  • Language
  • National Security
  • Operating Systems
  • Programming Languages
  • Security
  • Test And Evaluation
  • Web Browsers

Fields of Study

  • Computer science
  • Engineering

Readers

  • Software Engineering.

Technology Areas

  • AI & ML