Accession Number:

ADA467170

Title:

Next Generation Systems Languages

Descriptive Note:

Final rept., 31 Aug 2001-1 Dec 2006

Corporate Author:

HARVARD UNIV CAMBRIDGE MA

Personal Author(s):

Report Date:

2006-12-01

Pagination or Media Count:

14.0

Abstract:

The goal of this work is to explore techniques for making todays software, which is largely written in type-unsafe, low-level languages such as C, as reliable and trustworthy as code written in type-safe, high-level languages such as Java or ML. Type-safe languages automatically block or prevent common vulnerabilities such as buffer overruns, format string attacks, and overflow attacks which are all too common in todays critical software infrastructure. To this end, we have implemented a prototype compiler called Cyclone, which provides the benefits of type safety through a combination of static analysis, programmer annotations, and run-time checks. Particular emphasis has been placed on scalable, static analyses to ensure that programmers can retain good performance and high reliability.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE