Syzygy: A Dual Code-Test Translation from C to (Safe) Rust Using LLM and Dynamic Analysis

💡 原文英文,约100词,阅读约需1分钟。
📝

内容提要

本研究提出了一种名为Syzygy的方法,能够将C语言自动翻译为安全的Rust,旨在解决C语言在内存管理和指针操作中的脆弱性。该方法结合了基于LLM的代码翻译和动态分析,以确保翻译的正确性。

🏷️

标签

➡️

继续阅读