CCured in the Real World (2003)
Cached
Download Links
by
Jeremy Condit
,
Matthew Harren
,
Scott Mcpeak
,
George C. Necula
,
Westley Weimer
| Venue: | In Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation |
| Citations: | 79 - 3 self |
BibTeX
@INPROCEEDINGS{Condit03ccuredin,
author = {Jeremy Condit and Matthew Harren and Scott Mcpeak and George C. Necula and Westley Weimer},
title = {CCured in the Real World},
booktitle = {In Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation},
year = {2003},
pages = {232--244},
publisher = {ACM Press}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
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.
