AddressSanitizer: a fast address sanity checker. Memory access bugs, including buffer overflows and uses of freed heap memory, remain a serious problem for programming languages like C and C++. Many memory error detectors exist, but most of them are either slow or detect a limited set of bugs, or both. This paper presents AddressSanitizer, a new memory error detector. Our tool finds out-of-bounds accesses to heap, stack, and global objects, as well as use-after-free bugs. It employs a specialized memory allocator and code instrumentation that is simple enough to be implemented in any compiler, binary translation system, or even in hardware. AddressSanitizer achieves efficiency without sacrificing comprehensiveness. Its average slowdown is just 73% yet it accurately detects bugs at the point of occurrence. It has found over 300 previously unknown bugs in the Chromium browser and many bugs in other software.
Keywords for this software
References in zbMATH (referenced in 3 articles )
Showing results 1 to 3 of 3.
- Raymond Carragher; Chris Robertson: c212: An R Package for the Detection of Safety Signals in Clinical Trials Using Body-Systems (System Organ Classes) (2020) not zbMATH
- Chatelain, Yohan; Petit, Eric; de Oliveira Castro, Pablo; Lartigue, Ghislain; Defour, David: Automatic exploration of reduced floating-point representations in iterative methods (2019)
- Boldyreva, Alexandra; Kim, Taesoo; Lipton, Richard; Warinschi, Bogdan: Provably-secure remote memory attestation for heap overflow protection (2016)