Runtime detection of memory errors with smart status
Zhe Chen, Chong Wang, Junqi Yan, Yulei Sui, Jingling Xue · 2021
C is a dominant language for implementing system software. Unfortunately, its support for low-level control of memory often leads to memory errors. Dynamic analysis tools, which have been widely used for detecting memory errors at runtime, are not yet satisfactory as they cannot deterministically and completely detect some types of memory errors, e.g., segment confusion errors, sub-object overflows, use-after-frees, and memory leaks.