Jeremy Condit, Matthew Harren, Scott McPeak, George C. Necula, Westley Weimer  Home/Search
Context Related
| berkeley.edu/~weim...InTheRealWorld.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 Problem Downloading? From: berkeley.edu/ (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 - Jeremy Condit Matthew (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.5: Lightweight Wrappers for Interfacing with Binary Code in CCured - Harren, Necula (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/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/condit03ccured.html" }
Citations (may not include all citations):315 Dynamic typing in a statically typed language - Abadi, Cardelli et al. - 1991 ACM DBLP
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 DBLP
78 Soft typing - Cartwright, Fagan - 1991 ACM DBLP
67 CCured: Type-safe retrofitting of legacy code - Necula, McPeak et al. - 2002 DBLP
65 A practical soft type system for Scheme - Wright, Cartwright - 1997 ACM DBLP
48 Global tagging optimization by type inference - Henglein - 1992 ACM DBLP
34 Backwards-compatible bounds checking for arrays and pointers.. - Jones, Kelly - 1997 DBLP
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 ACM DBLP
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 ACM DBLP
23 Dynamic typing as staged type inference - Shields, Sheard et al. - 1998 ACM DBLP
22 Aggregate structure identification and its application to pr.. - Ramalingam, Field et al. - 1999 ACM DBLP
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 ACM DBLP
17 Coping with type casts in C - Si, Chandra et al. - 1999 ACM DBLP
14 A sound polymorphic type system for a dialect of C - Smith, Volpano - 1998 ACM DBLP
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 ACM DBLP
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://osq.cs.berkeley.edu/):
Lazy Abstraction - Henzinger, Jhala, Majumdar, Sutre (2002) (Correct)
Public Deployment of Cooperative Bug Isolation - Ben Liblit Liblit (2004) (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