Static analysis

This section is for the use of C/C++ static analyzer --- ZChecker.

ZChecker user interface

Select ZChecker from the drop-down menu on the top-left corner.

In ZChecker mode, the left sidebar defaults to displaying project and file navigator, while the right sidebar defaults to showing the ZChecker management panel in which you can select the active project and rules applied to guideline detection. Only the MISRCA C 2012 rules for C language are supported currently.

• All : Click to select all rules.
• Reset: Click to clear all selected rules.
• Inspect: Click to start the grammar detection analysis.

Launch inspections

You need to select the active project through the drop-down box and check the box to apply required rules in list. All and Reset button can help you to make quick selection.

Ensure your selection and then click the Inspect button. Once start inspecting, the button in loading state becomes unclickable. The inspect information will be printed in Run Console during this process.

Result analysis

There will be a pop-up window prompting "The analysis process is over". You can check the result in editor which will be opened automatically. The result is divided into two pages --- STATISTICS and WARNINGS.

The STATISTICS page provides an overview and display the detection results that are categorized into three risk levels: High, Medium, and Low. You can check the box to filter High level results. Click the path link to jump to WARNINGS for more detailed information.

You can search specific-level result using the filter bar in WARNINGS page. It supports for filtering by multiple tags simultaneously.

The WARNINGS page provides more detailed information, listing the locations of non-compliant source code and descriptions of each rule. By clicking the location links in the table, you can navigate to where it is in source code, helping quickly locate the issue.