数十億行のコード解析から得たもの　静的解析を利用して実環境でバグを発見

　次から次へとバグが発生するソフトウェアシステムにおいて、Coverityはいかにしてバグ発見ツールを構築し、ビジネスを確立したのだろうか。本稿では、米国Communications of the ACMの"A Few Billion Lines of Code Later: Using Static Analysis to Find Bugs in the Real World"の記事を一部転載して、バグ発見の法則について紹介する（翻訳：コベリティ日本支社）。

• 開発ツール