#Ubuntu下面的C语言代码检查工具Splint 搜索结果
看一下下面的代码（当然包括错误，以检验splint的功能）：#includeintmain(intargc,char*argv[]){inta=100;/*没有使用的变量*/intb[8];printf("Helloc\n");b[9]=100;/*明显数组越界*//*用到了两个为声明
