Jeremy Condit Matthew Harren Scott McPeak George C. Necula Westley Weimer...  Home/Search
Context Related
| berkeley.edu/~jcon...curedpldi2003.ps 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/~jcondit/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: CCured is a program transformation system that adds memory safety guarantees to C programs by verifying statically that memory errors cannot occur and by inserting run-time checks where static verification is insu#cient. (Update)
Cited by: More
An Efficient and Backwards-Compatible Transformation to.. - Xu, DuVarney, Sekar (2004) (Correct)
AccMon: Automatically Detecting Memory-related.. - Zhou, Liu, Fei.. (2004) (Correct)
Code Inection in C and CPP: A Survey of Vulnerabilities.. - Younan, Joosen, Piessens (2004) (Correct)
Active bibliography (related documents): More All
2.7: CCured in the Real World - Condit, Harren, McPeak, Necula.. (2003) (Correct)
1.1: CCured: Type-Safe Retrofitting of Legacy Code - Necula, McPeak, Weimer (2002) (Correct)
0.6: Taming C Pointers - Necula, McPeak, Weimer (2002) (Correct)
Similar documents based on text: More All
1.0: CCured: Type-Safe Retrofitting of Legacy Software - Necula, Condit, Harren.. (Correct)
0.4: Lightweight Wrappers for Interfacing with Binary Code in CCured - Matthew Harren May (Correct)
0.3: Capriccio: Scalable Threads for Internet Services - von Behren, Condit, Zhou.. (2003) (Correct)
Related documents from co-citation: More All
12: CCured: Type-safe retrofitting of legacy code - Necula, McPeak et al. - 2002
9: Purify: fast detection of memory leaks and access errors (context) - Hastings, Joyce - 1992
8: concurrent checking of pointer and array accesses in C programs (context) - Patil, Fischer - 1997
BibTeX entry: (Update)
J. Condit, M. Harren, S. McPeak, G. Necula, and W. Weimer. CCured in the real world. In ACM SIGPLAN Conf. on Programming Language Design and Implementation, pp. 232--244, San Diego, CA, June 2003. http://citeseer.ist.psu.edu/article/condit03ccured.html More
@misc{ condit03ccured,
author = "J. Condit and M. Harren and S. McPeak and G. Necula and W. Weimer",
title = "CCured in the real world",
text = "J. Condit, M. Harren, S. McPeak, G. Necula, and W. Weimer. CCured in the
real world. In ACM SIGPLAN Conf. on Programming Language Design and Implementation,
pp. 232--244, San Diego, CA, June 2003.",
year = "2003",
url = "citeseer.ist.psu.edu/article/condit03ccured.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 - 1992
88 Cyclone: A safe dialect of C - Jim, Morrisett et al. - 2002
78 Soft typing - Cartwright, Fagan - 1991
67 CCured: Type-safe retrofitting of legacy code - Necula, McPeak et al. - 2002
65 A practical soft type system for Scheme - Wright, Cartwright - 1997
48 Global tagging optimization by type inference - Henglein - 1992
34 Backwards-compatible bounds checking for arrays and pointers.. - Jones, Kelly - 1997
33 A theory of type qualifiers - Foster, Fahndrich et al. - 1999
31 Olden: Parallelizing Programs with Dynamic Data Structures o.. (context) - Carlisle - 1996
31 A first step toward automated detection of bu#er overrun vul.. (context) - Wagner, Foster et al. - 2000
28 Quasi-static typing (context) - Thatte - 1990
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
23 Dynamic typing as staged type inference - Shields, Sheard et al. - 1998
22 Aggregate structure identification and its application to pr.. - Ramalingam, Field et al. - 1999
22 cient detection of all pointer and array access errors (context) - Austin, Breach et al. - 1994
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
17 Coping with type casts in C - Si, Chandra et al. - 1999
14 A sound polymorphic type system for a dialect of C - Smith, Volpano - 1998
11 open source memory debugger x GNULinux (context) - an, memory et al. - 2003
10 A practical approach to type inference for EuLisp - Kind, Friedrich - 1993
5 cient run-time monitoring using shadow processing (context) - Patil, Fischer - 1995
2 PHP3 / PHP4 format string vulnerability (context) - com - 2000
2 12: Bu#er overflow in sendmail (context) - Center, ca-- - 2003
2 The CCured type system and type inference (context) - Weimer - 2002
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.berkeley.edu/~jcondit/):
Capriccio: Scalable Threads for Internet Services - von Behren, Condit, Zhou.. (2003) (Correct)
Why Events Are a Bad Idea (for High-Concurrency Servers) - von Behren, Condit, Brewer (2003) (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