代码静态分析工具 --- CppCheck

最新推荐文章于 2024-08-13 06:00:00 发布

Nireus_LOVE

最新推荐文章于 2024-08-13 06:00:00 发布

阅读量3.7k

点赞数

分类专栏： Linux 文章标签：代码静态检查静态程序分析 cppcheck

本文链接：https://blog.csdn.net/zhufenglonglove/article/details/51493082

版权

本文介绍了静态程序分析工具CppCheck，它能在不执行代码的情况下检查潜在问题，如未使用的变量、类型不匹配等。内容包括CppCheck的下载安装、基本及高级使用方法，如检查单个文件、多线程检查、XML输出、错误过滤和报告美化等。

摘要由CSDN通过智能技术生成

1. 概述

静态程序分析是指使用自动化工具软件对程序源代码进行检查，以分析程序行为的技术，应用于程序的正确性检查、安全缺陷检测、程序优化等。它的特点就是不执行程序，有助于在项目早期发现以下问题：变量声明了但未使用、变量类型不匹配、变量在使用前未定义、不可达代码、死循环、数组越界、内存泄漏等。
静态分析工具相比编译器，对代码进行了更加严格的检查，像数组越界访问、内存泄漏、使用不当的类型转换等问题，都可以通过静态分析工具检查出来，我们甚至可以在分析工具的分析标准里定义代码的编写规范，在检测到不符合编写规范的代码时抛出告警，这些功能都是编译器没的。
编译器负责把C源程序快速、高效地转变为可执行文件，不对代码做类型检查（特别是对分别编译的程序），有益于做到快速与高效。而Lint没有“高效”的要求，可以花更多时间对代码进行更深入、仔细的检查。”

2. 工具简介

(1)下载安装（Linux）
官方网址：http://sourceforge.net/projects/cppcheck/
(2)安装方式：解压后，直接make进行编译，完成后，make install进行安装
(3)验证安装：cppcheck -v 查看是否安装成功
(4)特点介绍
主要检查编译器通常不能发现的缺陷。
cppcheck能够发现很多错误，但不能发现所有的错误。