fixedpoint.jp


静的解析ツールで LibreOffice のバグを検出、およびその逆 (2015-03-09)

LibreOffice プロジェクトではその C++ コードを様々なツールを使って日々解析しています: Re: Questions about code reviews and static analysis tools for TU Delft research

中でも Coverity による静的解析はこれまで多くの問題を検出してきただけでなく、日常的に開発ブランチをチェックするサービスが提供されているため日々利用されています。

一方、最近 PVS-Studio という静的解析ツールの開発元が LibreOffice のコードを解析したという記事が公開されています: LibreOffice Project's Check

その中で明らかな typo や条件判定の間違いなどが数多く挙げられています。この記事が公開されてすぐ LibreOffice の開発者たちは修正し始めています(a59848c9999f655342db4c67e3dc390cc083e511 など)。

特筆するべきは、Coverity その他で検出された問題を既にほとんど修正しているにも関わらず、PVS-Studio が別種の問題を見つけることができたということです。これは、多様な静的解析ツールを駆使すれば同種のツールのみを用いる場合よりも効果が期待できることを示しています。また同時に、上のページの結論として

Although the number of errors, defects, and slip-ups discussed in this article is, as usual, great, the LibreOffice project's code is still very high-quality. And it does bear the evidence of being regularly checked by Coverity, which indicates the authors' serious approach to the development. The number of bugs found by PVS-Studio is pretty small for such a large project like LibreOffice.

とされており、LibreOffice コードの品質は既にかなり高いようです。

興味深いことに、PVS-Studio の開発元は逆の実験もしています。すなわち、巨大なコードベースを持つ LibreOffice を解析することで PVS-Studio のバグを見つけています: Bugs Found by LibreOffice in PVS-Studio


© 2006-2023 fixedpoint.jp