静态分析

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

ZChecker 视图

用户可以从下拉菜单中选择 ZChecker 切换模式。

在 ZChecker 模式中，用户可以通过下拉框选择当前检测的项目和语法规则，此版本中仅支持针对 C 语言的 MISRCA_C_2012 检测规则。

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

执行检测

点击 图标进入视图，确认当前活动项目，并在下方规则列表中勾选需要的规则点击"检查"按钮即可开始执行检测。开始检测后，"检查"按钮变成无法选中的刷新状态，ZStudio 输出窗口同步刷新检测信息。

结果分析

检测结束后，右下角弹窗提示结果"分析进程结束。"统计页面显示在右侧栏，可通过点击右侧活动栏 ZChecker Result 展开或收起统计结果。

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

警告（WARNINGS）页面显示了每条警告的详细信息，上方的筛选器可以用来筛选风险等级，点击表格中位置链接，可自动跳转到源码中对应位置。