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

Active Bibliography

324 CCured: Type-Safe Retrofitting of Legacy Code – George C. Necula, Scott McPeak, Westley Weimer - 2002
1 RUNTIME MONITORING OF C PROGRAMS FOR SECURITY AND CORRECTNESS – Suan Hsi Yong - 2004
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 Taming C Pointers – George Necula, Scott Mcpeak, Wes Weimer - 2002
53 An efficient and backwards-compatible transformation to ensure memory safety of c programs – Wei Xu, Daniel C. Duvarney, R. Sekar - 2004
19 Memory safety without garbage collection for embedded applications – Dinakar Dhurjati, Sumant Kowshik, Vikram Adve, Chris Lattner - 2005
4 Using Static Analysis to Reduce Dynamic Analysis Overhead – Suan Hsi Yong, Susan Horwitz - 2003
3 Enhancing Availability and Security Through Failure-Oblivious Computing – Martin Rinard, Cristian Cadar, Daniel Dumitran, Daniel M. Roy, William S. Beebee Jr.
133 Enhancing Server Availability and Security Through Failure-Oblivious Computing – Martin Rinard, Cristian Cadar, Daniel Dumitran, Daniel M. Roy, Tudor Leu, William S. Beebee - 2004
18 Preventing Format-String Attacks via Automatic and Efficient Dynamic Checking – Michael F. Ringenburg, Dan Grossman - 2005
90 CCured in the Real World – Jeremy Condit, Matthew Harren, Scott Mcpeak, George C. Necula, Westley Weimer - 2003
25 Baggy Bounds Checking: An Efficient and Backwards-Compatible Defense against Out-of-Bounds Errors – Periklis Akritidis, Manuel Costa, Miguel Castro, Steven Hand
6 Architectural support for safe software execution on embedded processors – Divya Arora, Anand Raghunathan, Srivaths Ravi, Niraj K. Jha - 2006
55 AccMon: Automatically Detecting Memory-related Bugs via Program Counter-based Invariants – Pin Zhou, Wei Liu, Long Fei, Shan Lu, Feng Qin, Yuanyuan Zhou, Samuel Midkiff, Josep Torrellas - 2004
14 Safe manual memory management – David Gay, Rob Ennals, Eric Brewer
3 Runtime countermeasures for code injection attacks against C and C++ programs – Yves Younan, Wouter Joosen, Frank Piessens
1 Improving memory management security for c and c – Yves Younan, Wouter Joosen, Frank Piessens, Hans Van Den Eynden - 2010
1 Reducing the Overhead of Dynamic Analysis – Suan Hsi Yong, Susan Horwitz - 2002
2 WHATSAT: Dynamic heap type inference for program understanding and debugging – Marina Polishchuk, Ben Liblit, Chloë W. Schulze, Marina Polishchuk - 2006