PGRelief使用指南2014(Linux版)

inux

1 配置分析选项

1.1编译器选择

-K  

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

         用法:

                   pgr -K GNU/GCC3 a.cc

公司

编译器

[DIAB DATA Company]

DIABDATA/DCCANSI DIABDATA/DCCKANDRDIABDATA/DCCSTRICTDIABDATA/DCC

[FUJITSU Products

FUJITSU/FCC401FUJITSU/FCC401CFUJITSU/FCC401FUJITSU/SOFTUNEF2MC16B

FUJITSU/SOFTUNEFRBFUJITSU/SOFTUNEFR

[GNU Products]

GNU/GCCGNU/GCC3GNU/GCC3_C90GNU/GCC4GNU/GCC4_C++03GNU/GCC3_C90

[Microsoft  Visual  C++ Compiler]

MS/VC1MS/VC4MFCMS/VC4MS/VC42MS/VC42MFCMS/VC5MS/VC5MFCMS/VC6MS/VC6MFCMS/VC6WIN64MS/VC2003MS/VC2003MFCMS/VC2005MS/VC2005MFC

MS/VC2008MS/VC2008MFCMS/VC2010MS/VC2010MFCMS/VC2010CLR

[Mentor Graphics Japan Co.Ltd. Products]

MGJ/MRIPCMGJ/MRISUN

[HITACHI Products]

HITACHI/SHHITACHI/H8

[RENESAS company]

RENESAS/78K0RRENESAS/740RENESAS/7770RENESAS/H8——300RENESAS/H8SRENESAS/M16C

RENESAS/M16C80RENESAS/M32CRENESAS/M32RRENESAS/RX\RENESAS/superH

Sun Microsystems

SUN/SPARC3SUN/SPARC4SUN/SPARC4CSUN/SPARC4SSUN/SPARC5SUN/SPARC5CSUN/SPARC5SSUN/SPARC42SUN/SPARC42CSUN/SPARC42SSUN/SPARC201SUN/SPARC301

SUN/SPARC301CSUN/SPARC301S

NFC

NFC/78K0NFC/78K0SNFC/78K4NFC/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" 

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

需要重新设置头文件路径 

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

你可能感兴趣的:(源码分析,PGRelief,静态检测工具,++/C)