本文共 589 字,大约阅读时间需要 1 分钟。
一,安装pclint,点击pclint9.exe按照提示默认值安装即可(后续不用默认配置,通过指定配置文件的方式执行)。
二,安装完成后执行license号,serial#P70297
三,配置lint文件,执行并查看结果
1.找到lint安装目录(例如:C:\lint),目录下有个PC-lint.pdf文档,lint结果中出现的错误、警告和提示信息都在此文件中有详细解释。lint文件配置用到的命令也在此文件中有解释。
2.安装目录下有个std.lnt的文件即是要执行的lint的文件,需要先对此文件进行配置。配置项包括:添加要执行的lint规则的文件(例如co-ti320.lnt);添加输出lint结果的路径(例如-os(d:result.out));添加执行lint操作的源文件路径及头文件路径(例如-i“E:\code\include”,E:\code\*.c)
3.执行lint操作,在dos提示符下,执行如下操作
line-nt.exe std.lnt
4.查看结果
用普通文本编辑器打开result.out文件,分析结果
5.编写批处理文件,用批处理文件执行lint程序
可以将dos下的命令行编写成bat文件,这样多次对源文件执行lint操作只需要双击执行bat文件即可。bat文件内容如下
c:\lint\lint-nt.exe std.lnt
pause
转载地址:http://mjmii.baihongyu.com/