Canonicalは、大規模な成熟したCコードベースを安全なRustに自動的に翻訳できるようにする新しい3年間の研究プロジェクトを支援しています。この取り組みはCanonicalと英国のブリスタル大学の協力によるもので、2026年後半から作業が開始される予定です。
プロジェクトの主な目的は、数十万行に及ぶCコードを含む大規模なコードリポジトリを、安全で信頼性が高く保守可能なRustに翻訳できる完全なプラットフォームを開発することです。課題は、依然として広く使用されている大量のレガシーCソフトウェアにあります。多年にわたる修正と最適化が蓄積されているため、このようなコードを手動で書き直すことはコストがかかりリスクも伴います。
現在のソースからソースへの翻訳ツールは、問題を部分的にしか解決しません。大量のコードを処理できますが、Cの構造をあまりにも密接にコピーしてしまい、依然として安全でない機能に依存するRustが生成されることが多いです。一方、LLMは小規模なコードスニペットに対してはイディオマティックなRustを生成するのに優れていますが、完全なリポジトリの広範なコンテキストには対応できません。
これらの障害を克服するために、プロジェクトでは機械学習と従来のプログラム分析、テスト、形式手法を組み合わせたハイブリッドアプローチ、すなわち「ニューロシンボリック」アプローチを採用します。CanonicalはAppArmorとsnap-confineを実際のケーススタディとして使用する予定です。この取り組みは、uutils coreutilsやsudo-rsのようなプロジェクトで見られるように、CanonicalがUbuntu内でRustをより広く採用する方針とも一致しています。
主要なエンティティ: 会社: Canonical, ブリスタル大学 | 場所: 英国
出典: Hacker News · 要約：HeadlinesBriefing