使用Cppcheck对代码进行静态检查

电子设计联盟

kmyfksdmjvn6401594914.gif

% U' l2 m; b. ^$ x点击上方蓝色字体，关注我们
  h1 R& B4 P- V0 H3 k. F  k
1 v4 h# e5 r; k2 s' m
我之前团队习惯使用QAC这款强大的静态分析工具。 然而，QAC 是一款付费软件，让许多普通规模的汽车相关企业，尤其是初创型公司或是预算有限的中小企业望而却步。

# S" w' N0 j+ s; R  r3 `在没有充足资金投入购买此类工具的情况下，难道就只能放弃高效的静态检查了吗？实则不然。

2 b# S  q" P9 B+ N2 p在此，强烈推荐使用 Cppcheck 这款开源免费的静态代码分析工具。

, U. k% r4 Z+ e! T! ^* X+ S3 d

hofspzxwodu6401595015.png

% i7 R8 B% ~9 t9 H
1 ?3 s8 M1 h) A- G- gCppcheck 拥有诸多优势，一方面，它支持对 C 和 C++ 代码进行广泛且细致的检查，无论是常见的空指针引用、数组越界、内存泄漏等经典错误，还是较为隐晦的未初始化变量使用、逻辑运算优先级混淆等问题，都能被有效识别。

另一方面，它具有出色的跨平台特性，无论是 Windows、Linux 还是 Mac 系统，都能无缝适配，这对于汽车嵌入式开发中多样的开发环境来说极为便利。
0 _! `- F$ C) _3 w& g

glzholkjvsh6401595115.png

下载链接：https://cppcheck.sourceforge.io/

+ O. a; k; F; r4 ^) d 这里我使用的是Windows版本安装完成后，效果如下：

# U* h% |% U- s

qhxaoj3lps56401595215.png

# Z( l9 N2 I$ n) Y5 f4 iCppcheck的使用比较简单，主要分为两步，一是整理好需要检查的软件代码工程；二是使用Cppcheck进行检查。
1
整理代码工程
* S5 E" ?( l( x. a3 T拷贝一份代码工程用于做静态检查，整理代码工程只需要保留软件工程中的所有头文件和源文件，其他的编译文件、配置文件等，全部删除就可以。
5 O9 Z' B9 X9 F: o8 Z2 l. _
; `) I! c2 ]$ M1 _0 E原工程如下：

' t7 `9 T6 W3 @" S& Z

dtcgasxahm06401595315.png

4 ^( L! D0 n. U. y整理后效果如下：

! B$ J" t! q# p" F  n2 M& g0 p

j1qeof1rsg26401595415.png

- X5 G% e" G0 I2
( V1 e; T# H( S& b静态检查
静态检查前，需要将Cppcheck软件的检查设置修改成我们预期的检查项，以下是我的静态检查设置：
% F$ e4 y  R4 O

zvdmsowfw036401595515.png

; z# ^* l4 n. d2 @

u4p4giteu356401595615.png

点击分析，选择目录，加载需要静态检查的软件工程：
* m- ?: m1 U* }
) W5 h+ Z7 S/ p5 |$ ]: i

i4ntzsvzbwi6401595715.png

( \' c  d+ s: E" s2 b( G$ V; R
导入软件工程后，立刻会开始静态检查：
4 ]) u) i  k- O# S8 j

suf1vryrfmd6401595815.png

4 V$ j8 c, F5 d$ v8 }
静态检查后可以看到有问题文件的说明，结果如下：
2 K  i( A4 ]; ~* W. W
/ s5 T; c, N9 z

51hli3wwwrd6401595915.png

' Y5 _9 x4 L. o$ k! o. }7 N; X; \5 f也可以设置过滤，查看不同等级的静态检查结果。

' T8 V& `- D; g5 S

kogyqvsg2ta6401596016.png

; H0 r: b# V8 B# k
最后，可以在统计中查看检查结果汇总。

2 E4 G0 d6 [( q

vgejozbbxun6401596116.png

/ X# E3 ~/ T. u/ Y3 c9 j' O" r
可以将结果导出成PDF文件。
) Q3 d' b: t  Z% [
0 V- n( c. f8 K7 Q- ]6 z

xgjuypcptau6401596216.png

结果参数说明如下：
1 `) r$ s3 _5 S4 s" R

error：指代代码里存在的错误项，像内存泄漏这类情况。

warning：给出的编程改进意见，目的在于避免产生 bug。

style：涉及编码风格相关内容，会提示哪些函数未被使用以及多余代码等情况。

portability：提示在跨平台时容易出现的一些问题。

performance：表明该部分代码具备可优化的空间。

information：属于其他信息，可予以忽略。
静态检查结果PDF如下：

s5dm5zqci1e6401596316.png

zbfunpypfnk6401596416.jpg

) F+ d) {5 j9 J. y+ V0 @2 }

rvq5wosdufi6401596516.gif

点击阅读原文，更精彩~

qwsaa123

学习学习！！！！