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

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

[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 quality,
reliability and security. We will continue using the Coverity to verify
correctness of newly introduced code and existing one.

The Coverity analysis and fixing of reported issues was initiated by Andrei
Borzenkov in 2014. Later Vladimir Serbinenko joined and together continued this
work until 2017. We restarted using the Coverity analyzer in 2020, when we were
fixing BootHole security vulnerability and other issues. It took us 3 years to
do analysis of all Coverity issues not solved earlier. It was very tedious
process requiring hundreds of hours of code analysis done by many people. We
think it is important to name all, in alphabetical order, who tirelessly worked
to null out all defects reported by the Coverity:
  - Alec Brown (Oracle),
  - Alexey Makhalov (VMware),
  - Andrei Borzenkov,
  - Chris Coulson (Canonical),
  - Daniel Axtens,
  - Darren Kenny (Oracle),
  - Glenn Washburn,
  - Jagannathan Raman (Oracle),
  - Jan Setje-Eilers (Oracle),
  - Konrad Rzeszutek Wilk (Oracle),
  - Marco A Benatto (Red Hat),
  - Patrick Steinhardt,
  - Paulo Flabiano Smorigo (Canonical),
  - Ross Philipson (Oracle),
  - Vladimir Serbinenko,
  - WANG Xuerui.

Thank you for doing this work guys! This success would not be possible without you!

Daniel

_______________________________________________
Grub-devel mailing list
Grub-devel@gnu.org
https://lists.gnu.org/mailman/listinfo/grub-devel

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

[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, Daniel Kiper wrote:
> 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 quality,
> reliability and security. We will continue using the Coverity to verify
> correctness of newly introduced code and existing one.
>
> The Coverity analysis and fixing of reported issues was initiated by Andrei
> Borzenkov in 2014. Later Vladimir Serbinenko joined and together continued this
> work until 2017. We restarted using the Coverity analyzer in 2020, when we were
> fixing BootHole security vulnerability and other issues. It took us 3 years to
> do analysis of all Coverity issues not solved earlier. It was very tedious
> process requiring hundreds of hours of code analysis done by many people. We
> think it is important to name all, in alphabetical order, who tirelessly worked
> to null out all defects reported by the Coverity:
>   - Alec Brown (Oracle),
>   - Alexey Makhalov (VMware),
>   - Andrei Borzenkov,
>   - Chris Coulson (Canonical),
>   - Daniel Axtens,
>   - Darren Kenny (Oracle),
>   - Glenn Washburn,
>   - Jagannathan Raman (Oracle),
>   - Jan Setje-Eilers (Oracle),
>   - Konrad Rzeszutek Wilk (Oracle),
>   - Marco A Benatto (Red Hat),
>   - Patrick Steinhardt,
>   - Paulo Flabiano Smorigo (Canonical),
>   - Ross Philipson (Oracle),
>   - Vladimir Serbinenko,
>   - WANG Xuerui.
>
> Thank you for doing this work guys! This success would not be possible without you!
>
> Daniel

_______________________________________________
Grub-devel mailing list
Grub-devel@gnu.org
https://lists.gnu.org/mailman/listinfo/grub-devel

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

[Daniel Kiper]

On Tue, Nov 28, 2023 at 05:57:40PM +0000, Darren Kenny wrote:
>
> 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!

Thank you!

Daniel

_______________________________________________
Grub-devel mailing list
Grub-devel@gnu.org
https://lists.gnu.org/mailman/listinfo/grub-devel