Parasoft C/C++test support
Parasoft C/C++test is a software testing and static analysis tool for C and C++. It is a commercial software and you must acquire a commercial license to use it.
Documentation of C/C++test can be found at https://docs.parasoft.com/. Please refer to the documentation for how to use it.
Generating Build Data Files
To use C/C++test, cpptestscan must be found in your PATH environment variable. And
west build should be called with a -DZEPHYR_SCA_VARIANT=cpptest
parameter, e.g.
west build -b qemu_cortex_m3 zephyr/samples/hello_world -- -DZEPHYR_SCA_VARIANT=cpptest
A .bdf file will be generated as build/sca/cpptest/cpptestscan.bdf.
Generating a report file
Please refer to Parasoft C/C++test documentation for more details.
To import and generate a report file, something like the following should work.
cpptestcli -data out -localsettings local.conf -bdf build/sca/cpptest/cpptestscan.bdf -config "builtin://Recommended Rules" -report out/report
You might need to set bdf.import.c.compiler.exec, bdf.import.cpp.compiler.exec, and
bdf.import.linker.exec to the toolchain west build used.