C++(Qt)软件调试---静态分析工具clang-tidy（18）

C++(Qt)软件调试—静态分析工具clang-tidy（18）

文章目录

  • C++(Qt)软件调试---静态分析工具clang-tidy（18）
    • 1、概述
    • 2、clang-tidy基本用法
    • 3、目前已有检查项
    • 4、Qt Creator中安装clang-tidy
    • 5、Qt Creator中使用clang-tidy
    • 6、Clang-Tidy配置界面说明
    • 7、Clang-Tidy配置
    • 8、VS中使用Clang-tidy
    • 9、参考文章

更多精彩内容
👉个人内容分类汇总 👈
👉C++软件调试、异常定位 👈

1、概述

现在很多人在开发中完全忽略了编译器、IDE的警告提示，这怎么可能写出稳定的程序。

clang-tidy是一个由LLVM项目提供的开源工具，是一个静态分析工具，用于进行静态代码分析和代码质量改进。

支持C++/C/Objective-C。

clang-tidy提供了一种基于AST（抽象语法树）的检查方法，能够检测出代码中的多种潜在问题，包括内存泄漏、未使用的变量、类型不一致等。它还支持自定义检查器的创建，使得用户可以针对特定项目或代码库进行定制检查。

clang-tidy可以与Clang编译器无缝集成，这意味着开发者可以在编译过程中同时运行静态分析，以便及时发现和修复问题。此外，clang-tidy还支持与其他工具链和IDE集成，如Visual Studio、CLion、Qt等，为开发者提供便利的使用体验。

在本文中主要讲解如何在Qt、Visual Studio中使用clang-tidy。

演示环境

  • Windows11
  • Qt 6.5.3
  • Qt Creator 11.03
  • VS 2022

2、clang-tidy基本用法

  • clang-tidy.exe --help：查看帮助信息；

    在这里插入图片描述

  • clang-tidy.exe -list-checks：列出所有已启用的检查并退出；

  • clang-tidy.exe -list-checks -checks=*：列出所有可用选项。

  • clang-tidy.exe [代码文件] -checks=[检查项]：设置要运行的检查项，以逗号分隔，负号为删除检查项，没有负号为添加检查项，例如：

    • clang-tidy.exe E:\test\untitled2\main.cpp -checks=-*,clang-*表示关闭所有检查项，添加clang-组所有的检查项，检查main.cpp文件。

  • --warnings-as-errors=[检查项]：可将设置的检查项由警告升级为错误，使用如下所示

    • clang-tidy.exe E:\test\untitled2\main.cpp -checks=-*,cppcoreguidelines-* --warnings-as-errors=cppcoreguidelines-*

3、目前已有检查项

名称前缀描述
abseil-与 Abseil 库相关的检查。`
altera-与 FPGA 的 OpenCL 编程相关的检查。
android-与 Android 相关的检查。
boost-检查与 Boost 库相关的内容。
bugprone-检查是否以容易出错的代码构造为目标。
cert-与 CERT 安全编码指南相关的检查。
clang-analyzer-Clang Static Analyzer 检查。
concurrency-与并发编程相关的检查（包括 线、纤维、协程等）。
cppcoreguidelines-与 C++ 核心指南相关的检查。
darwin-与达尔文编码约定相关的检查。
fuchsia-与 Fuchsia 编码约定相关的检查。
google-与 Google 编码约定相关的检查。
hicpp-与高完整性 C++ 编码标准相关的检查。
linuxkernel-与 Linux 内核编码约定相关的检查。
llvm-与 LLVM 编码约定相关的检查。
llvmlibc-与 LLVM-libc 编码标准相关的检查。
misc-我们没有更好的类别的检查。
modernize-提倡使用现代（当前为“现代”）的检查 表示“C++11”）语言结构。
mpi-与 MPI（消息传递接口）相关的检查。
objc-检查与 Objective-C 编码约定相关的内容。
openmp-与 OpenMP API 相关的检查。
performance-检查是否针对与性能相关的问题。
portability-检查是否针对不针对可移植性相关问题 与任何特定的编码风格相关。
readability-检查是否针对与可读性相关的问题，但不针对 与任何特定的编码风格相关。
zircon-与 Zircon 内核编码约定相关的检查。

  • 列出详细检查项如下所示（未显示完全）

    在这里插入图片描述

4、Qt Creator中安装clang-tidy

  1. Qt Creator默认是安装了clang的，如果没有可以按照后面步骤进行安装。

  2. 打开Qt Creator，点击【帮助】->【关于插件】；

    在这里插入图片描述

  3. 找到【Code Analyzer】，勾选【ClangTools】，然后点击【确认】重启；

    在这里插入图片描述

  4. 打开【首选项】->【分析器】，如果出现【Clang Tools】就安装成功了。

    在这里插入图片描述

  5. Qt Creator集成了以下Clang工具，用于通过静态分析在C、C++和Objective-C源代码中发现问题：

    • Clang Tidy：它对典型的编程错误进行诊断和修复，如风格违规或接口滥用。
    • Clazy：有助于Clang理解Qt语义。它显示与Qt相关的编译器警告，从不必要的内存分配到API的误用，并具有修复某些问题的重构操作。

5、Qt Creator中使用clang-tidy

  1. 选择【工具】->【C++】->【Analyze Current File with Clang-Tidy】可使用clang-tidy分析当前打开的文件；

  2. 选择【工具】->【C++】->【Analyze Current File with Clazy】可使用Clazy分析当前打开的文件；

  3. 如下图所示，在打开的文件左侧行号位置会出现黄色三角形，说明这一行代码可能存在问题，在IDE下方会列出所有检查出的问题，双击列出的问题会定位到出现问题的行，鼠标移动到黄色三角形上会出现问题的详细说明。

    在这里插入图片描述

  4. 选择【分析】->【Clang-Tidy】/【Clazy】可以打开【Files to Analyze】窗口，可以在这个窗口中选择使用分析检查项目工程的所有文件。

    在这里插入图片描述

    在这里插入图片描述

  5. 在Clang-Tidy问题视图中如下图所示，框选出的几个按键从左到右功能如下；

    在这里插入图片描述

    1. 点击下拉框可弹出分析工具选项，选择使用哪个分析工具；

      在这里插入图片描述

    2. 使用Clang-tidy分析工程所有文件；

    3. 使用Clang-tidy分析当前打开文件；

    4. Clang-tidy在项目中的设置；

    5. 清除所有检查结果；

    6. 展开/关闭检测结果；

  6. 如下图所示，鼠标移动到黄色三角形图标上后会显示提示弹窗，右上角4个按钮功能从左到右分别是；

    1. 复制提示信息到剪贴板；
    2. 禁用检测项：clang-tidy静态分析时会出现误报情况或者某些问题不想检测时就可以点击右上角的红色×，然后点击【分析】->【clang-tidy】重新检查就可以了；（注意：如果勾选了prefer .clang-tidy file, if present则这个功能不会生效）
    3. 打开/关闭显示提示信息；
    4. 进入clang-tidy配置窗口。

    在这里插入图片描述

6、Clang-Tidy配置界面说明

  1. 打开【首选项】设置，进入【分析器】->【Clang tools】或者直接点击提示信息右上角的设置按钮；

    在这里插入图片描述

    1. diagnostic configuration：配置检查项；

    2. prefer .clang-tidy file, if present：如果工程目录下有.clang-tidy文件则优先使用.clang-tidy文件中的规则进行检查；如下图所示，在.clang-tidy文件中添加规则，然后放到工程目录下，重新运行clang-tidy检查就可以了。

      在这里插入图片描述

    3. build the project before analysis：在进行代码分析之前先构建编译，以确保要分析的代码是有效的，可以检测出更多问题。

    4. analyze open files：在打开一个文件时自动启动clang-tidy对打开的文件进行检查。

    5. parallel jobs：多线程并行启动clang-tidy检查，可以提升检查速度。

7、Clang-Tidy配置

  1. 在【Clang Tools】中点击【Default Clang-Tidy and Clazy checks】，打开窗口如下所示；

    在这里插入图片描述

  2. 这时Default Clang-Tidy and Clazy checks配置是内置配置，无法进行修改，点击【复制】重新创建一份配置就可以修改了，选择【Clang-tidy Checks】，勾选需要的检查项就可以了。

    在这里插入图片描述

  3. 选择【Clazy Checks】可配置clazy的检查级别，Clazy 检查分为从 0 到 3 的级别。级别 0 的检查非常稳定，几乎没有显示任何误报，而级别 3 的检查是实验性的。

    在这里插入图片描述

8、VS中使用Clang-tidy

从 Visual Studio 2019 版本 16.4 开始，已提供 Clang-Tidy 支持。 在 Visual Studio 安装程序中选择 C++ 工作负载时，会自动包含它。

VS中同时支持另一种代码静态检查工具【 Microsoft 代码分析】，可通过【项目】->【属性】->【Code Analysis】->【启用Microsoft Code Analysis】开启使用。

  1. 选择【项目】->【属性】;

    在这里插入图片描述

  2. 如下图所示，选择【Code Analysis】，将【生成时启用Code Analysis】设置为是，将【启用Clang-tidy】设置为是就可以在VS中启用Clang-tidy了，但是还需要配置检查项。

    在这里插入图片描述

  3. 如下图所示，选择【Clang-Tidy】，输入检查项，然后确认。

    在这里插入图片描述

  4. 然后就可以在文件修改后、编译后或者选择【分析】->【运行Code Analysis】对代码进行检查。

    在这里插入图片描述

9、参考文章

  • Clang-Tidy — Extra Clang Tools 18.0.0git documentation (llvm.org)
  • 使用 Clang 工具 |Qt Creator手册
  • 在 Visual Studio 中使用 Clang-Tidy | Microsoft Learn

{__/}
(̷ ̷´̷ ̷^̷ ̷`̷)̷◞~❤
| ⫘ |

本文来自互联网用户投稿，该文观点仅代表作者本人，不代表本站立场。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如若转载，请注明出处：http://www.mzph.cn/news/649509.shtml

如若内容造成侵权/违法违规/事实不符，请联系多彩编程网进行投诉反馈email:809451989@qq.com，一经查实，立即删除！

相关文章

HTML5 服务器发送事件（Server-Sent Events）

HTML5 服务器发送事件（Server-Sent Events）

前言： 文章内容参考： HTML5 服务器发送事件(Server-Sent Events) | 菜鸟教程 microsoft/fetch-event-source - npm event-source-polyfill - npm 正文： HTML5服务器发送事件（server-sent event）允许网页获得来自服务器…
阅读更多...
websocket 通信协议

websocket 通信协议

websocket是什么 答: 它是一种网络通信协议，是 HTML5 开始提供的一种在单个 TCP 连接上进行全双工通讯的协议。 意思就是服务器可以主动向客户端推送信息，客户端也可以主动向服务器发送信息 属于服务器推送技术的一种. 为什么需要websocket? 疑问?…
阅读更多...
Windows Server Nginx 反向代理Spring Boot配置无效 404 未找到

Windows Server Nginx 反向代理Spring Boot配置无效 404 未找到

一个Spring Boot的系统，开发完成发布到Windows服务器里，使用nginx作为反向代理，修改刷新配置文件，nginx.conf，总是报错404。 这个是不生效刷新配置文件的bat脚本： REM 切换到NGINX安装目录 cd D:\nginx-1.…
阅读更多...
修复WordPress内部服务器错误的步骤及解决方案

修复WordPress内部服务器错误的步骤及解决方案

WordPress是一款广泛使用的开源内容管理系统，但在使用过程中，可能会遇到各种内部服务器错误。这些错误可能由于多种原因引起，例如插件冲突、文件权限问题、服务器配置不当等。为了帮助您快速解决这些问题，本文将为您提供一套详细的…
阅读更多...
数据结构排序算详解（动态图+代码描述）

数据结构排序算详解（动态图+代码描述）

目录 1、直接插入排序（升序） 2、希尔排序（升序） 3、选择排序（升序） 方式一（一个指针） 方式二（两个指针） 4、堆排序（升序） 5、冒…
阅读更多...
Golang协程池ants使用笔记

Golang协程池ants使用笔记

最近工程中遇到goroutine滥用导致的bug，采用了ants协程池来解决。 github-ants官方源码和使用说明。 记录一个例子 package mainimport ("fmt""runtime""github.com/panjf2000/ants/v2" )// 模拟一个任务：求数字x的平方 …
阅读更多...
代码随想录算法训练营数组总结

代码随想录算法训练营数组总结

一、理论基础 定义：数组是存放在连续内存空间上的相同类型数据的集合。 注意事项： ①数组下标从0开始。 ②数组元素不能删除，只能覆盖。 ③二维数组的地址空间不一定是连续的。 二、方法总结 1.二分法 思想：设置left、right指针&a…
阅读更多...
equence to Sequence Learning with Neural Networks 导读

equence to Sequence Learning with Neural Networks 导读

本文介绍了一种基于深度神经网络（DNN）的序列到序列学习方法，该方法使用多层长短时记忆网络（LSTM）将输入序列映射为固定维度向量，并使用另一个深LSTM解码目标序列。在英语到法语翻译任务上，该方法…
阅读更多...
QtRVSim（二）一个 RISC-V 程序的解码流程

QtRVSim（二）一个 RISC-V 程序的解码流程

继上一篇文章简单代码分析后，本文主要调研如何实现对指令的解析运行。 调试配置 使用 gdb 工具跟踪调试运行。 c_cpp_properties.json 项目配置： {"name": "QtRvSim","includePath": ["${workspaceFolder}/**&quo…
阅读更多...
【微调大模型】如何利用开源大模型，微调出一个自己大模型

【微调大模型】如何利用开源大模型，微调出一个自己大模型

在人工智能的浪潮中，深度学习已经成为了最炙手可热的技术。其中，预训练大模型如Transformer、BERT等，凭借其强大的表示能力和泛化能力，在自然语言处理、计算机视觉等多个领域取得了显著的成功。然而，这些预训练大模型往往需要巨大的计算资源和时间成本，对于一般的研究者或…
阅读更多...
Spring5系列学习文章分享---第五篇（事务概念+特性+案例+注解声明式事务管理+参数详解 ）

Spring5系列学习文章分享---第五篇（事务概念+特性+案例+注解声明式事务管理+参数详解 ）

目录 事务事务概念什么是事务事务四个特性（ACID） 搭建事务操作环境Spring 事务管理介绍注解声明式事务管理声明式事务管理参数配置XML 声明式事务管理事务操作（完全注解声明式事务管理）感谢阅读 开篇: 欢迎再次来到 Spring 5 学习…
阅读更多...
Lowest Common Ancestor

Lowest Common Ancestor

模板 1. Tarjan 一个讲的很好的视频：D10 Tarjan算法 P3379【模板】最近公共祖先（LCA）_哔哩哔哩_bilibili，董晓算法出品。 Tarjan总体来说可以概括为： 记录访达：记录某个节点是否已经访问过，防…
阅读更多...
3. MATLAB中Plot绘制放大特定的区域

3. MATLAB中Plot绘制放大特定的区域

在MATLAB中，我们经常需要绘制图形并进行一些自定义的操作。在本示例中，我们将演示如何在MATLAB中绘制一个图形，并通过放大某个特定的区域来突出显示。 ## 原始图形 首先，我们绘制了一个包含正弦和余弦函数的图形。 % MATLAB 代…
阅读更多...
RabbitMQ 笔记二

RabbitMQ 笔记二

1.Spring 整合RabbitMQ 生产者消费者 创建生产者工程添加依赖配置整合编写代码发送消息 创建消费者工程添加依赖配置整合编写消息监听器 2.创建工程RabbitMQ Producers spring-rabbitmq-producers <?xml version"1.0" encoding"UTF-8"?> <pr…
阅读更多...
【计算机图形学】实验五 一个简单的交互式绘图系统（实验报告分析+截图+源码）

【计算机图形学】实验五 一个简单的交互式绘图系统（实验报告分析+截图+源码）

可以先看一看这篇呀~【计算机图形学】专栏前言-CSDN博客https://blog.csdn.net/m0_55931547/article/details/135863062 目录 一、实验目的 二、实验内容
阅读更多...
77 C++对象模型探索。虚函数- 从静态联编，动态联编出发，分析 虚函数调用问题探究

77 C++对象模型探索。虚函数- 从静态联编，动态联编出发，分析 虚函数调用问题探究

什么叫做单纯的类&#xff1a; 比较简单的类&#xff0c;尤其不包括 虚函数 和虚基类。 什么叫不单纯的类&#xff1a; 从上一章的学习我们知道&#xff0c;在某些情况下&#xff0c;编译器会往类内部增加一些我们看不见但是真实存在的成员变量&#xff0c;例如vptr&#xff…
阅读更多...
unitary MUSIC 算法

unitary MUSIC 算法

unitary MUSIC 算法 论文 A Unitary Transformation Method for Angle-of-Arrival Estimation 中提出了 unitary MUSIC 的算法&#xff0c;直译就是酉 MUSIC 算法&#xff0c;即酉变换 MUSIC 算法。该算法的目的是简化计算复杂度&#xff0c;将传统 MUSIC 算法中的复数 SVD 和复…
阅读更多...
【shell-10】shell实现的各种kafka脚本

【shell-10】shell实现的各种kafka脚本

kafka-shell工具 背景日志 log一.启动kafka->(start-kafka)二.停止kafka->(stop-kafka)三.创建topic->(create-topic)四.删除topic->(delete-topic)五.获取topic列表->(list-topic)六. 将文件数据 录入到kafka->(file-to-kafka)七.将kafka数据 下载到文件-&g…
阅读更多...
Linux内核中USB设备驱动实现

Linux内核中USB设备驱动实现

USB 设备驱动&#xff1a; 一、USB 描述符&#xff1a;&#xff08;存在于USB 的E2PROM里面&#xff09; 1、 设备描述符&#xff1a;struct usb_device_descriptor 2、 配置描述符&#xff1a;struct usb_config_descriptor 3、 接口描述符&#xff1a;struct usb_interfa…
阅读更多...
linux深度学习开发基础命令——极简版

linux深度学习开发基础命令——极简版

linux深度学习开发基础命令——极简版 本博客只是阐述常用的部分shell命令&#xff0c;更为全面的内容请参考其他博客 1. 创建python虚拟环境 默认使用conda创建 conda create -yourenv_name pyhton3.x 查看全部虚拟环境 conda env list 激活虚拟环境 conda activate env_name …
阅读更多...
最新文章

Copyright @ 2022~2023