CRUST-Bench：C到安全Rust转译的综合基准

本研究针对缺乏评估C到安全Rust转译系统的数据集的问题，提出了CRUST-Bench，这是一个包含100个C代码库的数据集，配备了手动编写的安全Rust接口和测试用例。通过关注整个代码库而非孤立的函数，该研究揭示了转译复杂项目中的挑战，并发现现有的先进语言模型在安全且符合Rust规范的代码生成上仍面临困难。