首页 > 美文鉴赏

PC-Lint使用报告

更新时间:2023-06-03 05:38:43 阅读：评论：0

1.安装 PC-Lint

安装和 PC-Lint 在 Keil 中配置见《使用教程》

2.配置 .lnt 文件

Keil 安装路径 \ARM\BIN\CO-RV.LNT 添加 : -w4 // 生成所有信息

-os（D:\） // 输出结果到文件

3.PC-Lint代码检查功能

PC-Lint 能够检查出很多语法错误和语法上正确的逻辑错误， PC-Lint 为大部分错误消息都分

配了一个错误号，编号小于 1000 的错误号是分配给 C 语言的，编号大于 1000 的错误号则用来说明 C++的错误消息，见表 1

错误类型	C	C++	告警级别
语法错误	1-199	1001-1199	1
内部错误	200-299		0
致命错误	300-399		0
告警	400-699	1400-1699	2
消息	700-899	1700-1899	3
可选信息	900-999	o型西瓜乳1900-1999	4

表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温度校准程序

CO-RV.LNT

4.2FCA温度校准程序 Lint 输出结果《 FCA_》t

FCA_

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告警信息
语法错误	10	128	Expecting a function
	14	2	Symbol 'Symbol' previously defined (Location)
	40	128	Undeclared identifier '__promi'
	46	192	field type should be _Bool, unsigned int or signed int
	91	56	Line exceeds 600 characters (u +linebuf)
	123	24	Macro 'min' defined with arguments at line

表2

列夫托尔斯泰的名言

错误类型	PC-Lint 错误编码	计数	PC-Lint告警信息
	401	1	symbol 'Symbol' not previously declared static at Location
放松肌肉	427	1	ps换发型// comment terminates in \
	438	14	Last value assigned to variable 'Symbol' not ud
	442	1	for clau irregularity: testing direction inconsistent with increment direction
	451	9	repeatedly included but does not have a standard include
	451	9	guard
	453	1	Function 'Symbol', previously designated pure, String 'Name'
	502	2	Expected unsigned type
	506	15	Constant value Boolean
	508	68	extern ud with definition
	答辩状怎么写514	1	Unusual u of a Boolean
	522	5	Highest operator or function lacks side-effects
	524	13	Loss of precision (Context) (Type to Type)
	525	23	Negative indentation from Location
	526	7	'Symbol' (Location) not defined
	527	1	Unreachable code at token Symbol
	529	1	Symbol 'Symbol' (Location) not subquently referenced
告警	534	268	Ignoring return value of function 'Symbol' (compare with Location)
	537	36	Repeated include file 'FileName'

539	7	Did not expect positive indentation from Location
545	1	Suspicious u of & -- An attempt was made to take the
545	1	address of an array name.
550	2	Symbol 'Symbol' (Location) not accesd
552	7	Symbol 'Symbol' (Location) not accesd
569	41	Loss of information (Context) (Integer bits to Integer bits)
573	2	Signed-unsigned mix with divide
578	3	Declaration of symbol 'Symbol' hides symbol 'Symbol' (Location)
611	1	Suspicious cast
613	83	Possible u of null pointer 'Symbol' in [left/right] argument to operator 'String' Reference
616	1	control flows into ca/default
628	7	no argument information provided for function 'Symbol' (Location)
641	110	Converting enum to int
644	2	Variable 'Symbol' (Location) may not have been initialized
655	4	bit-wi operation us (compatible) enum's

661	25怀孕能吃杏仁吗	possible access of out-of-bounds pointer ('Integer' beyond end of data) by operator 'String'
662	1	possible creation of out-of-bounds pointer ('Integer' beyond end of data) by operator 'String'
668	1	基础乐理知识 Possibly passing a null pointer to function 'Symbol', Context Reference
669	1	Possible data overrun for function 'Symbol', argument Integer exceeds argument Integer Reference

表3

本文发布于:2023-06-03 05:38:43，感谢您对本站的认可！

本文链接：https://www.wtabcd.cn/fanwen/fan/89/972645.html

上一篇：2023年学生顶岗实习手册(优质12篇)

下一篇：2023年顶岗实习总结字八篇(优秀)

标签：错误代码问题

留言与评论（共有 0 条评论）