C/C++test两步完成CMake项目静态分析

您可能一直在静态分析中使用CMake。但您是否尝试过将Parasoft C/C++test与CMake一起使用吗?以下是如何使用C/C++test在基于CMake的项目中运行静态分析的详细说明。

CMake是用于构建、测试和打包软件的最流行的工具之一。Parasoft C/C++test通过简化构建管理过程,简化了与基于CMake的项目的集成。项目越大,影响就越明显。

Parasoft团队在为一家大型知名汽车制造商推出测试解决方案期间开发了这些增强功能。我们的目标是在基于自适应AUTOSAR平台的大型复杂项目中引入静态分析和单元测试功能。这些项目由多个静态和动态库以及许多可执行文件组成。

在这篇文章中,将为您解释如何将Parasoft C/C++test静态分析功能集成到基于CMake的项目中,您可以对单元测试执行同样的操作。

图片

1. 将静态分析集成到基于CMake的项目中

要执行静态代码分析,Parasoft C/C++test等工具需要有关项目构建的信息。通常,所需要的只是编译命令行,用来调用用于分析的文件。

有不同的方法可以把C/C++test集成到构建过程中。不同的构建系统可能需要不同的方法。有了基于CMake的项目,就可以轻松地进行静态分析,并且只需对工作流进行最小的修改。这有助于与C/C++test顺利集成。

CMake脚本可以很容易地配置将编译时信息生成为JSON文件。通常每次构建都会得到一个JSON文件。这个JSON文件包含静态分析器执行代码扫描所需的所有内容。然后在生成构建脚本时创建带有编译命令行的JSON文件。C/C++test可以识别这种格式,并可以直接将其用作执行静态分析的导入文件。

2. 在基于CMake的项目上运行静态分析

在基于CMake的项目上运行静态分析的过程涉及以下步骤:

  • 使用编译命令启用JSON文件的生成。这是一次性活动。

  • 生成构建脚本。这将包括编译信息JSON文件生成。

  • 通过将JSON文件中的编译信息作为静态分析的导入文件来运行静态分析。

2.1 基于CMake的项目静态分析实例

让我们一起看一个在基于CMake的项目上运行静态分析的示例。如果您也有相同的环境,请咨询Parasoft China获取C/C++test试用。

遵循以下步骤

安装后,转到安装目录并进入examples子文件夹。复制Timer示例并进入Timer目录。(这些步骤都是在Linux系统上操作的。)您应该看到以下内容:

图片

准备使用位于主目录中的Makefile文件或使用CMake生成的构建脚本来构建此示例。

在Timer文件夹下面创建一个build文件夹,并且进入到build文件夹下,通过调用CMake脚本来构建Timer项目。

图片

如果我们显示出build目录的内容,我们将看到生成了compile_commands.json文件。

对于下一个示例项目,我们已经启用了生成编译信息JSON文件的功能。

图片

现在,我们准备使用生成的compile_commands.json文件运行静态分析。这个方法最大的一个优点就是,我们可以将.json文件直接用在Parasoft C/C++test命令行界面中:

图片

等待命令执行结束。静态分析就完成了,并且生成了报告。

图片

这种集成方法可以用于持续集成(CI),也可以在开发人员桌面上本地使用。唯一可能需要的修改是启用compile_command.json文件生成的功能。

如何在项目中启用json文件生成功能

如果您的项目中没有启用compile_command.json文件的生成,我们可以用两种方法之一来实现。

方法1:

在CMakeLists.txt文件中,将CMAKE_EXPORT_COMPILE_COMMANDS选项设置为ON。

示例:

set(CMAKE_EXPORT_COMPILE_COMMANDS ON)

方法2

在生成构建脚本时,将其添加到cmake的命令行调用中。

示例:

cmake -DCMAKE_EXPORT_COMPILE_COMMANDS=1 <path to src>

以上这就是将静态分析集成到基于CMake的项目中的全部内容啦。

图片

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

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

相关文章

【Minecraft】Fabric Mod开发完整流程1 - 环境配置与第一个物品

前言 Fabric 是 Minecraft 一款非官方的模组 API,与 Forge mod 不同。它以轻量级和高性能为设计目标,专注于支持新版本的 Minecraft。 Fabric 和 Forge 在各自的加载编译流程上差别很大&#xff0c;所以你很难看见有同时支持二者的 mod&#xff0c;除非做了兼容性处理 Fabri…

【Java笔记】对象存储服务MinIO

1 MinIO简介 MinIO基于Apache License v2.0开源协议的对象存储服务&#xff0c;可以做为云存储的解决方案用来保存海量的图片&#xff0c;视频&#xff0c;文档。由于采用Golang实现&#xff0c;服务端可以工作在Windows,Linux, OS X和FreeBSD上。配置简单&#xff0c;基本是复…

mac-右键-用VSCode打开

1.点击访达&#xff0c;搜索自动操作 2.选择快速操作 3.执行shell脚本 替换代码如下&#xff1a; for f in "$" doopen -a "Visual Studio Code" "$f" donecommand s保存会出现一个弹框&#xff0c;保存为“用VSCode打开” 5.使用

基于百度语音识别API智能语音识别和字幕推荐系统——深度学习算法应用(含全部工程源码)+测试数据集

目录 前言总体设计系统整体结构图系统流程图 运行环境模块实现1. 数据预处理2. 翻译3. 格式转换4. 音频切割5. 语音识别6. 文本切割7. main函数 系统测试工程源代码下载其它资料下载 前言 本项目基于百度语音识别API&#xff0c;结合了语音识别、视频转换音频识别以及语句停顿…

【人工智能124种任务大集合】-集齐了自然语言处理(NLP),计算机视觉(CV),语音识别,多模态等任务

大家好&#xff0c;我是微学AI&#xff0c;今天给大家介绍一下人工智能124种任务大集合&#xff0c;任务集合主要包括4大类&#xff1a;自然语言处理&#xff08;NLP&#xff09;、计算机视觉&#xff08;CV&#xff09;、语音识别、多模态任务。 我这里整理了124种应用场景任…

JavaScript基础之基于数据类型和引用数据类型

原文合集地址如下&#xff0c;有需要的朋友可以关注 本文地址 数据类型 JavaScript的数据类型有7中&#xff0c;包括6个基本类型和一个引用类型 基本数据类型&#xff1a;number, string, boolean, null, undefined, symbol 引用数据类型&#xff1a;object&#xff08;数组…

工业物联网数据桥接教程:Modbus 桥接到 MQTT

Modbus 介绍 Modbus 是一种串行通信协议&#xff0c;用于连接工业自动化设备&#xff0c;最初由 Modicon 公司开发&#xff0c;诞生于 1979 年&#xff0c;现在已成为通用的通讯标准之一&#xff0c;广泛用于工业自动化场景。 Modbus 采用主从模式&#xff0c;支持多种传输方…

PyTorch深度学习实战(11)——卷积神经网络

PyTorch深度学习实战&#xff08;11&#xff09;——卷积神经网络 0. 前言1. 全连接网络的缺陷2. 卷积神经网络基本组件2.1 卷积2.2 步幅和填充2.3 池化2.3 卷积神经网络完整流程 3. 卷积和池化相比全连接网络的优势4. 使用 PyTorch 构建卷积神经网络4.1 使用 PyTorch 构建 CNN…

H5移动端附件下载

目录 H5移动端附件下载 1. 使用 window.open() 进行下载 2. 使用 a 标签创建隐藏的可下载链接 3. 使用 iframe 进行下载 4. 使用 FileSaver.js 插件下载 4.1 Vue项目中导入并使用下载附件 4.2 FileSaver.js 的其他知识 H5移动端附件下载 1. 使用 window.open() 进行下载…

ClickHouse的数据类型

1.整数型 固定长度的整型&#xff0c;包括有符号整型或无符号整型。整型范围&#xff08;-2n-1~2n-1-1&#xff09;&#xff1a; Int8 - [-128 : 127] Int16 - [-32768 : 32767] Int32 - [-2147483648 : 2147483647] Int64 - [-9223372036854775808 : 9223372036854775807]无符…

Linux学习之sed多行模式

N将下一行加入到模式空间 D删除模式空间中的第一个字符到第一个换行符 P打印模式空间中的第一个字符到第一个换行符 doubleSpace.txt里边的内容如下&#xff1a; goo d man使用下边的命令可以实现把上边对应的内容放到doubleSpace.txt。 echo goo >> doubleSpace.txt e…

sealos安装k8s

一、前言 1、我前面文章有写过使用 kubeadm 安装的方式&#xff0c;大家可以去参考 &#xff08;二&#xff09;k8s集群安装&#xff0c;有一系列的k8s文章说明 2、安装k8s的方式有很多 kubeadmsealoskubespray等等 3、关于sealos来安装 k8s &#xff0c;也是非常建议大家去…

Idea 反编译jar包

实际项目中&#xff0c;有时候会需要更改jar包源码来达到业务需求&#xff0c;本文章将介绍一下如何通过Idea来进行jar反编译 1、Idea安装decompiler插件 2、找到decompiler插件文件夹 decompiler插件文件夹路径为&#xff1a;idea安装路径/plugins/java-decompiler/lib 3、…

可独立创建应用的SaaS多租户低代码平台之租户的应用管理说明

在IT系统中&#xff0c;“租户”&#xff08;tenant&#xff09;通常用于指代一种多租户架构&#xff08;multi-tenancy&#xff09;&#xff0c;它是一种软件架构模式&#xff0c;允许多个用户或组织共享相同的应用程序或系统实例&#xff0c;但彼此之间的数据和配置被隔离开来…

C#软件外包开发框架

C# 是一种由微软开发的多范式编程语言&#xff0c;常用于开发各种类型的应用程序&#xff0c;从桌面应用程序到移动应用程序和Web应用程序。在 C# 开发中&#xff0c;有许多框架和库可供使用&#xff0c;用于简化开发过程、提高效率并实现特定的功能。下面和大家分享一些常见的…

代驾小程序怎么做

代驾小程序是一款专门为用户提供代驾服务的手机应用程序。它具有以下功能&#xff1a; 1. 预约代驾&#xff1a;代驾小程序允许用户在需要代驾服务时提前进行预约。用户可以选择出发地点、目的地以及预计用车时间&#xff0c;系统会自动匹配最合适的代驾司机&#xff0c;并确保…

黑马B站八股文学习笔记

视频地址&#xff1a;https://www.yuque.com/linxun-bpyj0/linxun/vy91es9lyg7kbfnr 大纲 基础篇 基础篇要点&#xff1a;算法、数据结构、基础设计模式 1. 二分查找 要求 能够用自己语言描述二分查找算法能够手写二分查找代码能够解答一些变化后的考法 算法描述 前提&a…

div 中元素居中的N种常用方法

本文主要记录几种常用的div盒子水平垂直都居中的方法。本文主要参考了该篇博文并实践加以记录说明以加深理解记忆 css之div盒子居中常用方法大全 本文例子使用的 html body结构下的div 盒子模型如下&#xff1a; <body><div class"container"><div c…

休息是不可能休息的

654.最大二叉树 分析&#xff1a;相比较遍历顺序构建二叉树&#xff0c;这个相对简单。 思路&#xff1a;每次找到数组最大值&#xff0c;然后分割数组 class Solution { public:TreeNode*judge(vector<int>&nums){if(nums.size()0) return nullptr;int maxNum0,in…

Springboot 实践(1)MyEclipse2019创建maven工程

项目讲解步骤&#xff0c;基于本机已经正确安装Java 1.8.0及MyEclipse2019的基础之上&#xff0c;Java及MyEclipse的安装&#xff0c;请参考其他相关文档&#xff0c;Springboot 实践文稿不再赘述。项目创建讲解马上开始。 一、首先打开MyEclipse2019&#xff0c;进入工作空间选…