PC-Lint使用报告

1.安装PC-Lint安装和PC-Lint在Keil中配置见《使用教程》2.配置.lnt文件Keil安装路径\ARM\BIN\CO-RV.LNT添加:-w4 //生成所有信息-os(D:\result.txt) //输出结果到文件result.txt3.PC-Lint代码检查功能PC-Lint能够检查出很多语法错误和语法上正确的逻辑错误，PC-Lint为大部分错误消息都分配了一个错误号，编号小于1000的错误号是分配给C 语言的，编号大于1000的错误号则用来说明C++的错误消息，见表1错误类型CC++告警级别语法错误1-1991001-11991内部错误200-2990致命错误300-3990告警400-6991400-16992消息700-8991700-18993可选信息900-9991900-19994表1以C语言为例：编号1-199指的是一般编译器也会产生的语法错误；编号200-299是PC-Lint程序内部的错误，这类错误不会出现在代码中的；编号300-399指的是由于内存限制等导致的系统致命错误；编号400-999中出现的提示信息，是根据隐藏代码问题的可能性进行分类的，指的是被检查代码中很可能存在问题而产生的告警信息；编号700-899中出现的信息，产生错误的可能性相比告警信息来说级别要低，但仍然可能是因为代码问题导致的问题；编号900-999是可选信息，他们不会被默认检查，除非你在选项中指定检查他们。PC-Lint告警级别分为以下几个级别，缺省告警级别为3级：-w0 不产生信息(除了遇到致命的错误)-w1 只生成错误信息 -- 没有告警信息和其它提示信息-w2 只有错误和告警信息-w3 生成错误、告警和其它提示信息(这是默认设置)-w4 生成所有信息4.FCA温度校准程序 4.1FCA温度校准程序PC-Lint配置文件《CO-RV.LNT》4.2FCA温度校准程序Lint输出结果《FCA_TempCalibration_result.txt》4.3输出结果统计见表2、3、4，有6种语法、36种告警和41种消息错误常见错误如，40：变量未声明；91：行字符数超过600；506：固定的布尔值；525:缩排格式错误；527：无法执行到的语句；534：忽略函数返回值；616：在switch语句中未使用break；715：变量未引用；722：语句结束符“;”用在for()或者while()后面；734：赋值过程中精度丢失；错误类型PC-Lint错误编码计数PC-Lint告警信息语法错误10128Expecting a function142Symbol 'Symbol' previously defined (Location)40128Undeclared identifier '__promise'46192field type should be _Bool, unsigned int or signed int9156Line exceeds 600 characters (use +linebuf)12324Macro 'min' defined with arguments at line 表2错误类型PC-Lint错误编码计数PC-Lint告警信息告警4011symbol 'Symbol' not previously declared static at Location4271// comment terminates in \43814Last value assigned to variable 'Symbol' not used4421for clause irregularity: testing direction inconsistent with increment direction4519repeatedly included but does not have a standard include guard4531Function 'Symbol', previously designated pure, String 'Name'5022Expected unsigned type50615Constant value Boolean50868extern used with definition5141Unusual use of a Boolean5225Highest operator or function lacks side-effects52413Loss of precision (Context) (Type to Type)52523Negative indentation from Location5267'Symbol' (Location) not de