PGRelief2009版用户指南
--简要版
PGRelief2009用户指南 1
1 PGRelief的安装 1
2 PGRelief的使用 2
2.1.1 创建新项目 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.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进行静态分析的过程基本分为四步:
1. 创建分析项目
2. 配置分析选项
河北医科大学图书馆3. 进行分析
4. 查看分析结果
以下,分小节分别说明。
2.1 创建分析项目
2.1.1 创建新项目
点击主菜单
2.1.2 设置项目信息
包括如下内容:
● 努西达设置项目名
● 设置项目文件存放路径
● 2010年安徽高考作文说明项目概要信息
2.1.3 选择分析对象代码
选择要对哪些源代码进行解析。目前PgRelief只支持对C/C++代码的检查。PgRelief提供了三种方式进行选择:
● 選択されたファイルを対象 :手工选择目录下的一个或者多个C/C++文件
● 選択されたデイレクトリを対象 :选择目录下所有的C/C++文件,但是不包括子目录中的文件
● 選択されたデイレクトリ配下すベを対象 :选择目录下及其子目录中所有的C/C++文件