GRUB Coverity x86_64/EFI and ARM64/EFI runs - 0 outstanding defects

2023-11-28 Thread Daniel Kiper
Hi, It is our pleasure to inform you that we were able to achieve 0 outstanding defects for the GRUB Coverity x86_64/EFI and ARM64/EFI runs. We did analysis of 629 issues and fixed 535 of them. The rest has been dismissed mostly as false positives. This work allowed us to improve overall GRUB code

Re: GRUB Coverity x86_64/EFI and ARM64/EFI runs - 0 outstanding defects

2023-11-28 Thread Darren Kenny
Hi Daniel, Great to know the target was reached. The last set of issues seemed to be a real challenge. You set a high bar as a maintainer, encouraging everyone towards a resolution and making GRUB all the better for it. Well done all! Thanks, Darren. On Tuesday, 2023-11-28 at 17:59:31 +01,