プログラムの処理フローに潜むエラーを自動検出──C++testの 『バグ探偵』機能

　C言語は、合理的で生産性/拡張性が高い優れた言語だ。しかし、Cは実装上の選択肢が豊富にあるため開発者を悩ます複雑な言語でもある。特に、メモリリークや未初期化メモリなどのメモリ関連でバグが作り込まれてしまうことも多い。その上、メモリ関連のバグはテストでは発見されなかったり、デバッグに何日もの工数を要したり、とても厄介なバグである。そんな厄介なバグを静的に検出するのがC++testの『バグ探偵』である。
　『バグ探偵』は、C言語プログラムの処理フロー、ひとつ、ひとつを検証し、エラーとなり得るフローを指摘する。しかも、静的な検証なので、フローの網羅率は非常に高い。
　本ホワイトペーパーでは、『バグ探偵』が検出するエラーの中から代表的な、リソースリーク、未初期化メモリの参照、ゼロ除算について、『バグ探偵』がどのようにエラーを検出するのか紹介している。