PC-lint的配置及使用.pptVIP

软件配置管理 PC-lint的配置和使用 PC-lint的配置及使用 实验目的 背景知识 实验内容 实验步骤 实验目的 在掌握软件配置管理相关理论的基础上，通过实际操作来理解PC-lint系统的配置和使用，培养分析和解决实际问题的能力，并增强动手能力。具体目的如下: 掌握PC-lint的配置方法 使用PC-lint分析程序源代码 PC-lint的配置及使用 实验目的 背景知识 实验内容 实验步骤 背景知识 PC-lint简介 PC-lint的基本使用方法 PC-lint简介 　　　PC-lint是一款C/C++软件源代码静态分析工具，除了可以检查出一般的语法错误外，它还可以检查出那些虽然符合语法要求，但很可能是潜在的、不易发现的错误，从而修正模糊或者不正确的程序设计。PC-lint支持几乎所有流行的编辑环境和编译器，如Borland C++、 Microsoft Visual C++、Source insight等，可以方便地集成到各种开发环境中。 PC-lint的基本使用方法 PC-lint主要由以下文件组成: lint-nt.exe Windows下的可执行文件 msg.txt 解释告警内容的文本文件 PC-lint.pdf 使用手册 CONFIG.exe 配置程序 std.lnt 标准配置文件 options.lnt 选项配置文件 .\lnt目录下的文件 各种开发编译环境的配置文件 　　　 PC-lint的基本使用方法 PC-lint是一个命令行工具 以命令行带参数的方式使用 使用格式 lint-nt.exe options file1 file2 … 如: lint-nt.exe -u -ic:\lint std_a.lnt c:\test1\main.cpp 这里-u表示只对本单元进行检查 -i“c:\lint”表示配置文件的搜索路径 std_a.lnt是使用的具体配置文件 main.cpp是要检查的源文件 PC-lint的基本使用方法 使用.lnt文件检查多个源文件 如: lint-nt.exe -ic:\lint std_a.lnt c:\test2\test2.lnt 其中test2.lnt的内容为： 　　　　/* Generated from file: test2.dsp */ 　　　　-dWIN32 　　　　-d_DEBUG 　　　　-d_CONSOLE 　　　　-d_MBCS 　　　　main.cpp 　　　　myString.cpp PC-lint的基本使用方法 PC-lint配置文件介绍 由命令行参数决定使用哪个配置文件 配置文件可包含多个配置选项 　如在std_a.lnt配置文件中可包含以下内容： 　　　-iD:\VC\VC98\Include 配置文件可包含其它配置文件 　如在std_a.lnt配置文件中可包含以下内容： 　　　options.lnt PC-lint的基本使用方法 VC的配置文件示例 　文件名称：std_a.lnt 文件内容： 　　// Microsoft C and Visual C++ 6.x, -si4 -sp4, lib-w32.lnt lib-wnt.lnt 　　// Standard lint options 　　au-sm123.lnt 　　co-msc60.lnt 　　lib-w32.lnt lib-wnt.lnt 　　options.lnt -si4 -sp4 　　-iD:\software\VC\VC6自解压完美版第二版\VC98\Include PC-lint的基本使用方法 PC-lint的常用选项（一） -i 　主要用来设置inlude路径，如：-iD:\VC\VC98\Include -e# 　屏蔽告警号为#的告警，如： 　-e1904表示不显示告警号为1904的告警信息 -esym(#,符号名) 　屏蔽告警号为#的某个符号的告警，如：-esym(39,std)1904 -emacro(#,宏名称) 　屏蔽告警号为#的某个宏的告警 PC-lint的基本使用方法 PC-lint的常用选项（二） -dname 　主要用来定义宏，如：-dWIN32 -sp# 　表示指针的尺寸大小是#个字节，如： 　-sp4表示指针是4个字节大小 -si# 　表示int的尺寸大小是#个字节，如： 　-si4表示int类型是4个字节大小 -t# 　设置Tab键的大小为#个空格，缺省为8 PC-lint的基本使用方法 PC-l