Extensions to the C Programming Language for Enhanced Fault Detection (1993)

Cached

Download Links

by David W. Flater , Yelena Yesha , E. K. Park
Venue:Software -- Practice and Experience
Citations:7 - 0 self

Active Bibliography

13 Run-time type checking for binary programs – Michael Burrows, Stephen N. Freund, Janet L. Wiener - 2003
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
53 An efficient and backwards-compatible transformation to ensure memory safety of c programs – Wei Xu, Daniel C. Duvarney, R. Sekar - 2004
101 Efficient Techniques for Comprehensive Protection from Memory Error Exploits – Sandeep Bhatkar, R. Sekar, Daniel C. DuVarney - 2005
Sofiware---Practice And Experience, Vol. 22(4), 305--316 (april 1992) – Adding Run-Time Checking, Joseph L. Steffen - 1992
Backwards-compatible bounds checking for arrays and pointers in C programs – Richard Jones And, Richard W M Jones, Paul H J Kelly - 1997
60 Low-cost, Concurrent Checking of Pointer and Array Accesses in C Programs – Harish Patil, Charles Fischer
1 RUNTIME MONITORING OF C PROGRAMS FOR SECURITY AND CORRECTNESS – Suan Hsi Yong - 2004
SAFECODE: A PLATFORM FOR DEVELOPING RELIABLE SOFTWARE IN UNSAFE LANGUAGES BY – Dinakar Dhurjati
AADEBUG2003 71 Postmortem Object Type Identification – Bryan M. Cantrill - 2003
7 A Methodology for Designing Countermeasures Against Current and Future Code Injection Attacks – Yves Younan, Wouter Joosen, Frank Piessens - 2005
50 Backwards-Compatible Array Bounds Checking for C with Very Low Overhead – Dinakar Dhurjati, Vikram Adve - 2006
74 Securing Software by Enforcing Data-flow Integrity – Miguel Castro - 2006
19 Mutation Operators for Ada – A. Jefferson Offutt, Jeff Voas, Jeff Payne - 1996
AND – W. Richards Adrion, Martha A. Branstad, John C. Cherniavsky
5 Software quality through domain-driven certification – John C. Knight, Michael F. Dunn - 1998
1 A Systematic Review of Automated Test Data Generation Techniques – Shahid Mahmood, Shahid Mahmood, Ronneby Sweden - 2007
Performance-Driven Interface . . . – Tamara Lynn Dahlgren - 2008
ii DEDICATION iii TABLE OF CONTENTS – unknown authors - 2011