テストを全通過するのに一度も実行されないコードの「死に分岐」を特定した事例。AIを用いたコード解析と、型定義の矛盾が引き起こす隠れたバグの調査手法を解説。