静态代码分析是如何工作的

了解静态代码分析是如何工作的，可以帮助您更轻松地提高质量，并在不牺牲速度的情况下遵守编码规范。在这里，我们将阐释静态代码分析是如何工作的。

本文将包含如下几个部分：

• 软件测试中的静态分析
• 静态代码分析是如何工作的
• 静态代码分析示例
• Perforce静态代码分析工具如何提供帮助

软件测试中的静态分析

静态分析在软件测试开始之前发挥着关键的作用。静态分析会确保您传递给测试的代码是最高质量的。而且，如果您选择了合适的静态分析工具，开发流程将会加快。

静态分析能发现什么

静态分析在您运行程序之前就能发现代码中潜在的质量问题。

这些问题包括：

• 编程错误
• 违反编码规范
• 安全漏洞

静态分析工具特别擅长发现诸如缓冲区溢出、内存泄漏和空指针之类的编码问题。

静态分析可以帮助开发团队学习最佳编码实践，这有助于您长期提高代码质量。

静态分析不能识别什么

有些问题是静态分析无法识别的。例如，静态分析无法检测出软件需求是否已经满足，也无法识别出某个函数将如何执行。您需要对此进行动态测试。

这就是为什么静态分析和动态测试是互补的。静态分析可以在早期检测出代码中的错误，这确保了产品进入测试阶段的时候的高质量。而且，因为通过这种方式确保了测试流程更高效，静态分析还加速了整个研发周期。

静态代码分析是如何工作的

下面是静态代码分析的工作原理。

1. 编写代码

您的第一步是编写代码。

2. 运行静态代码分析工具

接下来，在代码上运行静态代码分析工具。该工具将根据预先定义的编码规则检查代码。这些预先定义的编码规则可能来自编码规范，也可能是您的团队开发的内部编码规则。

3. 审查结果

静态代码分析工具将识别不符合编码规则的代码。然后，您可以审查结果。可能会有误报需要排除，有些问题会比其他问题更加严重需要尽快修复。一些静态代码分析工具，比如Helix QAC和Klocwork，将为您确定问题的优先级。

4. 修复需要修复的问题

接下来，您将修复需要修复的问题。从最关键的部分开始。然后继续修复列表中的其他问题。

5. 继续测试

一旦您解决了代码中的问题，就可以进入下一个开发阶段。您也可以重新开始这个流程。

静态代码分析示例

Helix QAC和Klocwork用于多个行业提供最精确的静态分析结果，30多年来一直是值得信赖的静态代码分析工具，可以帮助您比其他工具更准确地发现代码中的缺陷。您可以随时分析和修复代码。使用Helix QAC或Klocwork是确保您的代码符合ISO标准的最佳方式。

以下是一个静态代码分析的示例。

选择编码规范(如适用)

您可以在Helix QAC或Klocwork中添加一个合规模块，以轻松地遵守编码规范。MISRA、AUTOSAR和CERT是一些常见的编码规范，您也可以使用自己的内部编码规则。

创建您的项目

在运行分析之前，您需要创建一个新项目。在这里，您可以选择一种编程语言(C, C++, C#, Java或JavaScript)。

然后，您将：

1. 配置项目的设置以匹配编译器的设置。这可以确保您的分析能够顺利而准确地运行。Helix QAC和Klocwork也可以针对不同的编译器进行优化。
2. 同步您的项目。这将指定静态分析工具分析哪个源文件和头文件。

分析您的项目

您可以在构建项目之时或之后开始分析项目。分析项目可以通过脚本、命令或点击按钮来完成。

Helix QAC和Klocwork还能与Microsoft Visual Studio和Eclipse相集成。因此，您可以在不离开集成开发环境(IDE)的情况下分析文件。

审查违规情况

您将看到与您的项目相关联的文件和文件夹。当您选择一个文件时，您将看到分析结果。如果一行代码旁边有一个泡泡图标，这意味着该行代码存在诊断信息。您可以点击泡泡来查看违规情况。

您还可以使用诊断窗口来筛选结果。只需点击诊断信息，就可以看到代码中哪里出现了违规情况。

根据严重度筛选

根据代码的性质，您可能会得到数百甚至数千条诊断信息。您可以使用严重度筛选器来确定您需要处理的问题的优先级。严重度级别可针对您的团队进行定制。

您还可以按规则筛选诊断信息。如果您有一个(或多个)对产品更重要的规则，这样的功能是很有帮助的。

抑制您无法修复的违规情况

如果您发现了您不打算修复的一条诊断信息或一种诊断类型，您可以加以抑制。您可以配置抑制的范围以满足您的需要。您还可以添加偏差标记。这些是用来记录您抑制诊断的原因。这对合规而言很重要。

完全不抑制某些规则或诊断是很难的，因为每个人通常都需要抑制一些规则，特别是当涉及到遗留代码时。

编辑您的代码

您可以选择在静态分析工具或集成开发环境(IDE)中编辑代码。只需修复代码，保存文件，然后重新分析文件。如果诊断信息消失，则问题已得到修复。

评审代码度量指标

您也可以使用web仪表盘来检查Helix QAC或Klocwork的代码度量指标。例如，您可以查看圈复杂度这个指标的历史记录。这将使您了解代码的复杂度是如何随时间而变化的。过于复杂的代码很难维护。

试用Helix QAC或Klocwork进行静态代码分析

您可以亲自体验一下，就明白为什么Helix QAC和Klocwork这两款静态代码分析工具受到业界的信赖长达30多年。若想了解Helix QAC和Klocwork将如何帮助您分析代码，立刻注册申请免费试用吧。

“原创内容，转载请标明出处”