《PGReief2009版用户指南简要版.docVIP

PGRelief2009版用户指南 --简要版  PGRelief2009用户指南 1 1 PGRelief的安装 1 2 PGRelief的使用 2 2.1 创建分析项目 2 2.1.1 创建新项目 2 2.1.2 设置项目信息 2 2.1.3 选择分析对象代码 2 2.2 配置分析选项 3 2.2.1 设置编译器 4 2.2.2宏设置 4 2.2.2.1 linux环境 5 2.2.2.2 VC6环境 6 2.2.2.3 VC2005环境 7 2.2.3标准头文件和用户自定义头文件 7 2.2.3.1 用户自定义头文件 7 2.2.3.2 标准头文件 8 2.2.3.2.1 linux环境 8 2.2.3.2.2 VC6环境 9 2.2.3.2.3 VC2005环境 9 2.2.4 其它 10 2.3 进行分析 10 2.3.1 分析的步骤 10 2.3.2 分析的方式 10 2.3.3 分析错误的解决 11 2.5.4 其它解析操作 11 2.4 查看分析结果 11 3 结束语 12  1 PGRelief的安装 硬件方面： CPU：Intel系列的在PIII 1G或者以上即可；SPARC的在300MHZ以上的即可。 内存：推荐为1G以上内存。 软件方面：目前GUI版本的PgRelief可以运行在如下软件平台： Windows2000/XP 日文版本 Redhat Linux 7.3/9.0 日文版本 Solaris 7/8/9 日文版 2 PGRelief的使用 使用PGRelief进行静态分析的过程基本分为四步： 创建分析项目 配置分析选项 进行分析 查看分析结果 以下，分小节分别说明。 2.1 创建分析项目 2.1.1 创建新项目 点击主菜单 2.1.2 设置项目信息 包括如下内容： 设置项目名 设置项目文件存放路径 说明项目概要信息 2.1.3 选择分析对象代码 选择要对哪些源代码进行解析。目前PgRelief只支持对C/C++代码的检查。PgRelief提供了三种方式进行选择： 選択されたファイルを対象 ：手工选择目录下的一个或者多个C/C++文件 選択されたデ?レクトリを対象 ：选择目录下所有的C/C++文件，但是不包括子目录中的文件 選択されたデ?レクトリ配下すベを対象 ：选择目录下及其子目录中所有的C/C++文件 2.2 配置分析选项 配置分析选项是整个分析过程中比较困难和麻烦的一步，只有配置正确，才能使PRelief正确分析代码。因此如果在配置过程中有问题，请参照本指南或者向PGRelief项目组咨询。 通过： 設定 -- プロジェクト固有オプションの設定 调用分析选项配置窗口： 其中，各个标签的意义如下（其中只有加号表示是必须要设置的）： コンパイラ設定 : 设置编译器选项 マクロ設定: 设置宏定义 インクルード設定 : 设置头文件路径 ネームとトークン設定 : 设置Token 識別子設定 : 设置识别子 解析オプション設定 : 设置解析选项 プリコンパイルヘッダ設定 : 设置预编译 コード設定 : 设置注释格式 拡張子設定 : C/C++文件扩展名设定 グループ設定 : 设置指摘组别 危険域／要注意域設定 : 设置度量值 下面我们将对其中比较重要的选项加以说明。 2.2.1 设置编译器 由于不同的编译器以及不同的操作系统对C/C++语言中的一些细节行为的处理是不同的，因此必须根据被分析代码原先的开发环境（操作系统和编译器），在PGRelief中选择相应的编译器选项。 以下是一些常见开发环境的编译器配置： 开发环境 PGR中的编译器配置 Solaris/CC/GCC 选择 SUN/SPARC5 或者 GNU/GCC 或者 GNU/GCC3 Linux/GCC 选择 GNU/GCC 或者 GNU/GCC3 Windows/VC6.0 选择 MS/VC6 Windows/VC6（使用了MFC） 选择 MS/VC6MFC 2.2.2宏设置 在这里可以定义或者取消定义一些宏，如下图所示： 一般而言这里是不需要特别进行设置的，但是如果在编译程序时定义了一些影响到程序编译的重要的宏，则需要在这里加以定义，如在linux下makefile里面定义的宏。 2.2.2.1 linux环境 个人宏： makfile: CPP=g++ a:a.o $(CPP) -o a a.o a.o:a.cc a.h $(CPP) -c –Dwin=1 a.cc clean: rm -f *.o a 以上例子中，需要添加win宏。