ICode9

精准搜索请尝试: 精确搜索
首页 > 编程语言> 文章详细

C++代码分析组件现已支持SARIF 2.1

2021-05-26 21:02:20  阅读:106  来源: 互联网

标签:分析 代码 C++ Visual Studio SARIF 规则 2.1


从Visual Studio 16.8开始,MSVC代码分析组件正式支持SARIF 2.1.0标准。
SARIF一项用于展示静态分析结果的工业标准,我们是最早和SARIF技术委员会进行过合作的开发者之一。借助这一技术,SARIF格式的分析日志文件可以在Visual Studio集成开发环境中展示更为丰富的信息,在此之前,使用XML格式来查看日志简直是”弱爆了”。
在今天的这篇文章中,我们将展示这些新特性,包括:在错误列表中展示不同的严重级别,以及在错误的代码上显示颜色标记等。

什么是SARIF?

SARIF是“静态分析结果交换格式”的缩写,该格式是用于静态分析工具输出的基于JSON的标准格式。 SARIF提供了一种丰富的格式,旨在满足复杂和简单分析工具广泛的需求。它还提供了一种扩展机制,允许工具作者存储SARIF格式不直接支持的自定义数据。

C++代码分析和SARIF

MSVC代码分析一直在使用自定义XML日志格式来报告在代码分析过程中发现的缺陷。尽管这在过去十年中一直为广大开发者提供良好的服务,但我们决定支持SARIF以提供更强大的功能,例如分析文件的日志列表,手动配置项,日志记录位置等。

我们已经在VS中支持SARIF了很长一段时间,甚至是规范的最早草案我们就开始支持了。 v16.8是MSVC代码分析组件支持SARIF 2.1标准的版本。通过此更新,MSVC代码分析提供开发者更多增强的体验,包括如下:
> 后台代码分析
> 代码分析颜色标记
> 代码自动修正

为了对代码分析进行更多改进,我们更新了MSVC代码分析以支持最新的SARIF 2.1.0标准。 同时,已对其进行了更新,以提供将更多信息记录到SARIF日志文件中的选项:
> 已分析文件列表
> 用于代码分析,命令行选项的配置项
> 当发现代码缺陷时采取的处理措施

在更新MSVC代码分析以向SARIF日志文件添加更多信息的同时,我们还为其添加了新功能:
> 除代码分析警告外,还可以记录编译器警告
> 能够记录带有抑制(suppressed)位置的抑制警告

Visual Studio中的处理规则

在更新MSVC代码分析以支持最新的SARIF标准以及有关分析和缺陷的其他信息的同时,我们还更新了Visual Studio以增强代码分析的体验。
在以下各节中,让我们看一下Visual Studio IDE中增强的代码分析体验。

规则集和规则动作

MSVC代码分析可以与一个或多个可以启用或禁用选定规则的规则集文件一起使用。 分析工具将检查并报告在规则集中启用的规则。 MSVC代码分析将忽略在规则集中禁用的规则,并且不会对其进行检查或报告。
可以为规则集文件中的每个规则分配以下“规则操作”值之一:

 

在我们添加对SARIF的支持之前,MSVC代码分析只能将这些规则操作简单地映射到“启用”或“禁用”状态,并被报告或忽略,直到添加了对SARIF的支持。 Visual Studio构建直接使用规则集文件,并且可以将带有“错误”规则动作的规则与已启用规则的重置区分开来,无论规则动作值如何,这些规则都被视为“警告”。 Visual Studio IDE不遵守“规则操作”值,而是将所有内容都视为“警告”。

在SARIF的支持下,MSVC代码分析现在将这些规则操作映射到日志文件中SARIF的level属性,如下所示:

 

在映射到SARIF级别之前,将为“规则动作”值为“默认”的规则分配其他规则动作值之一。

动作中的规则动作

让我们看一下Visual Studio现在如何使用规则集中的Rule Action值来改善代码分析体验。 例如,让我们考虑一个具有以下内容的自定义规则集:

 

对于以下测试代码:

 

配置为使用上述自定义规则集进行分析时,在Visual Studio中分析测试代码将产生结果,如下图所示:

 

请注意在“错误列表”窗口中如何列出缺陷,以及在文本编辑器窗口中如何突出显示相应的代码段:
> 在“错误列表”窗口中,C6011被列为错误,C6001被列为警告,C6385和C6386被列为消息。
> 在文本编辑器窗口中,C6011的代码段用红色花体突出显示,C6001用绿色花体突出显示,而C6385和C6386用灰色花体突出显示(点)

如上例所示,规则集中的规则操作通过SARIF的level属性映射到Visual Studio构建输出,错误列表和文本编辑器,如下所示:

 

请注意,在Visual Studio构建输出窗口中,“规则操作”值为“信息”的规则也报告为“警告”。 这是采用SARIF日志格式之前的行为。 遵循我们的指导原则,即在Visual Studio升级期间尽可能不影响之前的版本,我们将这种行为保持原样,以不更改现有项目的生成行为。

总结

更加丰富的错误提示,让我们写的代码”又快又好”,真-码农福音。

最后

Microsoft Visual C++团队的博客是我非常喜欢的博客之一,里面有很多关于Visual C++的知识和最新的开发进展。大浪淘沙,如果你对Visual C++这门古老的技术还是那么感兴趣,则可以经常去他们那(或者我这)逛逛。
本文来自:《Microsoft C++ Code Analysis supports SARIF 2.1》

最近我写了个东西

正如你们所知道的,拓扑梅尔智慧办公平台(Topomel Box)是一款绿色软件,主要面向经常使用电脑的朋友。它提供了各种提升办公效率的小功能,同时操作上尽可能地简单方便。
我想:你值得拥有。

标签:分析,代码,C++,Visual,Studio,SARIF,规则,2.1
来源: https://blog.csdn.net/mmxida/article/details/117304861

本站声明: 1. iCode9 技术分享网(下文简称本站)提供的所有内容,仅供技术学习、探讨和分享;
2. 关于本站的所有留言、评论、转载及引用,纯属内容发起人的个人观点,与本站观点和立场无关;
3. 关于本站的所有言论和文字,纯属内容发起人的个人观点,与本站观点和立场无关;
4. 本站文章均是网友提供,不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属;如您发现该文章侵犯了您的权益,可联系我们第一时间进行删除;
5. 本站为非盈利性的个人网站,所有内容不会用来进行牟利,也不会利用任何形式的广告来间接获益,纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。

专注分享技术,共同学习,共同进步。侵权联系[81616952@qq.com]

Copyright (C)ICode9.com, All Rights Reserved.

ICode9版权所有