- アメリカの国防高等研究計画局（DARPA）が、プログラミングの現代化を目指した野心的なプロジェクト「TRACTOR」を開始
- TRACTORは、古いCコードをより安全なRustプログラミング言語に変換することを目指す
- この取り組みは、メモリセーフティの問題に対処し、ソフトウェアアプリケーションのセキュリティを向上させることを目的としている
- 古いCコードの大規模な書き直しには課題があり、Rustへの移行は様々な懸念を引き起こしている
- TRACTORは、機械学習の最近の進歩を活用し、自動変換プロセスを改善することを目指している
自動変換の高品質化やRustコードのスタイルを達成することがTRACTORの目標であり、Cプログラムに固有のメモリセーフティの脆弱性を根絶することを目指している。ウォラック博士は、「Rustはプログラマに正確さを求める。最初は規則に縛られるように感じられるかもしれないが、それらに慣れると、その規則が自由を与えてくれる。それはガードレールのようなものであり、それらがあなたを守るためにあることに気づいたら、より重要なことに集中する自由が手に入るだろう。」と述べている。
元記事: https://thecyberexpress.com/darpas-tractor/