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...

সম্পূর্ণ বিবরণ

গ্রন্থ-পঞ্জীর বিবরন
প্রকাশিত:Software engineering notes. 29, 6 (2004).
প্রধান লেখক: Xu, Wei
বিন্যাস: প্রবন্ধ
ভাষা:English
বিষয়গুলি: