您的位置：首页 → 网页设计 → 经验技巧 → Ubuntu系统下C语言代码检查工具Splint

Ubuntu系统下C语言代码检查工具Splint

时间：2009/1/9 12:17:00来源：本站整理作者：我要评论(0)

 

看一下下面的代码（当然包括错误，以检验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: c Identifier used in code has not been declared. (Use -unrecog to inhibit warning) hi.c:10:2: Unrecognized identifier: d hi.c:4:6: Variable a declared but not used A variable is declared but never used. Use /*@unused@*/ in front of declaration 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 >= 9 needed to satisfy precondition: requires maxSet(b @ hi.c:7:2) >= 9 A memory write may write to an address beyond the allocated buffer. (Use -likely-boundswrite to inhibit warning) hi.c:3:14: Parameter argc not used A function parameter is not used in the body of the function. If the argument is needed for type compatibility or future plans, use /*@unused@*/ in the argument declaration. (Use -paramuse to inhibit warning) hi.c:3:25: Parameter argv not used Finished checking --- 6 code warnings

现在详细看一下结果：

检查结果1：

 

hi.c:9:2: Unrecognized identifier: c Identifier used in code has not been declared. (Use -unrecog to inhibit warning) hi.c:10:2: Unrecognized identifier: d hi.c:4:6: Variable a declared but not used A variable is declared but never used. Use /*@unused@*/ in front of declaration 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 >= 9 needed to satisfy precondition: requires maxSet(b @ hi.c:7:2) >= 9 A 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 used A function parameter is not used in the body of the function. If the argument is needed for type compatibility or future plans, use /*@unused@*/ in the argument declaration. (Use -paramuse to inhibit warning) hi.c:3:25: Parameter argv not used

这些表明argc和argv变量声明了，但是没有使用。这个不是什么问题。

如果小心使用splint，应该对于c语言的程序编写有非常大的辅助作用！

相关阅读 云顶之弈怎么排位 云顶之弈排位系统详解Soundflower怎么使用 Soundflower使用教程英雄战棋各大种族和职业技能介绍 英雄战棋装备系统简析dnf2019师徒系统资格介绍 dnf师徒系统资格获取条件介绍2019和平精英防沉迷系统怎么解除 刺激战地和平精英健康系统防沉迷解除腾讯游戏防沉迷系统解除教程 2019腾讯游戏防沉迷解除方法dnf代号希望换装属性介绍 dnf代号希望换装buff装备介绍全境封锁2easy anti cheat错误解决方法

文章评论

查看所有0条评论>>

发表评论

我来说两句...

提交评论