Address Sanitizer工具

Address Sanitizer工具

源码

int main(int argc, char **argv) {
  int *array = new int[100];
  delete [] array;
  return array[argc];  // BOOM
}

测试

root@M800:/home/banting# vim example_UseAfterFree.cc
root@M800:/home/banting# g++ -O -g -fsanitize=address -fno-omit-frame-pointer example_UseAfterFree.cc -o example_UseAfterFree
root@M800:/home/banting# ./example_UseAfterFree
=================================================================
==6254== ERROR: AddressSanitizer: heap-use-after-free on address 0x603e0001fc64 at pc 0x417f6a bp 0x7fff626b3250 sp 0x7fff626b3248
READ of size 4 at 0x603e0001fc64 thread T0
    #0 0x417f69 in main example_UseAfterFree.cc:5
    #1 0x7fae62b5076c (/lib/x86_64-linux-gnu/libc.so.6+0x2176c)
    #2 0x417e54 (a.out+0x417e54)
0x603e0001fc64 is located 4 bytes inside of 400-byte region [0x603e0001fc60,0x603e0001fdf0)
freed by thread T0 here:
    #0 0x40d4d2 in operator delete[](void*) /home/kcc/llvm/projects/compiler-rt/lib/asan/asan_new_delete.cc:61
    #1 0x417f2e in main example_UseAfterFree.cc:4
previously allocated by thread T0 here:
    #0 0x40d312 in operator new[](unsigned long) /home/kcc/llvm/projects/compiler-rt/lib/asan/asan_new_delete.cc:46
    #1 0x417f1e in main example_UseAfterFree.cc:3
Shadow bytes around the buggy address:
  0x1c07c0003f30: fa fa fa fa fa fa fa fa fa fa fa fa fa fa fa fa
  0x1c07c0003f40: fa fa fa fa fa fa fa fa fa fa fa fa fa fa fa fa
  0x1c07c0003f50: fa fa fa fa fa fa fa fa fa fa fa fa fa fa fa fa
  0x1c07c0003f60: fa fa fa fa fa fa fa fa fa fa fa fa fa fa fa fa
  0x1c07c0003f70: fa fa fa fa fa fa fa fa fa fa fa fa fa fa fa fa
=>0x1c07c0003f80: fa fa fa fa fa fa fa fa fa fa fa fa[fd]fd fd fd
  0x1c07c0003f90: fd fd fd fd fd fd fd fd fd fd fd fd fd fd fd fd
  0x1c07c0003fa0: fd fd fd fd fd fd fd fd fd fd fd fd fd fd fd fd
  0x1c07c0003fb0: fd fd fd fd fd fd fd fd fd fd fd fd fd fd fa fa
  0x1c07c0003fc0: fa fa fa fa fa fa fa fa fa fa fa fa fa fa fa fa
  0x1c07c0003fd0: fa fa fa fa fa fa fa fa fa fa fa fa fa fa fa fa
Shadow byte legend (one shadow byte represents 8 application bytes):
  Addressable:           00
  Partially addressable: 01 02 03 04 05 06 07 
  Heap left redzone:     fa
  Heap righ redzone:     fb
  Freed Heap region:     fd
  Stack left redzone:    f1
  Stack mid redzone:     f2
  Stack right redzone:   f3
  Stack partial redzone: f4
  Stack after return:    f5
  Stack use after scope: f8
  Global redzone:        f9
  Global init order:     f6
  Poisoned by user:      f7
  ASan internal:         fe
==6254== ABORTING

注：gcc的版本要大于4.8.5

参考文献:

(GCC) gcc 编译选项 -fno-omit-frame-pointer，-fno-tree-vectorize，fno-optimize-sibling-calls；及内存泄漏、非法访问检测 ASAN - DoubleLi - 博客园 (cnblogs.com)

使用asan检测内存泄漏、堆栈溢出等问题_asan 内存泄露-CSDN博客

内存检测工具，ASan(AddressSanitizer)的介绍和使用_内存扫描工具-CSDN博客

C/C++动态检测内存错误利器 - ASan-CSDN博客

内存错误分析工具----asan(AddressSanitizer)的介绍和使用-CSDN博客

Address Sanitizer使用指南_addresssanitizer用法-CSDN博客

Address Sanitizer（Asan）原理及实战定位_asan原理-CSDN博客

linux下ｃ语言内存检测神器asan，专治各种疑难杂症_libasan-CSDN博客

内存检查之libasan.so工具-CSDN博客

AddressSanitizer · google/sanitizers Wiki · GitHub

Linux下内存检测工具asan使用介绍-腾讯云开发者社区-腾讯云 (tencent.com)

Linux下内存检测工具：asan_asan使用-CSDN博客

Linux System Calls Hooking Method Summary - 郑瀚Andrew - 博客园 (cnblogs.com)

Linux 进阶手册 - LD_PRELOAD简介 - 简书 (jianshu.com)

LD_PRELOAD的偷梁换柱之能 - Net66 - 博客园 (cnblogs.com)