展开
对于C语言程序员来说您是否还在为软件的代码分析感到头疼呢?不要紧这里小编给你带来了pc lint 9,它是一款C/C++软件代码静态分析工具。该工具可以帮助您提前发现程序中的潜在错误漏洞,pc lint 9还会为您提高代码的质量,在使用静态代码分析软件过程中不仅可以检测一般的语法错误,还可以检测潜在的错误,比如数组访问越界、使用未初始化变量等。
co.lnt 通用的可选编译文件。
sl-....c 非ANSI编译器的标准库文件模块
lint-nt.exe:PC-lint的可执行程序。
config.exe:PC-lint的配置文件程序。
pc-lint.pdf:PC-lint的PDF格式的在线手册,本文的大部分内容是从中得来的。
pc-lint目录下几个重要的文件及程序
msg.txt: 对于错误消息编号的详细解释。
lib-....lnt:可选文件, 特定的"有挑战性"的库文件。
au-....lnt:可选文件, 作者们推荐的检测条件。
Lnt/: 这个目录下有些东西还是值得认识一下。
co-....lnt:指定的编译器的可选编译文件。
sl.c: 非ANSI编译器的通用标准库文件模块
env-....lnt:不同平台下的可选文件,
包括MS Visual Studio和其他各种编辑工具。
选项的规则
通过使用加号"+"和减号"-",以注释的形式插入代码中,来恢复和屏蔽指定的被检查的选项。格式如下:
/*lint option1 option2 ... optional commentary */
或者
//lint option1 option2 ... optional commentary
注意:lint必须是小写,选项的一行不能超过80个字符,否则导致致命的错误,错误信息的编号就是323。如果选项确实有很长,可以通过换行的方式来实现。另外屏蔽和恢复的选项的代码可以放在宏定义中,宏被展开后,这些选项会生效。
选项中的空格
因为空格是用来分隔选项的,除此之外只能出现在圆括号的旁边或是空格自身被引用(例如operator new按语法要求中间就有空格)。举个例子:
esym(534,printf,scanf,operator new)
esym(534, printf, scanf, operator new)
esym( 534 , printf , scanf , operator new )
对于第三个,空格出现在圆括号的旁边,也出现在自身被引用的地方(operator new)。另外operator和new之间出现两个空格也是不合法的,因为它违反了语法规则。另外,也可以使用双引号("")来保护空格,例如:
"dWORD=unsigned short"
选项的分类
PC-lint的选项有300多种,可以分为下面几类:
禁止错误信息
选项开头使用"-e"可以禁止指定的错误消息,使用"+e"恢复指定的错误消息。如果禁止消息,只不过不让消息输出,并不影响PC-lint的处理过程。顺便提一下前面提到的"-wLevl",这个选项是禁用指定级别及以上的消息的显示。
错误信息编号
对于大部分的错误消息,PC-lint都提供了一个关联的错误编号。小于1000的错误编号是分配给C语言的,1000以上的错误编号则是分配给C++语言的。
对于C语言,1~199是与语法错误;200~299是PC-lint内部错误,应该决不会发生的;300~399是致命错误,通常是由于超越了某些限制;400~699是警告消息,提示被检查的程序中可能存在错误;700~899是提示信息,这些提示信息可能有错误,也可能是合法的程序,取决于个人的编程风格;900~999则是一些称为可选信息,一般不会自动输出。
PC-lint提供了高级级别设置选项-wLevel,缺省的级别为3级。-w0, -w1 , -w2, -w3, -w4 分别可以生成上述表格中对应告警级别和级别更低的告警,其中级别越低告警越重要。同样,也提供了处理库函数的头文件告警级别的选项-wlib(Level),缺省的级别也是3级,级别对应的含义与前者一样。
加载全部内容
scratch3.0中文版47M24755人在玩scratch30中文版是一款非常不错的...
下载scratch免激活版32M12418人在玩开发脑力从娃娃抓起,这款scratch免...
下载Primer 51M10875人在玩一款专业用于PCR或者测序引物及杂交探针...
下载cuda9.0官方版1G5855人在玩很多人不知道cuda90是什么,其实cu...
下载pc logo X641.48M4790人在玩PCLogo中文版下载文件小编已经发布过...
下载梦龙网络计划软件注册版20M4703人在玩从事计算机编程行业相关的小伙伴们一定不能...
下载OpenGL官方版8M4304人在玩如果您需要一种用户GPU通用计算和图形学...
下载clickteam fusion2.5中文版482M4027人在玩clickteamfusion25中文版...
下载TIA Portal v15完美版5G3884人在玩TIAPortalv15完美版是一款由西...
下载弱口令字典免费版10M3290人在玩弱口令字典免费版吧,它列出了多款规则的密...
下载