ソフトウェア開発において、従来の静的解析ツールでは誤検知率が高い、小規模なコードベースに制限されてしまうなどの問題があった。しかし、スタンフォード大学の研究所で生まれた革新的な技術をベースにすることで、そういった問題を克服した革新的な静的コード解析ツールがある。 lintなどの静的解析ツールは、ソースコードそのものを解析し、不適切なコーディングや論理構造を検出するのに役立つ。ただ、これまでの静的解析ツールは誤検出が多く、信頼性に疑問があった。 そういったさまざまな問題を解決した画期的な静的解析ツールがある。このツールでは、スタンフォード大学のコンピュータシステム研究所で生まれた革新的技術を採用し、何百万行ものソースコードをすばやく解析して、バグを検知できるようにした。コンパイラが生成した中間コードも参照し、仮想環境でビルドおよび解析を実行する。このため、以前のツールよりも精度の高い解析が可
![ソフトウェア不具合は早期段階で解決せよ!――革新的な静的コード解析技術の全貌](https://cdn-ak-scissors.b.st-hatena.com/image/square/7e51372d18138e90ed2c8d95d693065718b5e361/height=288;version=1;width=512/https%3A%2F%2Fimage.itmedia.co.jp%2Fimages%2Flogo%2F1200x630_500x500_enterprise.gif)