[FFmpeg-devel] [PATCH] web/index: Add news entry about coverity

[Anton Khirnov]

Quoting Michael Niedermayer (2024-08-15 23:50:18)
> Based on suggestion of Jonatas
> 
> CC: "Jonatas L. Nogueira" <jesusalva at spi-inc.org>
> ---
>  src/index | 8 ++++++++
>  1 file changed, 8 insertions(+)
> 
> diff --git a/src/index b/src/index
> index 73e9a4c..b44f384 100644
> --- a/src/index
> +++ b/src/index
> @@ -35,6 +35,14 @@
>      News
>    </h1>
>  
> +  <h3 id="coverity">August 15th, 2024, Coverity</h3>
> +  <p>
> +  The number of issues FFmpeg has in coverity is now lower than it has been since 2016.
                                        ^
                                        capital C
Maybe add "(a static analyzer)" and/or a link, as the reader may not
know what Coverity is.

> +  Our defect density is less than one 30th of the average in OSS with over a million code
> +  lines. All this was possible thanks to a Grant from the Sovereign Tech Fund.
                                              ^
                                              small g

Also maybe link to https://www.sovereigntechfund.de/

-- 
Anton Khirnov