splint 代码检查.docxVIP

看一下下面的代码（当然包括错误，以检验splint的功能）：?#include int main(int argc,char* argv[]){int a=100; /*没有使用的变量*/int b[8];printf(Hello c\n);b[9]=100; /*明显数组越界 *//* 用到了两个为声明的变量c和d/c=100;d=10;return 0;}??? 现在可以用splint来检查一下，为了检验是否可以检测到数组越界，使用+bounds选项。　　　splint hi.c +bounds　　　输出结果：?hi.c: (in function main)hi.c:9:2: Unrecognized identifier: cIdentifier used in code has not been declared. (Use -unrecog to inhibitwarning)hi.c:10:2: Unrecognized identifier: dhi.c:4:6: Variable a declared but not usedA variable is declared but never used. Use /*@unused@*/ in front ofdeclaration to suppress message. (Use -varuse to inhibit warning)hi.c:7:2: Likely out-of-bounds store:b[9]Unable to resolve constraint:requires 7 = 9needed to satisfy precondition:requires maxSet(b @ hi.c:7:2) = 9A memory write may write to an address beyond the allocated buffer. (Use-likely-boundswrite to inhibit warning)hi.c:3:14: Parameter argc not usedA function parameter is not used in the body of the function. If the argumentis needed for type compatibility or future plans, use /*@unused@*/ in theargument declaration. (Use -paramuse to inhibit warning)hi.c:3:25: Parameter argv not usedFinished checking --- 6 code warnings??????? 现在详细看一下结果：　　　检查结果1：??? ?hi.c:9:2: Unrecognized identifier: cIdentifier used in code has not been declared. (Use -unrecog to inhibitwarning)hi.c:10:2: Unrecognized identifier: dhi.c:4:6: Variable a declared but not usedA variable is declared but never used. Use /*@unused@*/ in front ofdeclaration to suppress message. (Use -varuse to inhibit warning)??????? 这些应该是splint检测到变量c和d没有声明。　　　检查结果2：??? ?hi.c:7:2: Likely out-of-bounds store:b[9]Unable to resolve constraint:requires 7 = 9needed to satisfy precondition:requires maxSet(b @ hi.c:7:2) = 9A memory write may write to an address beyond the allocated buffer. (Use-likely-boundswrite to inhibit warning)??????? 这些是检查存在数组越界，因为吧b[8]的最大数组序号应该是7，而不是9，所以出现requires 7 = 9；　　　检查结果3：??? ?hi.c:3:14: Parameter argc not usedA function parameter is not used in the body