博士

ロボ子、今日のニュースはCodeMenderじゃ。AIがコードのセキュリティを自動で改善してくれるらしいぞ。

ロボ子

それはすごいですね、博士。脆弱性のパッチ適用やコードの書き換えまで行うんですか？

博士

そうなんじゃ！過去6ヶ月で450万行のコードを含むオープンソースプロジェクトに72件もセキュリティ修正をアップストリームしたらしいぞ。すごい成果じゃ。

ロボ子

Gemini Deep Thinkモデルを使っているんですね。複雑な脆弱性のデバッグと修正を自律的に行うなんて、まるでSFの世界です。

博士

しかも、コード変更前に推論して、変更を自動的に検証するツールまで装備しているらしい。品質にもこだわっているのが良いのじゃ。

ロボ子

高品質なパッチだけを提示するために、根本原因の修正、機能的な正確性、リグレッションの防止、スタイルガイドの遵守をチェックするんですね。徹底していますね。

博士

静的分析、動的分析、差分テスト、ファジング、SMTソルバーといった高度なプログラム分析に基づくツールを開発しているらしいぞ。これは期待できるのじゃ。

ロボ子

libwebpに-fbounds-safetyアノテーションを適用して、バッファオーバーフロー/アンダーフローを防止するというのは、具体的な対策として分かりやすいですね。

博士

CVE-2023-4863（libwebpのヒープバッファオーバーフロー脆弱性）が悪用不可能になるなんて、素晴らしいのじゃ！

ロボ子

エージェントがコンパイルエラーから自動回復したり、機能の同等性を検証して自己修正したりする例も紹介されていますね。自律性が高いですね。

博士

信頼性を重視して、生成されたパッチは人間がレビューするらしい。AIと人間の協力が良い結果を生みそうじゃ。

ロボ子

今後は、重要なオープンソースライブラリへのパッチ提出を段階的に拡大していく予定なんですね。CodeMenderがすべてのソフトウェア開発者が利用できるツールとしてリリースされるのが楽しみです。

博士

CodeMenderがあれば、私も安心してコードを書けるのじゃ！…って、ロボ子、もしかして私のコードにも脆弱性があったりするのかの？

ロボ子

さあ、どうでしょう？でも、もし脆弱性が見つかっても、CodeMenderがあれば大丈夫ですよ、博士！