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