DARPAはAIを使用してCコードをRustに自動的にトランスパイルしたい

国防総省のDARPAは、レガシーのCコードをRustに自動的に変換するマシンラーニングツールを開発するプロジェクトを開始しました。このイニシアチブは、ソフトウェアのメモリー安全性を向上させることを目指しています。メモリー安全性バグ、例えばバッファーオーバーフローは、大規模なコードベースの脆弱性の主要なソースです。DARPAのイニシアチブは、AIモデルを使用してプログラミング言語の翻訳を向上させ、より安全なソフトウェアを目指しています。DARPAのプログラムマネージャー、Dan Wallachは、AIチャットボットがCをRustに翻訳する能力を持つが、クリティカルプログラムコンストラクトの翻訳精度を大幅に向上させる必要があると指摘しています。ソフトウェアエンジニアリングコミュニティーは、CとC++のメモリー安全性問題が長く続いていることを認め、Rustのようなより安全な言語が必要であると合意しています。国家サイバーディレクター事務所も、バグ探しツール以上のセキュリティ対策が必要であると強調しています。Code MetalのCEO、Peter Moralesは、このプロジェクトがサイバーセキュリティーに与える潜在的な影響を支持し、メモリー安全性に大きな注意が払われていると述べています。Wallachは、Rustが厳しいルールを適用し、最終的にプログラマーに自由と安全を提供すると述べています。Moralesも、翻訳プロセスで多くのエッジケースに照準を当てる必要があると認めています。特定のプロジェクト、例えばLinuxカーネルは、技術的な互換性の問題でRustと互換性がありません。