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:116 - 9 self

Active Bibliography

327 CCured: Type-Safe Retrofitting of Legacy Code – George C. Necula, Scott McPeak, Westley Weimer - 2002
Published in the Proceedings of the Principles of Programming Languages, 2002, pages??–?? CCured: Type-Safe Retrofitting of Legacy Code – George C. Necula, Scott Mcpeak, Westley Weimer
1 RUNTIME MONITORING OF C PROGRAMS FOR SECURITY AND CORRECTNESS – Suan Hsi Yong - 2004
1 Taming C Pointers – George Necula, Scott Mcpeak, Wes Weimer - 2002
523 DART: Directed automated random testing – Patrice Godefroid, Nils Klarlund, Koushik Sen - 2005
52 An efficient and backwards-compatible transformation to ensure memory safety of c programs – Wei Xu, Daniel C. Duvarney, R. Sekar - 2004
589 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
132 Enhancing Server Availability and Security Through Failure-Oblivious Computing – Martin Rinard, Cristian Cadar, Daniel Dumitran, Daniel M. Roy, Tudor Leu, William S. Beebee - 2004
Using Peer-Led Team Learning to Increase Participation . . . – Susan Horwitz, et al. - 2009