静态分析

本章将介绍 C/C++ 静态语法检测工具 ZChecker 的使用方法。

ZChecker 用户界面

用户可以从 ZStudio 左上角下拉菜单中选择切换至 ZChecker 模式。

在 ZChecker 模式中，左侧边栏默认显示项目和文件导航，右侧边栏默认显示 ZChecker 的管理面板，用户可以在右侧管理面板中选择当前检测的项目和语法规则，目前仅支持针对 C 语言的 MISRCA C 2012 检测规则。

• 全选（All）：点击选中全部规则。
• 重置（Reset）：点击清空所有选中规则。
• 检查（Inspect）：点击开始语法检测分析。

执行检测

选择当前活动项目，并在下方规则列表中勾选需要的规则，点击 “All” 一键全选，点击 “Reset” 清除所有选择。

确认当前活动项目和应用的规则后，点击"检查"按钮即可开始执行检测。检测期间，按钮变成无法选中的刷新状态，运行控制台将实时打印检测信息。

结果分析

检测结束后，右下角弹窗提示结果"分析进程结束。" 检测结果将自动在编辑区打开。检测结果分为数据统计（STATISTICS）和警告（WARNINGS）两个页面。

数据统计（STATISTICS）页面主要包含总览信息，检测结果分为高、中、低三个风险等级，勾选方框筛选高风险数据，点击页面中某条风险提示的位置信息会跳转到警告（WARNINGS）页面查看详情。

警告（WARNINGS），上方的筛选器可以用来筛选风险等级，支持同时筛选多个标签。

警告（WARNINGS）页面提供了更详细的信息，列表中列出了不合规源码的位置以及每条规则的描述，点击表格中位置链接，可自动跳转到源码中对应位置，帮助用户快速定位问题。