George C. Necula, Jeremy Condit, Matthew Harren, Scott McPeak, Westley Weimer  Home/Search
Context
Related
| berkeley.edu/~matth/papers...ccured.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: berkeley.edu/~matth/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper describes CCured, a program transformation system that adds type safety guarantees to existing C programs. CCured attempts to verify statically that memory errors cannot occur, and it inserts run-time checks where static verification is insu#cient (Update)
Similar documents based on text: More All
1.0: CCured in the Real World - Jeremy Condit Matthew (2003) (Correct)
0.5: CCured: Type-Safe Retrofitting of Legacy Code - Necula, McPeak, Weimer (2002) (Correct)
0.4: Lightweight Wrappers for Interfacing with Binary Code in CCured - Harren, Necula (Correct)
BibTeX entry: (Update)
@misc{ necula-ccured,
author = "George C. Necula and Jeremy Condit and Matthew Harren and Scott McPeak
and Westley Weimer",
title = "CCured: Type-Safe Retrofitting of Legacy Software",
url = "citeseer.ist.psu.edu/643521.html" }
Citations not processed or no citations identified.
Documents on the same site (http://www.cs.berkeley.edu/~matth/):
Lightweight Wrappers for Interfacing with Binary Code in CCured - Harren, Necula (Correct)
Lightweight Wrappers for Interfacing with Binary Code in CCured - Matthew Harren May (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC