静态检查工具codechecker运用简介

本文主要是介绍静态检查工具codechecker运用简介，对大家解决编程问题具有一定的参考价值，需要的程序猿们随着小编来一起学习吧！

codechecker是一款开源的静态检查工具。

这里是github地址：https://github.com/Ericsson/codechecker

这是一款基于Clang Static Analyzer 和 Clang Tidy的工具。

codechecker的工作流程

开发提交代码后，在命令行里面运行codechecker工具：

大概命令分为两部分：

1. codechecker logging部分，就是记录哪些文件参与了编译。

CodeChecker log -b "make 命令" -o record.json

这个过程生成的将会是一个json，是一个包含了多个字典的列表，其实就是多个文件的编译记录。如下：

[
  {  "directory": "文件路径"，
      "command": “编译命令”，
      "file": "文件名"
  },
...
]

2. codechecker analyze部分，就是根据前面生成的json文件进行分析。

这里我们使用的report-hash是context-free-v2的，--skip ./skipfiles 这个也是可选的，可以让你跳过一些文件的检查，-j 指定了分析时占用的系统核数，record.json就是我们前面生成的json文件，-o指定了分析生成的report目录。可以用绝对路径，此处使用的是相对路径。

CodeChecker analyze --report-hash context-free-v2 --skip ./skipfiles -j $(nproc) \
  record.json -o ./reports

3. codechecker parse 部分，这个可以在本地直接生成所有defects的报告。

网页的：CodeChecker parse -e html ./reports -o report.html
或者
文本的：CodeChecker parse ./reports >> report.txt

4. codechecker store部分

如果搭建了codechecker server的话，可以将步骤2生成的report 保存到server上，可以更好的可视化。codechecker的可视化做的还是非常不错的。

codechecker_url 就是server的url， report_name就是在server上的report显示的名字。--tag可以加上代码标签。

CodeChecker store ./reports --url $codechecker_url --name $report_name --tag $short_sha1

这些都是可以写到配置文件里的。

codechecker版本

目前codechecker已经开发到6.16.0版本：https://github.com/Ericsson/codechecker/releases/

 这个release网页可以查看所有的发布的版本的新feature和修复的bugs。

CodeChecker有详细的帮助文档，都在docs下面。

codechecker/README.md

codechecker增量分析

接下来主要介绍一下最近研究的codechecker的增量跑法。未完待续。

这篇关于静态检查工具codechecker运用简介的文章就介绍到这儿，希望我们推荐的文章对大家有所帮助，也希望大家多多支持为之网！