- 1、本文档共13页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
南京富士通南大软件技术有限公司(Nanjing Fujitsu Nanda Software Technology, Co, Ltd )
PGRelief 用户指南
© 2009-2011CopyrightFNST
南京富士通南大软件技术有限公司(Nanjing Fujitsu Nanda Software Technology, Co, Ltd )
PGRelief2009 用户指南1
1 PGRelief 的安装3
2 PGRelief 的使用3
2.1 创建分析项目3
2.1.1 创建新项目3
2.1.2 设置项目信息3
2.1.3 选择分析对象代码4
2.2 配置分析选项4
2.2.1 设置编译器5
2.2.2 宏设置6
2.2.2.1 linux 环境6
2.2.2.2 VC6 环境7
2.2.2.3 VC2005 环境8
2.2.3 标准头文件和用户自定义头文件8
2.2.3.1 用户自定义头文件8
2.2.3.2 标准头文件9
2.2.3.2.1 linux 环境9
2.2.3.2.2 VC6 环境10
2.2.3.2.3 VC2005 环境10
2.2.4 其它 11
2.3 进行分析 11
2.3.1 分析的步骤 11
2.3.2 分析的方式 11
2.3.3 分析错误的解决12
2.5.4 其它解析操作12
2.4 查看分析结果12
3 结束语13
© 2009-2011CopyrightFNST
南京富士通南大软件技术有限公司(Nanjing Fujitsu Nanda Software Technology, Co, Ltd )
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 进行静态分析的过程基本分为
文档评论(0)