PGRelief使用指南2014(Linux版)

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


[Microsoft  Visual  C++ Compiler]


MS/VC1、MS/VC4MFC、MS/VC4、MS/VC42、MS/VC42MFC、MS/VC5、MS/VC5MFC、MS/VC6、MS/VC6MFC、MS/VC6WIN64、MS/VC2003、MS/VC2003MFC、MS/VC2005、MS/VC2005MFC

MS/VC2008、MS/VC2008MFC、MS/VC2010、MS/VC2010MFC、MS/VC2010CLR


[Mentor Graphics Japan Co.Ltd. Products]


MGJ/MRIPC、MGJ/MRISUN


[HITACHI Products]


HITACHI/SH、HITACHI/H8


[RENESAS company]


RENESAS/78K0R、RENESAS/740、RENESAS/7770、RENESAS/H8——300、RENESAS/H8S、RENESAS/M16C

RENESAS/M16C80、RENESAS/M32C、RENESAS/M32R、RENESAS/RX\ RENESAS/superH


Sun Microsystems


SUN/ SPARC3、SUN/ SPARC4、SUN/SPARC4C、SUN/SPARC4S、SUN/SPARC5、SUN/SPARC5C、SUN/SPARC5S、SUN/SPARC42、SUN/SPARC42C、SUN/SPARC42S、SUN/SPARC201、SUN/SPARC301、

SUN/SPARC301C、SUN/SPARC301S


NFC


NFC/78K0、NFC/78K0S、NFC/78K4、NFC/V850

1.2宏定义

-D

指定宏

用法:

pgr -D macro a.cc

效果:

相当于,在a.cc开头写了  #define macro 1

-D mac=value

指定宏

用法:(注意mac=value不能有空格,value可以使任意值)

pgr -D mac=value a.cc

-U macro

指定系统宏。

用法:

pgr -U __LINE__ a.cc

选项的参数:

__LINE__, __FILE__, __TIME__, __DATE__, __STDC__等

C++  __cplusplus

C99  _STDC_HOSTED__, __STDC_VERSION__

1.3 头文件路径设置

-I

设置自定义头文件的查找路径

用法:

pgr -I path a.cc

注意:path最好是头文件全路径,或是正确的相对路径。是文件夹,别搞错。

-Y

设置标准头文件的查找途径

pgr -Y path a.cc

2 常见问题

2.1 分析错误的解决

一般来说,文件分析中断主要是由头文件找不到或者源文件不符合C/C++标准导致的。根据我们的经验,总结了以下几种错误情况:


中断


中断原


解决方


找 不 到

头文件


忘记添加头文件


添加头文件


文件中以 #include <****.h> 格式包含用户编写的头文件


根据头文件被引用的格式,应该把该头文

件添加到标准头文件中


头文件是以相对路径形式包含的,如

#include "****.h"


系统把设置的头文件路径做为当前路径,

需要重新设置头文件路径

由于头文件配置错误引起的中断,需要重新配置头文件,点击主菜单 設定 --> プロジェクト固有オプションの設定 --> インクルード設定

时间: 2024-08-01 10:46:30

PGRelief使用指南2014(Linux版)的相关文章

PGRelief使用指南2014(windows版)

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进行静态分析的过程基本分为四步:创建分析项目.配置分析选项.进行分析.查看分析结果 

DEEPIN 2014 正式版 试用体验

7月6日深度正式发布 Deepin 2014 操作系统,该系统是基于 Ubuntu 14.04 LTS 的 Linux 发行版,并搭载了多款深度开发的软件,更符合国人使用习惯.由于Deepin 2014 以Compiz作为窗口管理器,Compiz在虚拟机中性能不佳,强烈建议各位将Deepin 2014 直接安装在真实机器上,这样才能真正体验到Deepin 2014的华丽效果.我们官方计划在未来的版本中,使用自己开发的窗口管理器代替Compiz,从而彻底解决这个问题. 需要注意的是自Deepin

苹果商店应用审核指南(2014年翻译版)

官方文档地址 苹果商店应用审核指南 前言 非常高兴您能付出宝贵的时间和精力来开发iOS应用.成千上万的开发者的经历表明,无论从专业技术还是经济收入上,开发iOS应用都是个有意义的事情,我们将帮助你更快成功,成为其中的一员.这篇App Store Review Guidlines主要是为了协助你弄清楚开发过程中会遇到的一些疑惑,加快你提交应用后的审核过程. 我们认为应用不同于书籍和歌曲,我们不支持这些.如果你要讨论宗教信仰,那么应该去写书.如果你要谈论性,那么写书,或者去写歌,或者去做一个生理卫生

Linux版EPUB阅读器

Linux版EPUB阅读器 本文导航 -1. Calibre09% -2. FBReader23% -3. Cool Reader33% -4. Okular44% -5. pPub51% -6. epub63% -7. Sigil74% 如果说用平板电脑看书尚属主流的话,那么在电脑上读书就非常少见了.专注阅读16世纪的书是非常困难的了,没人希望后台蹦出QQ聊天窗口.但是如果你非要在电脑上打开电子书的话,那么你需要一个电子书阅读软件.大多数出版物支持使用EPUB格式的电子书(电子出版物).幸运的

XAMPP 的 Linux 版 (x86 兼容处理器版)安装配置使用详细介绍,教你建好一个LAMPP站!

XAMPP 的 Linux 版 (x86 兼容处理器版) 以前被称作 LAMPP,但为了避免误解,将其重名命为 ?XAMPP 的 Linux 版?.所以,如果您在寻找 LAMPP下载.安装.配置.使用方法,您就来对地方了. 安装过程仅 4 个步骤 步骤 1:下载 只需点击下面的链接.下载最新版总是好主意.:)完整的下载列表(老版本)可在 SourceForge 找到. 详细的 XAMPP 各版本更新记录可在 发布说明 中找到. XAMPP Linux 1.8.2 107 MB Apache 2.

Linux版Skype v1.9更新:黑色主题、静音通知

微软今天为Skype for Linux用户推送新的更新,Linux版Skype迎来Alpha 1.9版本,新增支持黑色主题,另外还有通知静音等等. 下面是IT之家为大家整理的更新内容: 对特定的对话新增通知皇冠体育功能 新增黑色主题支持(设置--个性化--黑色主题) 新增完全禁用表情符号 新增支持/ me 命令 新增支持系统级HTTPS代理 提升消息引用--现在支持Ctrl + C 悬停消息时间显示完整日期/时间 Electron电子更新到v1.3.6 日志记录器性能和安全修复

nbtstat Linux版源码, 通过IP获取主机名

nbtstat Linux版, 通过IP获取主机名/* NETBIOS name lookup tool - by eSDee of Netric (www.netric.org) * yeh.. i was really bored :-) * * [[email protected]] gcc -o nbtstat nbtstat.c && ./nbtstat 10.0.0.4 * Request sent, waiting for reply... [ctrl-c to abort]

Java 反编译工具 —— JAD 的下载地址(Windows版/Linux版/Mac OS 版)

Java 反编译工具 —— JAD 的下载地址. 各种版本哦! Windows版,Linux版,Mac OS 版,等等 下载地址: http://varaneckas.com/jad/ Java 反编译工具 -- JAD 的下载地址(Windows版/Linux版/Mac OS 版),布布扣,bubuko.com

项目管理知识体系指南(PMBOOK指南)(第5版) 阅读摘要

1.7.2 项目经理的人际技能 领导力: 团队建设: 激励: 沟通: 影响力: 决策能力: 政治和文化意识: 谈判: 建立信任: 冲突管理: 教练技术: 3.4 规划过程组 在制定项目管理计划和项目文件时,如何让项目的所有干系人积极参与并投入? 3.9 知识领域的作用 十大知识领域:项目整合管理.项目范围管理.项目时间管理.项目成本管理.项目质量管理.项目人力资源管理.项目沟通管理.项目风险管理.项目采购管理.项目干系人管理. 5.4.3.1 范围基准 WBS词典 账户编码标识: 工作描述: 假