一句话：提出利用智能状态进行运行时内存错误检测，以确定且完整地发现段混淆、子对象溢出、释放后使用和内存泄漏等错误。
C 语言是系统软件实现的主流语言，但其对内存的低级控制常导致内存错误。动态分析工具虽广泛用于运行时检测内存错误，但仍不理想，因为它们无法确定且完整地检测某些类型的错误，例如段混淆错误、子对象溢出、释放后使用和内存泄漏。针对该问题，论文提出一种基于“smart status”的运行时检测方法，旨在提升对这些内存错误检测的确定性和完整性。摘要未提供具体实现细节与实验评估结果，因此无法进一步总结其方法机制与关键性能数据。
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.
DOI 原文 ·
@inproceedings{paperbot6682,
title = {Runtime detection of memory errors with smart status},
author = {Zhe Chen and Chong Wang and Junqi Yan and Yulei Sui and Jingling Xue},
booktitle = {ISSTA},
year = {2021},
doi = {10.1145/3460319.3464807}
}