CodeChecker support
CodeChecker is a static analysis infrastructure. It executes analysis tools available on the build system, such as Clang-Tidy, Clang Static Analyzer and Cppcheck. Refer to the analyzer’s websites for installation instructions.
Installing CodeChecker
CodeChecker itself is a python package available on pypi.
pip install codechecker
Running with CodeChecker
To run CodeChecker, west build should be
called with a -DZEPHYR_SCA_VARIANT=codechecker parameter, e.g.
west build -b mimxrt1064_evk samples/basic/blinky -- -DZEPHYR_SCA_VARIANT=codechecker
Configuring CodeChecker
To configure CodeChecker or analyzers used, arguments can be passed using the
CODECHECKER_ANALYZE_OPTS parameter, e.g.
west build -b mimxrt1064_evk samples/basic/blinky -- -DZEPHYR_SCA_VARIANT=codechecker \
-DCODECHECKER_ANALYZE_OPTS="--config;$CODECHECKER_CONFIG_FILE;--timeout;60"
Storing CodeChecker results
If a CodeChecker server is active the results can be uploaded and stored for tracking purposes.
Storing is done using the optional CODECHECKER_STORE=y or CODECHECKER_STORE_OPTS="arg;list"
parameters, e.g.
west build -b mimxrt1064_evk samples/basic/blinky -- -DZEPHYR_SCA_VARIANT=codechecker \
-DCODECHECKER_STORE_OPTS="--name;build;--url;localhost:8001/Default"
Note
If --name isn’t passed to either CODECHECKER_ANALYZE_OPTS or CODECHECKER_STORE_OPTS,
the default zephyr is used.
Exporting CodeChecker reports
Optional reports can be generated using the CodeChecker results, when passing a
-DCODECHECKER_EXPORT=<type> parameter. Allowed types are: html,json,codeclimate,gerrit,baseline.
Multiple types can be passed as comma-separated arguments.
Optional parser configuration arguments can be passed using the
CODECHECKER_PARSE_OPTS parameter, e.g.
west build -b mimxrt1064_evk samples/basic/blinky -- -DZEPHYR_SCA_VARIANT=codechecker \
-DCODECHECKER_EXPORT=html,json -DCODECHECKER_PARSE_OPTS="--trim-path-prefix;$PWD"