JetBrains CLion 2021官方版

软件分类：应用软件
软件大小： 477.16 MB
软件语言：简体中文
授权方式：免费软件
运行环境： Win ALL
更新时间： 2022-08-27

猜您喜欢

软件介绍
下载地址
同类推荐
相关文章

JetBrains CLion 2021官方版是一款由JetBrains公司所推出的专业C/C++集成开发环境。JetBrains CLion 2021官方版内置强大的功能，因其实用性而受到了广大编程工作者的喜爱。提供智能编辑器、智能代码补全、代码分析、自动代码重构、评估表达式以及版本控制工具等多样化功能。支持各种代码风格，能够有效帮助开发人员更高效的编写代码程序，大大提高了工作效率。在全新的2021版本中进行了整体性能的优化和改进，又增加了很多新功能，如全局数据流分析，将其部分移动至基于c的引擎，提高了检查的准确性，还添加了搜索悬空指针等新的检查。全局DFA作为一种过程间分析，有助于检测在本地DFA中用户无法捕获的潜在问题。悬空指针还能捕获到另一个函数中删除内存时的情况。

JetBrains CLion 2021官方版

JetBrains CLion 2021官方版新功能

一、全局数据流分析

1、一段时间以来，我们一直专注于CLion的性能和整体质量改进。我们继续改进的一个领域是数据流分析。在2020年，我们将其部分移至基于c的引擎，提高了许多检查的准确性，并添加了新的检查，例如搜索悬空指针。在CLion 2021.1中，我们准备为您提供全局数据流分析！

2、全局DFA是一种过程间分析，它将程序的翻译单元（TU）作为单个单元进行分析。这意味着全局DFA在TU内对保证位于TU中的功能/字段的所有使用进行工作。这有助于检测本地DFA无法捕获的潜在问题。例如，悬空指针分析丰富了Global DFA，可以捕获在另一个函数中删除内存时的情况：

JetBrains CLion 2021官方版

3、以下是可从全球DFA中受益的CLion当前基于DFA的检查清单：

恒定条件–检测可能始终为真或假的条件。

无法访问的代码–检测从未执行的代码。

空取消引用–检测可能包含nullptr的取消引用指针。

悬空指针–检测可能指向已经删除的内存的指针。

无限循环–报告只能通过引发异常才能退出的任何for，while和do语句或goto循环。

无限递归–报告永久运行或因异常终止的函数。

未使用的值–检测分配后从未使用过的变量值。

转义分析–检测包含对转义其范围的局部变量的引用的变量。

除此之外，我们还在进行一些仅在Global DFA中可用的新检查：

常数函数结果–报告其返回值似乎始终为常数的函数。

常量参数–报告参数似乎始终相同的函数：

JetBrains CLion 2021官方版

无法访问的函数调用–检测从未执行其调用站点的函数：

JetBrains CLion 2021官方版

4、默认情况下，全局DFA是启用的，但在以下情况下，它可以回退到本地DFA：

叮当引擎报告的TU中的任何功能均存在错误。

该文件包含在另一个TU中。

全局DFA是通过注册表项clion.dfa.global手动关闭的（除非找到关键回归，否则我们不建议您关闭它）。

二、全局数据流分析性能

1、实施如此大的更改时，我们显然对它如何影响代码分析的性能感兴趣。而且由于我们正在优化DFA中的许多步骤，因此我们期待一些改进。

2、我们比较了在全局和本地模式下运行的以前和当前的DFA实现。以下是我们从MAC机器（Big Sur 11.0、2.6 GHz六核Intel Core i7、16 GB RAM）获得的测量结果。对于测试，我们采用了5个项目：Postgres，Eigen，clangd，OpenCV和OSRM。我们分别测量了每个DFA步骤的效果：

（1）建立关系步骤–这是引擎的C ++实现，可收集所有关系以进行DFA计算。随着我们开始收集更多数据，我们预计时间将会增长：

JetBrains CLion 2021官方版