米国国防総省のDARPA、CからRustへのコード変換を自動化する「TRACTOR」プログラムを開始

DARPA（Defense Advanced Research Projects Agency：米国国防総省国防高等研究計画局）は2024年7月31日（米国時間）、「Translating All C to Rust」（TRACTOR）プログラムの開始を発表した。非常に脆弱（ぜいじゃく）なレガシーC言語コードから、本質的により安全なRust言語のコードへの変換を自動化することを目指す。 広く使われてきたプログラミング言語であるCとC++は、メモリ安全性を備えていない。これらの言語では、プログラマーがメモリを直接操作できるため、誤ってプログラムエラーを引き起こし、メモリを破損させてしまう可能性がある。 C言語を変換する背景 関連記事 「ソフトウェアはメモリ安全でなければならない」との声明を発表、米ホワイトハウス 米ホワイトハウスは、サイバー空間における攻撃対象領域を積極的に削減するよう技術コ

[kazuau]

これが自動的にできるということは、メモリー(ヒープ)由来の潜在的な脆弱性は自動的に検出できるということになるので、それで充分だったりしない？

[maninthemiddle]

LinuxカーネルがRustで書き直される日は来るのだろうか