Static Analysis for Detecting Vulnerabilities in COTS

Abstract

This is the final report of a project to study object code analysis, rewriting, and regeneration; interacting with Univ. of Wisconsin on enhancements to and applications of CodeSurfer/x86 and Weighted Moped; and supporting DOD clients in their evaluation of assurance and understanding tools developed at GrammaTech. This one-year project was a continuation of a two-year effort that involved two CIP/SW MURIs at the University of Wisconsin and Carnegie-Mellon University (CMU) managed by the Office of Naval Research (ONR), and four separately funded GrammaTech projects with similar goals.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 07, 2005
Accession Number
ADA431817

Entities

People

  • Radu Gruian
  • Tim Teitelbaum

Organizations

  • GrammaTech

Tags

Communities of Interest

  • Cyber

DTIC Thesaurus Topics

  • Computer Programming
  • Computer Programs
  • Computers
  • Contracts
  • Department Of Defense
  • Detection
  • Governments
  • Instructions
  • Intellectual Property
  • Language
  • Military Research
  • Object Code
  • Programming Languages
  • Test And Evaluation
  • Universities
  • Vulnerability
  • Wisconsin

Readers

  • Research Science/Academic Research
  • Software Engineering.