Názor ke zprávičce LibreOffice poskočí s číslem vydání na 5.0 od Ondřej Surý - Coverity najde chyby v kódu (chybějící free atp.)...

Coverity najde chyby v kódu (chybějící free atp.) a nikoli funkční chyby. A ani chyby v kódu nenajde všechny (statická analýza kódu má své limity), a občas najde nějaké false positive. Vaše citace TZ Coverity proto nijak nevyvrací, že jsou v LOo chyby (už se dají myší přesouvat slajdy bez šíleného vytížení procesoru?)...

Samozřejmě, že je dobré, používat všechny dostupné nástroje, ale rozhodně to není samospásné a ani nelze předpokládat bezchybovost na základě jednoho specifického nástroje.