PGRelief使用指南2014（Linux版）

最新推荐文章于 2016-05-07 11:43:58 发布

mycsdncenter

最新推荐文章于 2016-05-07 11:43:58 发布

阅读量213

点赞数

文章标签： PGRelief 源码分析静态检测工具 ++/C

本文链接：https://blog.csdn.net/mycsdncenter/article/details/84697122

版权

inux

1 配置分析选项

1.1编译器选择

-K

指定编译器。(只针对此次，内部不修改)

用法：

pgr -K GNU/GCC3 a.cc

公司	编译器
[DIAB DATA Company]	DIABDATA/DCCANSI 、DIABDATA/DCCKANDR、DIABDATA/DCCSTRICT、DIABDATA/DCC
[FUJITSU Products	FUJITSU/FCC401、FUJITSU/FCC401C、FUJITSU/FCC401、FUJITSU/SOFTUNEF2MC16B FUJITSU/SOFTUNEFRB、FUJITSU/SOFTUNEFR
[GNU Products]	GNU/GCC、GNU/GCC3、GNU/GCC3_C90、GNU/GCC4、GNU/GCC4_C++03、GNU/GCC3_C90

最低0.47元/天解锁文章

确定要放弃本次机会？

福利倒计时

: :

立减 ¥

普通VIP年卡可用

立即使用

mycsdncenter

关注关注

0
点赞
踩
0

收藏

觉得还不错? 一键收藏
0
评论
PGRelief使用指南2014（Linux版）

inux1 配置分析选项1.1编译器选择-K 指定编译器。(只针对此次，内部不修改) 用法： pgr -K GNU/GCC3 a.cc公司编译器[DIAB DATA Company]DIABDATA/DCCANSI 、DIABDATA/...
复制链接

扫一扫

PGRelief使用指南（windows版1 PGRelief的安装环境 CPU Intel® Pentium® 4 2.4GHz以上(推荐) 内存 512MB以上(1G以上推荐。使用广域探索选项推荐

mycsdncenter的专栏

02-03

1055

本文介绍了PGRelief在windows环境下的使用方法，包括基本的配置方法

PGRelief介绍

LinSeeker85的博客

01-01

818

收藏于 2012-12-20 迁移自个人的百度空间 ------------------------------ 代码品质提高解决方案PGRelief是富士通南大软件与日本富士通合作研发的软件静态分析测试系统。该系统能够通过对C/C++源代码的检测和分析，快速检查出代码的错误和缺陷，来提高软件开发品质，缩短开发周期，降低软件开发成本。...

参与评论您还未登录，请先登录后发表或查看评论

认识PGRelief

weixin_30741653的博客

12-25

176

PGRelief简介 PGRelief是日本富士通公司和南京富士通南大软件技术有限公司合作开发的软件静态测试分析工具，主要提供了三大功能：丰富的代码检查功能、代码评审辅助功能、品质监视功能。现在，对于提高软件品质、缩短开发周期以及降低开发成本的要求越来越紧迫。要解决这些问题，必须在开发的早期阶段就尽量发现并消除程序中的缺陷。PGRelief非常适用于以上要求，它能够对源程序进行静态解析...

我看PGRelief的优势

mycsdncenter的专栏

12-25

163

PGRelief三大优点  将原先必须到测试阶段才能发现的问题提前到编码阶段发现  有效减少返工和测试工作量  对问题精确定位，最大限度减少开发人员的额外负担优点二：多角度检查确保软件品质提高  包含了富士通10多年开发中积累的经验和技术  可以检查如下规范 ISO/IEC 9989:1990,1999 　　　(C语言规范) ISO/IEC 1488...

PGRelief使用指南2014（windows版）

weixin_30824599的博客

01-06

171

1 PGRelief的安装硬件方面:CPU：Intel系列的在PIII 1G或者以上即可；SPARC的在300MHZ以上的即可。内存：推荐为1G以上内存。软件方面:目前GUI版本的PgRelief可以运行在如下软件平台： Windows2000/XP 日文版本 Redhat Linux 7.3/9.0 日文版本 Solaris 7/8/9 日文版 2 PGRelie...

PGRelief的使用（Linux版）

mycsdncenter的专栏

01-19

568

1 配置分析选项 1.1编译器选择 -K 指定编译器。(只针对此次，内部不修改) 用法： pgr -KGNU/GCC3 a.cc 公司编译器 [DIAB DATA Company] DIABDATA/DCCANSI 、DIABDATA/DCCKAND

PGRelief的优势，你了解吗？

weixin_30463341的博客

12-25

119

PGRelief三大优点　　将原先必须到测试阶段才能发现的问题提前到编码阶段发现　　有效减少返工和测试工作量　　对问题精确定位，最大限度减少开发人员的额外负担优点二：多角度检查确保软件品质提高　　包含了富士通10多年开发中积累的经验和技术　　可以检查如下规范　　　　ISO/IEC 9989:1990,1999 　　　(C语言规...

cmd.exe里，path里包含的环境变量没有展开的解决方法

zhiyazw的专栏

05-07

2413

问题现象：Windows、System32等系统目录里命令，无法通过Path搜索路径来执行。查看Path环境变量结果如下：D:\>echo %Path% %SystemRoot%;%SystemRoot%\System32;...... 问题原因：cmd.exe里，path里包含的环境变量没有展开。解决办法： Two things I might try. Run

[课题设计]SSM框架开发个人通讯录+jsp+Java前后端分离带论文和源码.zip

07-20

本项目是一个基于SSM框架开发的个人通讯录应用，采用JSP作为前端技术，实现了前后端分离。项目针对计算机相关专业的学生以及需要进行项目实战练习的Java学习者，提供了完整的源码、数据库脚本和开发说明，同时附带论文参考，可作为毕业设计或课程设计的优质资源。在功能方面，该项目实现了基本的通讯录增删改查功能，用户可以通过前端界面录入、修改和查询联系人信息，后台则通过SSM框架进行数据处理和业务逻辑的实现。此外，项目还支持分页显示功能，提高了用户体验。技术层面，项目采用了成熟的SSM框架进行开发，确保了代码的结构清晰、易于维护。数据库选用MySQL，稳定可靠，且易于扩展。开发环境包括JDK、IDEA和Tomcat，配置简单，便于上手。经过严格的调试，项目已确保可稳定运行。对于有一定基础的Java学习者，还可以在此基础上进行功能拓展，进一步提升实战能力。

物联网工程_基于定点室内消毒物联网机器人设计.docx

07-20

物联网工程_基于定点室内消毒物联网机器人设计

C语言-水仙花数代码实现

“相关推荐”对你有帮助么？

非常没帮助
没帮助
一般
有帮助
非常有帮助

提交