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

检查出了越界错误

还真不赖，小而好用