察元AI教程库 · 文章 · 提示词

RustAssure：针对LLM转译C到Rust代码的差分符号测试

Rust是一种内存安全的编程语言，显著提升了软件安全性。现有使用不安全内存语言（如C）编写的代码库，必须首先转换为Rust，才能享受Rust带来的安全保证。RustAssure提出了一种利用大型语言模型

作者:Yubo Bai, Tapti Palit · 语言:en

简介