An efficient and backwards-compatible transformation to ensure memory safety of C programs

Memory-related errors, such as buffer overflows and dangling pointers, remain one of the principal reasons for failures of C programs. As a result, a number of recent research efforts have focused on the problem of dynamic detection of memory errors in C programs. However, existing approaches suffer...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Software engineering notes 2004-11, Vol.29 (6), p.117-126
Hauptverfasser:	Xu, Wei, DuVarney, Daniel C., Sekar, R.
Format:	Artikel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!