PCLint培训手册.doc

PC-Lint简介 PC-Lint是C/C++软件代码静态分析工具，它对程序进行全局分析，识别并报告C语言中的编程陷阱和格式缺陷它不仅可以检查出一般的语法错误，还可以检查出那些虽然符合语法要求但不易发现的潜在错误。使用PC-Lint在代码走读和单元测试之前进行检查，可以提前发现程序隐藏错误，提高代码质量，节省测试时间/ 第三方工具： Visual Lint http://www.riverblade.co.uk/products/visual_lint/index.html LintProject http://www.riverblade.co.uk/products/lintproject/index.html 安装 安装后的目录 Lint 目录下的文件： lint-nt.exe PC-lint 执行程序 config.exe PC-lint 配置程序 readme.txt 帮助手册的补充信息 pc-lint.pdf 帮助手册 pr.exe 打印工具. msg.txt PC-lint 的错误提示消息列表，最终根据它来修改代码 unwise.exe 卸载程序 install.log 安装日志 _LINT.TMP 保存PC-lint 检查代码后输出的错误信息，可用”记事本”打开 Lnt\ ... 文件夹 co-....lnt 特定编译器的配置选项 co.lnt 通用编译器的配置选项 sl-....c 非ANSI 编译器的标准库模块 sl.c 非ANSI 编译器的通用标准库模块 env-....lnt 各种编辑环境如Microsoft's Visual Studio 的配置文件 lib-....lnt 特定库的配置文件 au-....lnt 作者推荐检查项的配置文件，指Scott Meyers 的Effective C++,More Effective C++，Misra，Dan Saks 的C++ Gotchas Test\... 测试代码目录 配置 CONFIG.exe 配置向导将创建一个lin.bat文件，可用于检查C/C++文件，使用方法： lin options file1 file2 … LSET.BAT文件可用于设置PATH lin.bat的内容： InstDir\lint-nt -iConfDir std.lnt &1 &2 ... 总体而言，配置向导将产生以下文件： LIN.BAT A batch file which can also be copied into your PATH and which contains a reference to STD.LNT. STD.LNT An indirect lint file that will "point to" a compiler options file and an options file and optionally other files and options. STD_...LNT A sequence of different versions of STD.LNT that the wizard can choose from later. OPTIONS.LNT A convenient centrally located options file that you will tend to use for most of your linting. LSET.BAT A batch file optionally generated to be used to place the PC-lint executable in your PATH. 配置向导还将从安装目录拷贝以下文件到配置目录： co-....lnt Compiler options file(s) env-....lnt Environment options files lib-....lnt Library options files lib-....h Headers referenced by lib-....lnt files. au-....lnt Options files for author recommended checks file?.cpp A pair of test programs described in the next section. 运行测试程序 lin filea fileb 将对filea和fileb进行代码检测： filea.cpp: //lint -w2 reduce the warning le