Accession Number:

ADA422592

Title:

Static Security Analysis for Open Source Software

Descriptive Note:

Final rept. Sep 2001-Mar 2004

Corporate Author:

SECURE SOFTWARE SOLUTIONS FAIRFAX VA

Personal Author(s):

Report Date:

2004-04-01

Pagination or Media Count:

15.0

Abstract:

The goal of the project, Static Security Analysis for Open Source Software, was to explore technologies to improve the security of software by helping to automate security analysis. The project successfully improved upon the best published analysis techniques and made several releases publicly available as open source software. The analysis techniques developed under this effort reduce both false positives and false negatives compared to previous techniques. Additionally, the tools developed are highly scalable and extensible. Some of these tools were adopted by other projects within the DARPA Composable High Assurance Trusted Software Program.

Subject Categories:

  • Computer Programming and Software
  • Computer Systems Management and Standards

Distribution Statement:

APPROVED FOR PUBLIC RELEASE