splint在linux的簡單使用

在公司設計案例上聽一個朋友講splint在強大的pc-lint面前只是一個小菜，可以方便地在linux上運行(pc-lint所說也行，有空試試），故想用來玩玩，

在FC9下載了splint-3.1.1.Linux.gz， 解壓

./configure

make

make install

用網上一個朋友的用例

test.c

 

#include <stdio.h>
int main(int argc,char* argv[])
{
    int a=100; /*沒有使用的變數*/
    int b[8];
    printf("Hello c/n");
    b[8]=100; /*明顯數組越界 */
    return 0;
}

 

splint test.c +bounds -paramuse -varuse

檢查出了越界錯誤

還真不賴，小而好用