史上最も精査されたコードに潜んでいた見えないバグ#
アポロ11号の誘導コンピューター（AGC）のソースコードは、これまで何千人もの開発者によって読まれ、学術論文の対象となり、命令レベルでエミュレートされてきました。しかし、57年間にわたる徹底的な検証をかいくぐって潜んでいたバグが、ついに発見されました。
発見したのは、AIのClaude と「Allium」という行動仕様言語を使った新しいアプローチでした。この発見は、従来の検証手法では見つけられない問題が存在することを示す重要な事例となっています。
何が起きたのか？#
発見されたバグは、ジャイロスコープ制御コード内のリソースロック機能に存在していました。具体的には：
- 問題の場所: 慣性測定装置（IMU）のジャイロスコープを制御するLGYROという共有リソースロック
- バグの内容: エラー経路でロックが解除されず、誘導プラットフォームの再調整機能が無効化される
- 発見方法: 13万行のAGCアセンブリコードを1万2500行の仕様に変換し、コード自体から仕様を導出
研究チームは、従来の「コードを読む、エミュレートする、転写を検証する」という特定の種類の精査ではなく、行動仕様を抽出するという異なるアプローチを採用しました。
なぜ重要なのか？3つのポイント#
1. 従来の検証手法の限界を露呈#
このバグは、コードレビューやエミュレーションといった従来の手法では発見できませんでした。共有リソースのライフサイクルを包括的にモデル化する新しいアプローチの有効性を実証しています。
2. 実際の宇宙ミッションへの潜在的影響#
このバグは、月の裏側でマイケル・コリンズが単独で軌道飛行中にプログラム52（星座観測による調整）を実行している際に発現する可能性がありました。ジャイロシステムが停止すれば、地球帰還のためのエンジン燃焼が間違った方向を向く危険性があったのです。
3. AIによるコード解析の新たな可能性#
Claude とAllium仕様言語の組み合わせにより、人間による長年の検証では見つからなかった問題を特定できました。これは、AIがソフトウェア品質保証において強力なツールになり得ることを示しています。
技術的な詳細解説#
バグが発生する仕組み#
AGCは、LGYROという共有リソースロックを通じてIMU（慣性測定装置）を管理しています。コンピューターがジャイロスコープにトルクをかける必要がある場合：
- 正常時: 開始時にLGYROを取得し、3軸すべてにトルクをかけた後に解除
- 異常時: 「ケージング」（ジャイロスコープを物理的にクランプで固定する緊急措置）が発生すると、BADENDルーチンを経由して終了
- 問題: BADENDルーチンはLGYROロックを解除しない
見つからなかった理由#
アポロ誘導コンピューターのプログラムは、74KBの「コアロープ」と呼ばれる記憶装置に物理的に織り込まれていました。これは銅線を小さな磁気コアに手作業で通したもので、「Little Old Ladies」と呼ばれる女性たちによって製造されました。
この物理的な構造と、既存の検証がエミュレーションや転写確認に重点を置いていたため、共有リソースの状態管理という抽象的な問題は見過ごされていました。
あなたへの影響は？#
ソフトウェア開発者への示唆#
- 従来の検証手法の見直し: コードレビューやテストだけでは不十分な場合があることを認識
- AIツールの活用: 静的解析や仕様抽出にAIを組み込むことで、新たな視点からの品質保証が可能
- リソース管理の重要性: 共有リソースのライフサイクル管理は、見落としやすい重要な領域
システム設計者への教訓#
高度に信頼性が要求されるシステムでも、長年見過ごされる問題が存在する可能性があります。特に、正常経路と異常経路の両方を包括的に検証する仕組みが必要です。
まとめ#
今回の発見は、最も厳格に検証されたコードでさえ、新しい手法によって隠れた問題を発見できることを示しています。わずか4バイトの不足が、月面での重大な問題を引き起こす可能性があったという事実は、ソフトウェアの品質保証における継続的な改善の重要性を物語っています。
筆者の見解: この発見は、AIを活用した静的解析の可能性を示すとともに、従来の検証手法だけに依存することの危険性を教えてくれます。特に、ミッションクリティカルなシステムにおいては、複数の異なるアプローチを組み合わせた包括的な検証が不可欠でしょう。
次に読むべき情報#
詳細な技術的解説や実際のコード例については、元記事をご確認ください。また、Allium仕様言語やAIを活用したコード解析手法について、さらに深く学ばれることをお勧めします。
出典: We found an undocumented bug in the Apollo 11 guidance computer code
