人気のタグ：
仮想化 DNSセキュリティ 形式的検証 到達可能性解析 C言語 コンパイラエラー マクロの衝突 Web拡張機能 開発フレームワーク コモドール64 すべてのタグ

画期的進歩：C言語を安全にRustに変換

2024-12-21

研究者たちは、C言語のコードを安全にRustに変換する新しい手法を開発しました。この技術は静的解析と型指向変換を利用することで、Rustの`unsafe`ブロックへの依存を回避し、メモリ安全性を保証します。この手法は、HACL*暗号ライブラリとEverParseライブラリのコードに適用され、8万行の純粋なRustで記述された、検証済みの最新の暗号ライブラリが生成されました。これは業界初の快挙です。

(arxiv.org)
開発 C言語コンパイル