當(dāng)前位置：首頁(yè) > 公眾號(hào)精選 > CPP開(kāi)發(fā)者

C/C ?動(dòng)態(tài)檢測(cè)內(nèi)存錯(cuò)誤利器?-?ASan

時(shí)間：2021-11-04 16:07:22
關(guān)鍵字： 內(nèi)存   
手機(jī)看文章

掃描二維碼
隨時(shí)隨地手機(jī)看文章

[導(dǎo)讀]↓推薦關(guān)注↓ASan，即AddressSanitizer，是一個(gè)適用于c/c程序的動(dòng)態(tài)內(nèi)存錯(cuò)誤檢測(cè)器，它由一個(gè)編譯器檢測(cè)模塊（LLVMpass）和一個(gè)替換malloc函數(shù)的運(yùn)行時(shí)庫(kù)組成，在性能及檢測(cè)內(nèi)存錯(cuò)誤方面都優(yōu)于Valgrind，你值得擁有。一、適用平臺(tái)在LLVM3.1版之后...



ASan，即Address Sanitizer，是一個(gè)適用于c/c 程序的動(dòng)態(tài)內(nèi)存錯(cuò)誤檢測(cè)器，它由一個(gè)編譯器檢測(cè)模塊（LLVM pass）和一個(gè)替換malloc函數(shù)的運(yùn)行時(shí)庫(kù)組成，在性能及檢測(cè)內(nèi)存錯(cuò)誤方面都優(yōu)于Valgrind，你值得擁有。


一、適用平臺(tái)

在LLVM3.1版之后，ASan就是其的一個(gè)組成部分，所以所有適用LLVM的平臺(tái)，且llvm版本大于3.1的，都可以適用ASan來(lái)檢查c/c 內(nèi)存錯(cuò)誤。


對(duì)于gcc，則是4.8版本之后才加入ASan，但是ASan的完整功能則是要gcc版本在4.9.2以上。


二、強(qiáng)大功能

ASan作為編譯器內(nèi)置功能，支持檢測(cè)各種內(nèi)存錯(cuò)誤：


  • 緩沖區(qū)溢出
① 堆內(nèi)存溢出


② 棧上內(nèi)存溢出


③ 全局區(qū)緩存溢出


  • 懸空指針（引用）
① 使用釋放后的堆上內(nèi)存


② 使用返回的棧上內(nèi)存


③ 使用退出作用域的變量


  • 非法釋放
① 重復(fù)釋放


② 無(wú)效釋放


  • 內(nèi)存泄漏
  • 初始化順序?qū)е碌膯?wèn)題
ASan和Valgrind對(duì)比如下圖：


三、如何使用

  1. 使用ASan時(shí)，只需gcc選項(xiàng)加上-fsanitize=address選項(xiàng)；
  2. 如果想要在使用asan的時(shí)候獲取更好的性能，可以加上O1或者更高的編譯優(yōu)化選項(xiàng)；
  3. 想要在錯(cuò)誤信息中讓棧追溯信息更友好，可以加上-fno-omit-frame-pointer選項(xiàng)。
  4. 本文針對(duì)linux x86-64平臺(tái)，gcc編譯器環(huán)境實(shí)驗(yàn)。
本文實(shí)驗(yàn)環(huán)境：


[root@yglocal ~]# lsb_release -a
LSB Version:    :core-4.1-amd64:core-4.1-noarch
Distributor ID: CentOS
Description:    CentOS Linux release 8.1.1911 (Core)
Release:        8.1.1911
Codename:       Core
[root@yglocal ~]# uname -r
4.18.0-147.el8.x86_64
[root@yglocal ~]# gcc --version
gcc (GCC) 8.3.1 20190507 (Red Hat 8.3.1-4)
Copyright (C) 2018 Free Software Foundation, Inc.
This is free software; see the source for copying conditions.  There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE
在centos上使用ASan，編譯會(huì)報(bào)如下錯(cuò)誤（gcc 4.8.5）：


[root@localhost test]# gcc -g -O2 -fsanitize=address -fno-omit-frame-pointer hello.c
/usr/bin/ld: cannot find /usr/lib64/libasan.so.0.0.0
collect2: error: ld returned 1 exit status
安裝libasan即可：


[root@localhost test]# yum install libasan
注：ubuntu x86-64系統(tǒng)只需gcc版本高于4.8即可；但是在rhel/centos上使用ASan功能，除了gcc版本大于4.8之外，還需要安裝libasan。


下面針對(duì)內(nèi)存的幾種c/c 常見(jiàn)內(nèi)存錯(cuò)誤，編寫(xiě)例子，看下ASan的檢測(cè)輸出情況：


1、堆緩沖區(qū)溢出


測(cè)試代碼：


[root@yglocal asan_test]# vi heap_ovf_test.c

#include 
#include 
#include 

int main()
{
char *heap_buf = (char*)malloc(32*sizeof(char));
memcpy(heap_buf 30, "overflow", 8);    //在heap_buf的第30個(gè)字節(jié)開(kāi)始，拷貝8個(gè)字符

free(heap_buf);

return 0;
}
編譯并運(yùn)行：


[root@yglocal asan_test]# gcc -fsanitize=address -fno-omit-frame-pointer -o heap_ovf_test heap_ovf_test.c
[root@yglocal asan_test]# ./heap_ovf_test
=================================================================
==40602==ERROR: AddressSanitizer: heap-buffer-overflow on address 0x603000000030 at pc 0x7f3de8f91a1d bp 0x7ffd4b4ebb60 sp 0x7ffd4b4eb308
WRITE of size 8 at 0x603000000030 thread T0
#0 0x7f3de8f91a1c  (/lib64/libasan.so.5 0x40a1c)
#1 0x400845 in main (/root/asan_test/heap_ovf_test 0x400845)
#2 0x7f3de8bb1872 in __libc_start_main (/lib64/libc.so.6 0x23872)
#3 0x40075d in _start (/root/asan_test/heap_ovf_test 0x40075d)

0x603000000030 is located 0 bytes to the right of 32-byte region [0x603000000010,0x603000000030)
allocated by thread T0 here:
#0 0x7f3de9040ba8 in __interceptor_malloc (/lib64/libasan.so.5 0xefba8)
#1 0x400827 in main (/root/asan_test/heap_ovf_test 0x400827)
#2 0x7f3de8bb1872 in __libc_start_main (/lib64/libc.so.6 0x23872)

SUMMARY: AddressSanitizer: heap-buffer-overflow (/lib64/libasan.so.5 0x40a1c)
Shadow bytes around the buggy address:
0x0c067fff7fb0: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
0x0c067fff7fc0: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
0x0c067fff7fd0: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
0x0c067fff7fe0: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
0x0c067fff7ff0: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
=>0x0c067fff8000: fa fa 00 00 00 00[fa]fa fa fa fa fa fa fa fa fa
0x0c067fff8010: fa fa fa fa fa fa fa fa fa fa fa fa fa fa fa fa
0x0c067fff8020: fa fa fa fa fa fa fa fa fa fa fa fa fa fa fa fa
0x0c067fff8030: fa fa fa fa fa fa fa fa fa fa fa fa fa fa fa fa
0x0c067fff8040: fa fa fa fa fa fa fa fa fa fa fa fa fa fa fa fa
0x0c067fff8050: 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
Freed heap region:       fd
Stack left redzone:      f1
Stack mid redzone:       f2
Stack right redzone:     f3
Stack after return:      f5
Stack use after scope:   f8
Global redzone:          f9
Global init order:       f6
Poisoned by user:        f7
Container overflow: fc
Array cookie:            ac
Intra object redzone:    bb
ASan internal:           fe
Left alloca redzone:     ca
Right alloca redzone:    cb
==40602==ABORTING
[root@yglocal asan_test]#
可以看到asan報(bào)錯(cuò)：==40602==ERROR: AddressSanitizer: heap-buffer-overflow on address 0x603000000030 at xxxx,下面也列出了發(fā)生heap-buffer-overflow時(shí)的調(diào)用鏈及heap buffer在哪里申請(qǐng)的。


2、棧緩沖區(qū)溢出


測(cè)試代碼：


[root@yglocal asan_test]# vi stack_ovf_test.c

#include 
#include 

int main()
{
char stack_buf[4] = {0};
strcpy(stack_buf, "1234");
return 0;
}
編譯并運(yùn)行：


[root@yglocal asan_test]# ./stack_ovf_test
=================================================================
==38634==ERROR: AddressSanitizer: stack-buffer-overflow on address 0x7ffcf3d8b8d4 at pc 0x7f8714bbaa1d bp 0x7ffcf3d8b8a0 sp 0x7ffcf3d8b048
WRITE of size 5 at 0x7ffcf3d8b8d4 thread T0
#0 0x7f8714bbaa1c  (/lib64/libasan.so.5 0x40a1c)
#1 0x400949 in main (/root/asan_test/stack_ovf_test 0x400949)
#2 0x7f87147da872 in __libc_start_main (/lib64/libc.so.6 0x23872)
#3 0x4007cd in _start (/root/asan_test/stack_ovf_test 0x4007cd)

Address 0x7ffcf3d8b8d4 is located in stack of thread T0 at offset 36 in frame
#0 0x400895 in main (/root/asan_test/stack_ovf_test 0x400895)

This frame has 1 object(s):
[32, 36) 'stack_buf' <== Memory access at offset 36 overflows this variable
HINT: this may be a false positive if your program uses some custom stack unwind mechanism or swapcontext
(longjmp and C  exceptions *are* supported)
SUMMARY: AddressSanitizer: stack-buffer-overflow (/lib64/libasan.so.5 0x40a1c)
Shadow bytes around the buggy address:
0x10001e7a96c0: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
0x10001e7a96d0: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
0x10001e7a96e0: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
0x10001e7a96f0: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
0x10001e7a9700: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
=>0x10001e7a9710: 00 00 00 00 00 00 f1 f1 f1 f1[04]f2 f2 f2 f3 f3
0x10001e7a9720: f3 f3 00 00 00 00 00 00 00 00 00 00 00 00 00 00
0x10001e7a9730: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
0x10001e7a9740: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
0x10001e7a9750: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
0x10001e7a9760: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
......
可以看到asan報(bào)錯(cuò)：==38634==ERROR: AddressSanitizer: stack-buffer-overflow on address 0x7ffcf3d8b8d4 at xxx，發(fā)生stack buffer overflow時(shí)函數(shù)的調(diào)用鏈信息。


3、使用懸空指針


測(cè)試代碼：


[root@yglocal asan_test]# vi dangling_pointer_test.c

#include 
#include 
#include 

int main()
{
char *p = (char*)malloc(32*sizeof(char));
free(p);

int a = p[1];

return 0;
}
編譯并運(yùn)行：


[root@yglocal asan_test]# gcc -fsanitize=address -fno-omit-frame-pointer -o dangling_pointer_test dangling_pointer_test.c
[root@yglocal asan_test]# ./dangling_pointer_test
===================================================================83532==ERROR:
AddressSanitizer: heap-use-after-free on address 0x603000000011 at pc 0x0000004007c4 bp 0x7ffd7f562760 sp 0x7ffd7f562750
READ of size 1 at 0x603000000011 thread T0
#0 0x4007c3 in main (/root/asan_test/dangling_pointer_test 0x4007c3)
#1 0x7f56196cd872 in __libc_start_main (/lib64/libc.so.6 0x23872)
#2 0x4006ad in _start (/root/asan_test/dangling_pointer_test 0x4006ad)
0x603000000011 is located 1 bytes inside of 32-byte region [0x603000000010,0x603000000030)
freed by thread T0 here:
#0 0x7f5619b5c7e0 in __interceptor_free (/lib64/libasan.so.5 0xef7e0)
#1 0x400787 in main (/root/asan_test/dangling_pointer_test 0x400787)
#2 0x7f56196cd872 in __libc_start_main (/lib64/libc.so.6 0x23872)
previously allocated by thread T0 here:
#0 0x7f5619b5cba8 in __interceptor_malloc (/lib64/libasan.so.5 0xefba8)
#1 0x400777 in main (/root/asan_test/dangling_pointer_test 0x400777)
#2 0x7f56196cd872 in __libc_start_main (/lib64/libc.so.6 0x23872)
SUMMARY: AddressSanitizer: heap-use-after-free (/root/asan_test/dangling_pointer_test 0x4007c3) in main
Shadow bytes around the buggy address:
0x0c067fff7fb0: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
0x0c067fff7fc0: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
0x0c067fff7fd0: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
0x0c067fff7fe0: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
0x0c067fff7ff0: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
=>0x0c067fff8000: fa fa[fd]fd fd fd fa fa fa fa fa fa fa fa fa fa
0x0c067fff8010: fa fa fa fa fa fa fa fa fa fa fa fa fa fa fa fa
0x0c067fff8020: fa fa fa fa fa fa fa fa fa fa fa fa fa fa fa fa
0x0c067fff8030: fa fa fa fa fa fa fa fa fa fa fa fa fa fa fa fa
0x0c067fff8040: fa fa fa fa fa fa fa fa fa fa fa fa fa fa fa fa
0x0c067fff8050: 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):
......
4、使用棧上返回的變量


[root@yglocal asan_test]# vi use-after-return.c

#include 
#include 
#include 
int *ptr;
void get_pointer()
{
int local[10];
ptr = 
本站聲明： 本文章由作者或相關(guān)機(jī)構(gòu)授權(quán)發(fā)布，目的在于傳遞更多信息，并不代表本站贊同其觀點(diǎn)，本站亦不保證或承諾內(nèi)容真實(shí)性等。需要轉(zhuǎn)載請(qǐng)聯(lián)系該專欄作者，如若文章內(nèi)容侵犯您的權(quán)益，請(qǐng)及時(shí)聯(lián)系本站刪除。
換一批
延伸閱讀

9月2日消息，不造車(chē)的華為或?qū)⒋呱龈蟮莫?dú)角獸公司，隨著阿維塔和賽力斯的入局，華為引望愈發(fā)顯得引人矚目。

關(guān)鍵字： 阿維塔 塞力斯 華為

倫敦2024年8月29日 /美通社/ -- 英國(guó)汽車(chē)技術(shù)公司SODA.Auto推出其旗艦產(chǎn)品SODA V，這是全球首款涵蓋汽車(chē)工程師從創(chuàng)意到認(rèn)證的所有需求的工具，可用于創(chuàng)建軟件定義汽車(chē)。 SODA V工具的開(kāi)發(fā)耗時(shí)1.5...

關(guān)鍵字： 汽車(chē) 人工智能 智能驅(qū)動(dòng) BSP

北京2024年8月28日 /美通社/ -- 越來(lái)越多用戶希望企業(yè)業(yè)務(wù)能7×24不間斷運(yùn)行，同時(shí)企業(yè)卻面臨越來(lái)越多業(yè)務(wù)中斷的風(fēng)險(xiǎn)，如企業(yè)系統(tǒng)復(fù)雜性的增加，頻繁的功能更新和發(fā)布等。如何確保業(yè)務(wù)連續(xù)性，提升韌性，成...

關(guān)鍵字： 亞馬遜 解密 控制平面 BSP

8月30日消息，據(jù)媒體報(bào)道，騰訊和網(wǎng)易近期正在縮減他們對(duì)日本游戲市場(chǎng)的投資。

關(guān)鍵字： 騰訊 編碼器 CPU

8月28日消息，今天上午，2024中國(guó)國(guó)際大數(shù)據(jù)產(chǎn)業(yè)博覽會(huì)開(kāi)幕式在貴陽(yáng)舉行，華為董事、質(zhì)量流程IT總裁陶景文發(fā)表了演講。

關(guān)鍵字： 華為 12nm EDA 半導(dǎo)體

8月28日消息，在2024中國(guó)國(guó)際大數(shù)據(jù)產(chǎn)業(yè)博覽會(huì)上，華為常務(wù)董事、華為云CEO張平安發(fā)表演講稱，數(shù)字世界的話語(yǔ)權(quán)最終是由生態(tài)的繁榮決定的。

關(guān)鍵字： 華為 12nm 手機(jī) 衛(wèi)星通信

要點(diǎn)： 有效應(yīng)對(duì)環(huán)境變化，經(jīng)營(yíng)業(yè)績(jī)穩(wěn)中有升 落實(shí)提質(zhì)增效舉措，毛利潤(rùn)率延續(xù)升勢(shì) 戰(zhàn)略布局成效顯著，戰(zhàn)新業(yè)務(wù)引領(lǐng)增長(zhǎng) 以科技創(chuàng)新為引領(lǐng)，提升企業(yè)核心競(jìng)爭(zhēng)力 堅(jiān)持高質(zhì)量發(fā)展策略，塑強(qiáng)核心競(jìng)爭(zhēng)優(yōu)勢(shì)...

關(guān)鍵字： 通信 BSP 電信運(yùn)營(yíng)商 數(shù)字經(jīng)濟(jì)

北京2024年8月27日 /美通社/ -- 8月21日，由中央廣播電視總臺(tái)與中國(guó)電影電視技術(shù)學(xué)會(huì)聯(lián)合牽頭組建的NVI技術(shù)創(chuàng)新聯(lián)盟在BIRTV2024超高清全產(chǎn)業(yè)鏈發(fā)展研討會(huì)上宣布正式成立。 活動(dòng)現(xiàn)場(chǎng) NVI技術(shù)創(chuàng)新聯(lián)...

關(guān)鍵字： VI 傳輸協(xié)議 音頻 BSP

北京2024年8月27日 /美通社/ -- 在8月23日舉辦的2024年長(zhǎng)三角生態(tài)綠色一體化發(fā)展示范區(qū)聯(lián)合招商會(huì)上，軟通動(dòng)力信息技術(shù)（集團(tuán)）股份有限公司（以下簡(jiǎn)稱"軟通動(dòng)力"）與長(zhǎng)三角投資（上海）有限...

關(guān)鍵字： BSP 信息技術(shù)
關(guān)閉
關(guān)閉