Next Generation Systems Languages
Final rept., 31 Aug 2001-1 Dec 2006
HARVARD UNIV CAMBRIDGE MA
Pagination or Media Count:
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.
- Computer Programming and Software