米国国防総省のDARPA、CからRustへのコード変換を自動化する「TRACTOR」プログラムを開始：Cプログラムのメモリ安全性の脆弱性を解消する取り組み

DARPAは、C言語コードからRust言語のコードへの変換を自動化することを目指す「TRACTOR」プログラムを開始した。

[＠IT]

　DARPA（Defense Advanced Research Projects Agency：米国国防総省国防高等研究計画局）は2024年7月31日（米国時間）、「Translating All C to Rust」（TRACTOR）プログラムの開始を発表した。非常に脆弱（ぜいじゃく）なレガシーC言語コードから、本質的により安全なRust言語のコードへの変換を自動化することを目指す。

　広く使われてきたプログラミング言語であるCとC++は、メモリ安全性を備えていない。これらの言語では、プログラマーがメモリを直接操作できるため、誤ってプログラムエラーを引き起こし、メモリを破損させてしまう可能性がある。

C言語を変換する背景