静态代码检测工具:PC-Lint(for c/c++)

2023-11-10

 

PC-LintC/C++软件代码静态分析工具,你可以把它看作是一种更加严格的编译器。它不仅可以检查出一般的语法错误,还可以检查出那些虽然符合语法要求但不易发现的潜在错误。

C语言的灵活性带来了代码效率的提升,但相应带来了代码编写的随意性,另外C编译器不进行强制类型检查,也带来了代码编写的隐患。PCLint识别并报告C语言中的编程陷阱和格式缺陷的发生。它进行程序的全局分析,能识别没有被适当检验的数组下标,报告未被初始化的变量,警告使用空指针,冗余的代码,等等。软件除错是软件项目开发成本和延误的主要因素。PClint能够帮你在程序动态测试之前发现编码错误。这样消除错误的成本更低。
使用PC-Lint在代码走读和单元测试之前进行检查,可以提前发现程序隐藏错误,提高代码质量,节省测试时间。并提供编码规则检查,规范软件人员的编码行为。

由于PC-LINT对于一般程序员来说可能比较陌生,有好多人安装了也不知道怎样配置和使用。

下面我就根据自己的安装和配置心得对PC-Lint的安装、配置及使用进行下详细说明.本人主要介绍了将PC-Lint集成到VC++6.0SourceInsight的方法和步骤。

()WindowsC/C++开发工具中,VC6使用较为普遍,因此这里先讲下VC6.0环境中集成pclint的步骤.

首先, 当然要下载软件,正版软件要200$呢,买不起!所以只好网上找免费的拉。从http://www.61ic.com/down/othe/pclint.rar处可以下载到一个8.0版本的pclint.

1.pclint.rar解压至c:/, 这样lint文件就位与c:/pclint(安装目录)下了。
2.
c:/pclint/lnt 下的3个文件lib-w32.lntenv-vc6.lntco-msc60.lnt拷贝至c:/pclint下, 再在安装目录下创建std.lntoptions.lnt两个文件,其中std.lnt的内容如下

// contents of std.lnt

c:/pclint/co-msc60.lnt
c:/pclint/lib-w32.lnt
c:/pclint/options.lnt -si4 -sp4
-i"D:/Program Files;D:/Program Files/Microsoft Visual Studio/VC98/Include"

//end

其中-i后面的路径名为VC的安装路径和VC Include 文件路径,根据自己的修改便可。

options.lnt 内容可为空,为定制内容,以后需要时再添加。

准备工作做完了,下一步就是要将pclint集成到VC6中去,先配置lint使之能对单个CC++文件进行检查。

1.打开VC6tools--->customize-->tools 新建一个名为PC-Lint的项,在下面填入
command: C:/pclint/lint-nt.exe
arguments: -u c:/pclint/std.lnt c:/pclint/env-vc6.lnt "$(FilePath)"

Use Output Window 打上勾
close
完成。 这个在你VC窗口tools菜单下应该多了一个PC-Lint选项,可以用它来运行lint程序,对你的c/c++代码进行静态检查了。

(自己注1:将pclint放在任何目录都是可以的,但是,如果是放在例如:Program Files这样的目录中,由于该目录中间有空格,所以,解析时常常会出错,需要在绝对路径外面加上引号,例如:"H:/Program Files/pclint/lint-nt.exe"

自己注2:其实,更简单的方法使pc-lint的安装路径设置到系统地path环境变量中,那么就完全可以使用相对路径了。

自己注3:运行时,会提示PC-lint for C/C++ (NT) Ver. 8.00e, Copyright Gimpel Software 1985-2001
c:/pclint/co-msc60.lnt(214) : Error 307: Can't open indirect file 'lib-ole.lnt'
Tool returned code: 2  
这个错误,打开co-msc60.lnt,我们可以看到该文件最后一行对'lib-ole.lnt' 的调用,简单的处理直接注释掉就行了,如需用到OLE, 请设置lib-ole.lnt的绝对路径,并请参考下pclint的相关文档)

现在就可以用个小程序测试一下pclint
//test1.cpp
#include <string.h>
class X
{
int *p;
public:
X()
{ p = new int[20]; }
void init()
{ memset( p, 20, 'a' ); }
~X()
{ delete p; }
};

编译这个文件,看下你的编译器给你多少警告,再运行下lint 可以自己对比一下。
我的机器上,VC产生0 errors 0 warnings, lint程序产生了如下8条警告信息,有些还是很有用处的提示,这里就不一一分析了

运行后出现的提示如下:

PC-lint for C/C++ (NT) Ver. 8.00e, Copyright Gimpel Software 1985-2001

--- Module:   F:/C++ Test/lintRun.cpp

{ p = new int[20]; }

F:/C++ Test/lintRun.cpp(8): error 1732: (Info -- new in constructor for class 'X' which has no assignment operator)

F:/C++ Test/lintRun.cpp(8): error 1733: (Info -- new in constructor for class 'X' which has no copy constructor)

{ memset( p, 20, 'a' ); }

F:/C++ Test/lintRun.cpp(10): error 669: (Warning -- Possible data overrun for function 'memset(void *, int, unsigned int)', argument 3 (size=97) exceeds argument 1 (size=80) [Reference: file F:/C++ Test/lintRun.cpp: lines 8, 10])

F:/C++ Test/lintRun.cpp(8): error 831: (Info -- Reference cited in prior message)

F:/C++ Test/lintRun.cpp(10): error 831: (Info -- Reference cited in prior message)

{ delete p; }

F:/C++ Test/lintRun.cpp(12): error 424: (Warning -- Inappropriate deallocation (delete) for 'new[]' data)

 

    --- Wrap-up for Module: F:/C++ Test/lintRun.cpp

 

F:/C++ Test/lintRun.cpp(3): error 753: (Info -- local class 'X' (line 3, file F:/C++ Test/lintRun.cpp) not referenced)

 

--- Global Wrap-up

 

 error 900: (Note -- Successful completion, 7 messages produced)

Tool returned code: 7

2.通常一个VC项目中包含多个CC++文件,有时需要同时对这一系列的文件进行lint检查,我们可以通过配置一个pclint_project来达到目的。

 

以下部分我还没有用到,留置。

和前面第一步中的方法基本一样,不过这里我们需要用到unix中的find等命令来查找当前目录下的CC++文件,然后再将它们送给lint程序处理,所以得先从http://www.weihenstephan.de/~syring/win32/UnxUtils.zip下载UnxUtils.zip.
接着按下列步骤进行:

(i)解压UnxUtils.zipc:/unix, 可以看到C:/unix/usr/local/wbin有很多unix下的命令,等下会用到

(ii)打开VC6tools--->customize-->tools 新建一个名为pclint_project的项,只不过下面的commandsarguments内容不同。

commands: C:/unix/usr/local/wbin/find.exe
arguments: $(FileDir) -name *.c -o -name *.cpp | C:/unix/usr/local/wbin/xargs lint-nt -i"c:/unix/usr/local" -u c:/pclint/std.lnt c:/pclint/env-vc6.lnt

(自己注4:这里有一个小错误,如果不将pc-lint的安装路径写入系统path环境变量,那么上面设置后,在运行时会有错误:

                C:/unix/usr/local/wbin/xargs: cannot fork Tool returned code: 1

原因,就在于上面的设置中,lint-nt使用了相对路径,执行时找不到资源,所以改为绝对路径,一切就ok)

(iii)Use Output Window打上勾,close退出。好了,这时VC tools菜单下应该又多了一个pclint_project项了,你以后可以用它来对一个VC项目运行lint检查程序了.


(
)SourceInsight中集成pclint程序的方法.

Windows平台下也有好多人都喜欢用SourceInsight编辑C/C++程序,如果将pclint集成到SourceInsight中,那就相当于给SourceInsight增加了一个C/C++编译器,而且它的检查更严格,能发现一些编译器发现不了的问题,可以大大减少程序中潜伏的BUG。这样的话,相信更多人会喜欢SourceInsight这个工具了。

下面简要地介绍下pclint集成到SourceInsight中的方法

有了上面VC中集成pclint的经验, 下面的事情就应该比较轻松了,
(a)
打开你的SourceInsight, 选择Options-->Custom Commands-->Add, 输入pclint(当然名字可以随便).

(b) Run中输入: c:/pclint/lint-nt -u c:/pclint/std.lnt c:/pclint/env-vc6.lnt %f

(c)Dir留空,将Iconic Window, Capture Output, Parse Links in OutPut, File,then Line 四项前打上勾。

(d)然后点右侧 Menu--->Menu-->View--><end of menu>, 右侧Insert, OK.

(e)此时在SourceInsight中的View菜单下多了个pclint选项,可以用它来对单个C/C++文件进行静态检查。


用类似的方法可以配置对一个SourceInsight工程文件的lint检查。

(a)打开你的SourceInsight, 选择Options-->Custom Commands-->Add, 输入pclint_project(当然名字可以随便).

(b) Run中输入: C:/unix/usr/local/wbin/find.exe %d -name *.c -o -name *.cpp | C:/unix/usr/local/wbin/xargs lint-nt
-i"C:/unix/usr/local" -u c:/pclint/std.lnt c:/pclint/env-vc6.lnt

(c)Dir留空,将Iconic Window, Capture Output, Parse Links in OutPut, File,then Line 四项前打上勾。

(d)然后点右侧 Menu--->Menu-->View--><end of menu>, 右侧Insert, OK.

(e)此时在SourceInsight中的View菜单下多了个pclint_project选项,可以用它来一个工程中的C/C++文件进行静态检查。


本文主要对pclint集成到VCSourceInsight环境中的方法根据本人安装和使用心得做了较详细介绍,希望对以前没使用过pclint的朋友们能有所帮助,不足之处还请多指正!

注: 关于库文件函数的实现与模块使用的一致性检查、 目前验证可以通过以下方式进行:

方法一:
  
将库文件(*.cpp/*.h)均复制到引用该库的模块的路径下。

方法二:
   1
、建立一个lnt文件,名为files.lnt文件中保存的内容就是该模块,
  
及其使用的库的所有文件的全路经列表。例如:
     E:/funtestC/fun.c
     E:/funtestC/main.c
     E:/libC/libMain.c
     E:/libC/libC.h
  
(这个文件列表的创建可以写一段小程序实现,必要的信息都可以
    
mak文件中获取。)
   2
、将files.lnt的绝对路经写入std.lnt文件的末尾。

本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)

静态代码检测工具:PC-Lint(for c/c++) 的相关文章

随机推荐

  • IC 的资源体系

    信息共享空间是集信息资源 各类软硬件设施于一体的一个综合性动态服务模 式 其最大特点是资源共享 因此 要加强电脑终端 打印机等硬件设施的建设 同时强调文献数据库 电子图书 学位论文 各类免费软件等信息资源的建设 提 供知识导航 跨库检索 开
  • SysTick定时器

    SysTick定时器 SysTick定时器也叫SysTick滴答定时器 它是Cortex M3内核的一个外设 它是一个24 位向下递减的定时器 每计数一次所需时间为1 SYSTICK SYSTICK是系统定时器时钟 它可以直接取自系统时钟
  • 【概念梳理】激活函数

    一 引言 常用的激活函数如下 1 Sigmoid函数 2 Tanh函数 3 ReLU函数 4 ELU函数 5 PReLU函数 6 Leaky ReLU函数 7 Maxout函数 8 Mish函数 二 激活函数的定义 多层神经网络中 上层节点
  • CoordinatorLayout的使用-Androidx

    折叠效果实现核心 CoordinatorLayout AppBarLayout CollapsingToolbarLayout 1 build gradle dependencies implementation com google an
  • Elasticsearch7.7 基础教程 1

    Elasticsearch7 7 基础教程 1 以下简称es7 7 es7 7的安装 1 官网下载 https www elastic co cn downloads elasticsearch 2 解压文件 3 在安装文件夹下的bin目录
  • Ajax session一直变,ajax异步session值不唯一 总是改变 解决办法

    public void doFilter ServletRequest servletRequest ServletResponse servletResponse FilterChain filterChain throws IOExce
  • 获取硬件信息的delphi源码(CPUID、操作系统、Mac物理地址、计算机名称、IP地址、用户名)

    转载请保留本文链接地址 http blog csdn net sushengmiyan article details 8545673 作者 sushengmiyan 2013 01 26 备注 功能 硬件信息获取单元 unit Appli
  • 使用nginx做为http-flv服务如何解决跨域问题

    什么是跨域 跨域是指浏览器的同源策略限制 这个策略会阻止一个域的javascript脚本和另外一个域的内容进行交互 如果一个请求url的协议 域名 端口三者之间任意一个与当前页面的url不同即为跨域 如下图所示即为跨域时的报错 使用ngin
  • idea git操作

    图片有的 是idea界面 有的是Android studio界面 当成字典看 不用记 你知道自己想操作仓库时 知道自己曾写过这篇文章就行 目录 引入git别的仓库的其它模块 创建 Git 分支并且 Push 删除分支 删除分支的文件 And
  • eclipse IDE的安装和常用配置教程(详细)

    eclipse IDE的安装和常用配置 第一步 安装配置JDK 打开eclipse需要先安装和配置好JDK 所以需要提前配置JDK 教程链接如下 https blog csdn net weixin 46028577 article det
  • HDFS简单测试

    使用Hadoop的Java客户端API操作分布式文件系统 获取文件系统实现 hdfs master01 9000 FileSystem get URI uri Configuration conf String user fs defaul
  • android 功能模块之通讯模块四

    Android通讯录开发之通讯录联系人搜索功能最新实现 2014年1月13日 之前的有两篇博客介绍了如何解决通讯录搜索功能的问题 那些方法都是从网上搜集 然后经过自己整理试验之后的 但在项目测试人员给我反馈 似乎还是存在一些问题 比如一些简
  • 【Flutter 2-10】Flutter手把手教程UI布局和Widget——流式布局Wrap

    作者 弗拉德 来源 弗拉德 公众号 fulade me Wrap 在Flutter中Wrap是流式布局控件 Row和Column在布局上是很好用 但是有一个缺点 如果当子控件数量过多导致Row或Column装载不下的时候 就会出现UI页面上
  • cdn 引入的资源需要通过 externals 排除打包哦~

    cdn 指的是通过相互连接的网络系统 使用最靠近用户的服务器将音乐 图片等资源以高效率和低成本的方式将内容传递给用户 在 webpack 中 我们可能会将引入的第三方资源会编译成单独的文件 作为静态资源放到服务器上 但有些库它本身就有 cd
  • 结构体大小和类大小的计算

    1 结构体大小的计算 当为空结构体时 其大小为1 选取结构体中类型字节数最大的最为对齐符 注意 是最大的类型字节数 例如 int a 10 并不是以40作为对齐符 每次申请对齐符个字节大小的内存 当内存不够时才继续申请 举例 struct
  • 特征选择&特征提取

    特征 在一些实际问题中 我们得到的样本数据都是多个维度的 即一个样本是用多个特征来表征的 比如在房价预测的问题中 影响房价y的因素有房子面积x1 卧室数量x2等 我们得到的样本数据就是 x1 x2 这样一些样本点 这里的x1和x2又被称为特
  • Maven阿里云镜像配置

    在setttins xml文件中找到标签对 进行修改
  • OpenWRT docker安装homeassistant、node-red、zigbee2mqtt

    1 安装 Docker 和 Docker Compose opkg update opkg install docker compose 2 创建 Home Assistant 的配置文件目录和数据目录 mkdir p opt hassio
  • 晶振PCB Layout

    晶振PCB Layout 前提摘要 个人说明 限于时间紧迫以及作者水平有限 本文错误 疏漏之处恐不在少数 恳请读者批评指正 意见请留言或者发送邮件至 noahpanzzz gmail com 参考 B站唐老师讲电赛 跟着大厂学画PCB 2
  • 静态代码检测工具:PC-Lint(for c/c++)

    PC Lint是C C 软件代码静态分析工具 你可以把它看作是一种更加严格的编译器 它不仅可以检查出一般的语法错误 还可以检查出那些虽然符合语法要求但不易发现的潜在错误 C语言的灵活性带来了代码效率的提升 但相应带来了代码编写的随意性 另外