We have a repository that we build using Arduino IDE and we're trying to setup Coverity Checks for it. I tried using arduino-cli for cov-build but it gives the error "No files were emitted". Here are the commands I executed and their outputs:
Command
(cov_venv) npy:~/coverity_checker/coverity-checker$ "${COVERITY}/bin/cov-configure" --compiler "${AVR_GCC_PATH}/avr-g++" --comptype gcc --config "${COVERITY_CONFIG_PATH}"
Output
[WARNING] A template configuration is recommended for this compiler.
Template configuration will become the default for this compiler in a future release.
Add "--template" to your command line, or use one of the
template configuration shortcut command lines below:
cov-configure --gcc # GNU C/C++ compiler (gcc/g++)
cov-configure --msvc # Microsoft C/C++ compiler (cl)
cov-configure --java # Oracle Java compiler (javac)
You must remove the specific configuration before re-running with "--template".
* Configuring /home/npyetheendra/coverity_checker/coverity-checker/bin/.arduino15/packages/arduino/tools/avr-gcc/7.3.0-atmel3.6.1-arduino7/bin/avr-g++ as a C compiler
[WARNING] Config gcc-config-0 already exists for avr-g++ as gcc and will be reused.
* Configuring /home/npyetheendra/coverity_checker/coverity-checker/bin/.arduino15/packages/arduino/tools/avr-gcc/7.3.0-atmel3.6.1-arduino7/bin/avr-g++ as a C++ compiler
[WARNING] Config g++-config-0 already exists for avr-g++ as g++ and will be reused.
* Configuring /home/npyetheendra/coverity_checker/coverity-checker/bin/.arduino15/packages/arduino/tools/avr-gcc/7.3.0-atmel3.6.1-arduino7/bin/avr-g++ as a C compiler
[WARNING] Config g++cc-config-0 already exists for avr-g++ as g++cc and will be reused.
Generated coverity_config.xml at location /home/npyetheendra/coverity_checker/coverity-checker/config/coverity_config/coverity_config.xml
Successfully generated configuration for the compilers: avr-g++
Command
(cov_venv) npy:~/coverity_checker/coverity-checker$ ${COVERITY}/bin/cov-build --dir "${COV_WORKSPACE}" ${COV_PARENT_DIR}/bin/arduino-cli compile --fqbn SparkFun:avr:promicro --verbose --build-path "${OUTPUT_DIR}" "${sketch_to_compile}" --config-file "${COV_PARENT_DIR}/bin/.arduino15/arduino-cli.yaml"
Output
Coverity Build Capture (64-bit) version 2024.9.0 on Linux 5.4.0-169-generic x86_64
Internal version numbers: 950e903b4e p-2024.9-push-30
Sketch uses 26294 bytes (91%) of program storage space. Maximum is 28672 bytes.
Global variables use 988 bytes (38%) of dynamic memory, leaving 1572 bytes for local variables. Maximum is 2560 bytes.
Attempting to detect unconfigured compilers in build
|0----------25-----------50----------75---------100|
****************************************************
[WARNING] No files were emitted. This may be due to a problem with your configuration
or because no files were actually compiled by your build command.
Please make sure you have configured the compilers actually used in the compilation.
For more details, please look at:
/home/npyetheendra/coverity_checker/coverity-checker/CoverityWorkspace/build-log.txt
(cov_venv) npyetheendra@build-npyetheendra-jammy-20250506:~/coverity_checker/coverity-checker$ ${COVERITY}/bin/cov-build --dir "${COV_WORKSPACE}" ${COV_PARENT_DIR}/bin/arduino-cli compile --fqbn SparkFun:avr:promicro --build-path "${OUTPUT_DIR}" "${sketch_to_compile}" --config-file "${COV_PARENT_DIR}/bin/.arduino15/arduino-cli.yaml"
Coverity Build Capture (64-bit) version 2024.9.0 on Linux 5.4.0-169-generic x86_64
Internal version numbers: 950e903b4e p-2024.9-push-30
Sketch uses 26294 bytes (91%) of program storage space. Maximum is 28672 bytes.
Global variables use 988 bytes (38%) of dynamic memory, leaving 1572 bytes for local variables. Maximum is 2560 bytes.
Attempting to detect unconfigured compilers in build
|0----------25-----------50----------75---------100|
****************************************************
[WARNING] No files were emitted. This may be due to a problem with your configuration
or because no files were actually compiled by your build command.
Please make sure you have configured the compilers actually used in the compilation.
For more details, please look at:
/home/npyetheendra/coverity_checker/coverity-checker/CoverityWorkspace/build-log.txt
I haven't used Coverity before, so I don't know much about it. I read coverity has to be specifically configured using a xml config file for builds not natively supported. I'm not sure if this configuration can be done if we're trying to build using arduino-cli. Does anyone have experience working on something similar before?