[Linux]使用Clang實現代碼靜態分析

1.按下開關Clang

    sudo apt-get install Clang

2.編寫測試程序  memleak.c

#include<stdio.h>
#include<stdlib.h>

int main()
{
    int *mem;
    mem=malloc(sizeof(int));
    if(mem) return 1;
    *mem=0xdeadbeaf;
    free(mem);
    return 0;
}

3. 執行代碼靜態檢查

scan-build -o memleak gcc memleak.c -o m

結果例如以下:

memleak.c:9:5: warning: Dereference of null pointer (loaded from variable 'mem')
    *mem=0xdeadbeaf;
    ^~~~
1 warning generated.
scan-build: 1 bugs found.

4.在當前目錄下會生存一個 memleak目錄，內有一個以日期命名的目錄，用瀏覽器打開該目錄內的 index.html 查看錯誤bug報告

5.改動 memleak.c

#include<stdio.h>
#include<stdlib.h>

int main()
{
    int *mem;
    mem=malloc(sizeof(int));
    if(mem==NULL) return 1;
    *mem=0xdeadbeaf;
    free(mem);
    return 0;
}

6.再次執行 scan-build -o memleak gcc memleak.c -o m

7. 此時bug消失

8. 下載開源 cgdb http://cgdb.github.io/

9.切換到 cgdb 所在文件夾，執行 scan-build -o cgdb-scan ./configure --prefix=$PWD/build

10. 執行 scan-build -o cgdb-scan make

11.用瀏覽器打開當前文件夾下 cgdb-scan 下的 index.html 查看 bug 報告

參考文獻

http://events.linuxfoundation.org/images/stories/pdf/lcjp2012_matsumotoh.pdf

http://clang-analyzer.llvm.org/scan-build.html

http://www.hackhowtofaq.com/blog/static-analysis-with-llvm-clang-in-linux/

版權聲明：本文博客原創文章，博客，未經同意，不得轉載。