CCured: Type-Safe Retrofitting of Legacy Software (2005)

by George C. Necula , Jeremy Condit , Matthew Harren , Scott Mcpeak , Westley Weimer
Venue:ACM Transactions on Programming Languages and Systems
Citations:113 - 9 self

Documents Related by Co-Citation

319 Cyclone: A safe dialect of C – Trevor Jim, Greg Morrisett , Dan Grossman , Michael Hicks , James Cheney, Yanling Wang
187 Backwards-compatible bounds checking for arrays and pointers in C programs – Richard W M Jones, Paul H J Kelly, Most C, Uncaught Errors - 1997
50 Backwards-Compatible Array Bounds Checking for C with Very Low Overhead – Dinakar Dhurjati, Vikram Adve - 2006
156 A Practical Dynamic Buffer Overflow Detector – Olatunji Ruwase, Monica S. Lam - 2004
684 Efficient Software-Based Fault Isolation – Robert Wahbe, Steven Lucco, Thomas E. Anderson, Susan L. Graham - 1993
47 Protecting C programs from attacks via invalid pointer dereferences – Suan Hsi Yong, Susan Horwitz - 2003
213 Efficient Detection of All Pointer and Array Access Errors – Todd M. Austin, Scott E. Breach, Gurindar S. Sohi - 1994
19 Memory safety without garbage collection for embedded applications – Dinakar Dhurjati, Sumant Kowshik, Vikram Adve, Chris Lattner - 2005
69 SafeDrive: Safe and recoverable extensions using language-based techniques – Feng Zhou, Jeremy Condit, Zachary Anderson, Ilya Bagrak - 2006
58 Dependent types for low-level programming – Jeremy Condit, Matthew Harren, Zachary Anderson, David Gay, George C. Necula - 2007
40 Modular checking for buffer overflows in the large – Brian Hackett, Manuvir Das, Daniel Wang, Zhe Yang - 2006
405 CIL: Intermediate language and tools for analysis and transformation of C programs – George C. Necula, Scott Mcpeak, Shree P. Rahul, Westley Weimer - 2002
421 LLVM: A compilation framework for lifelong program analysis & transformation – Chris Lattner, Vikram Adve - 2004
53 An efficient and backwards-compatible transformation to ensure memory safety of c programs – Wei Xu, Daniel C. Duvarney, R. Sekar - 2004
232 Improving the reliability of commodity operating systems – Michael M. Swift, Brian N. Bershad, Henry M. Levy - 2003
303 Purify: Fast detection of memory leaks and access errors – Reed Hastings, Bob Joyce - 1991
262 Secure Execution Via Program Shepherding – Vladimir Kiriansky , Derek Bruening, Saman Amarasinghe - 2002
133 DieHard: probabilistic memory safety for unsafe languages – Emery D. Berger, Benjamin G. Zorn - 2006
59 Olden: Parallelizing Programs with Dynamic Data Structures on DistributedMemory Machines – M C Carlisle - 1996