George Necula, Scott McPeak, Wes Weimer  Home/Search
Context
Related
| berkeley.edu/ccured/pldi02.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/ccured/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present the sound CCured type system for C programs that classifies pointers according to their usage and instructs a source-to-source translator to extend the program with run-time checks in order to guarantee memory safety. CCured can be used on existing C programs thanks to a simple pointer-kind inferencer which on many programs discovers that over 80% of the pointers are type-safe. (Update)
Active bibliography (related documents): More All
0.6: CCured in the Real World - Condit, Harren, McPeak, Necula.. (2003) (Correct)
0.6: CCured: Type-Safe Retrofitting of Legacy Code - Necula, McPeak, Weimer (2002) (Correct)
0.6: Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
Similar documents based on text: More All
0.4: CIL: Intermediate Language and Tools for Analysis and.. - Necula, McPeak.. (2002) (Correct)
0.4: CCured: Type-Safe Retrofitting of Legacy Software - Necula, Condit, Harren.. (Correct)
0.2: A Certifying Compiler for Java - Colby, Lee, Necula, Blau, Plesko.. (2000) (Correct)
BibTeX entry: (Update)
@misc{ necula-taming,
author = "George Necula and Scott McPeak and Wes Weimer",
title = "Taming C Pointers",
url = "citeseer.ist.psu.edu/necula02taming.html" }
Citations (may not include all citations):315 Dynamic typing in a statically typed language - Abadi, Cardelli et al. - 1991
98 Purify: Fast detection of memory leaks and access errors (context) - Hastings, Joyce - 1991
78 Soft typing - Cartwright, Fagan - 1991
67 CCured: Type-safe retrofitting of legacy code - Necula, McPeak et al. - 2002
50 A certifying compiler for Java - Colby, Lee et al. - 2000
48 Global tagging optimization by type inference - Henglein - 1992
34 Backwards-compatible bounds checking for arrays and pointers.. - Jones, Kelly - 1997
31 Olden: Parallelizing Programs with Dynamic Data Structures o.. (context) - Carlisle - 1996
25 concurrent checking of pointer and array accesses in C progr.. (context) - Patil, Fischer - 1997
23 Debugging via run-time type checking - Loginov, Yong et al. - 2001
22 cient detection of all pointer and array access errors (context) - Austin, Breach et al. - 1994
22 Aggregate structure identification and its application to pr.. - Ramalingam, Field et al.
21 an interpreter-based programming environment for the C langu.. (context) - Kaufer, Lopez et al. - 1988
20 Physical type checking for C - Chandra, Reps - 1999
10 A practical approach to type inference for EuLisp - Kind, Friedrich - 1993
5 cient run-time monitoring using shadow processing (context) - Patil, Fischer - 1995
Documents on the same site (http://manju.cs.berkeley.edu/ccured/):
CCured: Type-Safe Retrofitting of Legacy Code - Necula, McPeak, Weimer (2002) (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