00000cab a22000003a 4500 UP-99796217608835440 Buklod 20231007234836.0 m |o d | ta 090519s xx d | ||r ||||| || DENGII eng Xu, Wei An efficient and backwards-compatible transformation to ensure memory safety of C programs. pp. 117-126 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 from one or more of the following problems: inability to detect all memory errors (e.g., Purify), requiring non-trivial modifications to existing C programs (e.g., Cyclone), changing the memory management model of C to use garbage collection (e.g., CCured), and excessive performance overheads. In this paper, we present a new approach that addresses these problems. Our approach operates via source code transformation and combines efficient data-structures with simple, localized optimizations to obtain good performance. Software. Software engineering. Software / Program Verification. Languages. Reliability. Security. C. Memory safety. Program transformation. Software engineering notes. 29, 6 (2004). FO UPD DENG-II Article