Λεπτομέρειες βιβλιογραφικής εγγραφής
| Τίτλος: |
MixSan: Enhancing Address-Based Memory Sanitizers with Fused Metadata and Hybrid Detection. |
| Συγγραφείς: |
Lu, Xiaoyu, Wei, Qiang, Wang, Yunfeng, Wu, Qilong |
| Πηγή: |
Applied Sciences (2076-3417); Sep2026, Vol. 16 Issue 17, p8400, 23p |
| Θεματικοί όροι: |
Metadata, Computer software testing, Computer performance, Defect tracking (Computer software development) |
| Περίληψη: |
Featured Application: This work presents a practical memory sanitizer for C/C++ testing that improves coverage of post-reuse temporal errors and redzone-skipping spatial errors while retaining competitive runtime overhead. During software testing, memory errors in C/C++ can silently corrupt the program state. Address-based memory sanitizers, while offering practical performance and compatibility, are fundamentally unable to distinguish spatial errors that skip redzones or temporal errors that occur after memory reuse. Moreover, their reuse-delay quarantine mechanisms impose significant space and time overhead. We propose a taxonomy of memory sanitizers based on validity encoding and violation detection. Guided by this taxonomy, we introduce fused metadata, a single 8-byte word that encodes an object's end address and a 6-bit identity tag. MixSan, a prototype built on RangeSanitizer (RSan), stores the same identity tag in pointer high bits through Intel Linear Address Masking (LAM) U57 and validates both the tag and the spatial bound with a unified 3-ALU-op check. On SPEC CPU2006, MixSan incurs a 1.58× geomean runtime overhead, comparable to RSan's 1.61× overhead. On the Larson allocator benchmark, MixSan and the uninstrumented tcmalloc both scale with thread count, whereas RSan throughput falls; MixSan's multi-thread plateau is more than 30× that of RSan. In a custom 97-test suite targeting post-reuse temporal errors and redzone-skipping spatial errors, MixSan's mean single-run detection rate is 98.41% over 10 4 independent executions per program, matching the theoretical 63 / 64 rate given a uniform 6-bit tag distribution, whereas ASan and RSan do not detect these constructed cases. [ABSTRACT FROM AUTHOR] |
|
Copyright of Applied Sciences (2076-3417) is the property of MDPI and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) |
| Βάση Δεδομένων: |
Complementary Index |