Nasazení nástrojů Coverity, umožňujících detekovat formálně odhalitelné chyby v kódu, vedlo k rapidnímu poklesu počtu chyb tohoto druhu v kancelářském balíku LibreOffice. Z celkem nalezených 11 751 chyb jich bylo 11 399 opraveno, 331 vyloučeno (falešná hlášení) a zbývá aktuálně pouhých 21 nevyřešených hlášení (z nichž je ale podle Caolána McNamary reálných jen 10, ostatní jsou falešná).
Bylo tak dosaženo míry formální chybovosti kódu pouhých 0,003515303 chyb na tisíc řádků, což při použití obvyklého zaokrouhlení na dvě desetinná místa dává hodnotu 0,00. Navzdory výraznému zkvalitnění kódu LibreOffice to ale samozřejmě neznamená, že by v balíku nebyly žádné chyby – vývojáři se ale místo opravy těch formálních mohou soustředit na nesprávné chování programu nebo jiné chyby hlášené uživateli.