Can I read Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis on EtoBox?

Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis by Chen, Zhe (author);Wang, Chong (author);Yan, Junqi (author);Sui, Yulei (author);Xue, Jingling (author) is a nonfiction available to read on EtoBox.

What is Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis about?

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. We propose Smatus, short for smart status, a new dynamic analysis approach that supports comprehensive runtime detection of memory errors. The key innovation is to create and maintain a small status node for each memory object. Our approach tracks not only the bounds of each pointer's referent but also the status and reference count of the referent in its status node, where the status represents the liveness and segment type of the referent. A status node is smart as it is automatically destroyed when it becomes useless. To the best of our knowledge, Smatus represents the most comprehensive approach of its kind. In terms of effectiveness (for detecting more kinds of errors), Smatus outperforms state-of-theart tools, Google's AddressSanitizer, SoftBound

Who reads Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis?

Author

Chen, Zhe (author);Wang, Chong (author);Yan, Junqi (author);Sui, Yulei (author);Xue, Jingling (author)

Publisher

ACM

Published

2021

Language

EN

Category

nonfiction