Hi colleagues!
Could we get a list of MISRA/CERT-C violations that were found by tf-m Coverity CI, as example from https://ci.trustedfirmware.org/job/tf-m-coverity/lastSuccessfulBuild/
Also (if it possible), could you provide Coverity configs to help align this tool setup on our side to CI and to check all changes before any pool requests?
Best regards, Kostiantyn Tkachov
Cypress Semiconductor Ukraine Firmware Security
Hi Kostiantyn,
The Coverity tool for TF-M is not fully configured and the work is in progress in tf.org. The current configuration you can find here: https://git.trustedfirmware.org/ci/tf-m-ci-scripts.git/tree/coverity
Being incomplete, the scan results are not used or published. Anyway, the output is on Coverity site https://scan.coverity.com/ under “Trusted Firmware-M” project. It will require a sign-up and authorization.
Hope it helps, Anton
From: Kostiantyn.Tkachov--- via TF-M tf-m@lists.trustedfirmware.org Sent: Thursday, February 17, 2022 11:17 PM To: tf-m@lists.trustedfirmware.org Cc: Roman.Mazurak@infineon.com Subject: [TF-M] TF-M covertly results and configs to align our coverity environment to TF-M project CI
Hi colleagues!
Could we get a list of MISRA/CERT-C violations that were found by tf-m Coverity CI, as example from https://ci.trustedfirmware.org/job/tf-m-coverity/lastSuccessfulBuild/
Also (if it possible), could you provide Coverity configs to help align this tool setup on our side to CI and to check all changes before any pool requests?
Best regards, Kostiantyn Tkachov
Cypress Semiconductor Ukraine Firmware Security
tf-m@lists.trustedfirmware.org