本研究针对缺乏评估C到安全Rust转译系统的数据集的问题,提出了CRUST-Bench,这是一个包含100个C代码库的数据集,配备了手动编写的安全Rust接口和测试用例。通过关注整个代码库而非孤立的函数,该研究揭示了转译复杂项目中的挑战,并发现现有的先进语言模型在安全且符合Rust规范的代码生成上仍面临困难。
本周Github有趣的项目包括emacs-copilot、endoflife.date、crust、Mewz、inbox-zero、deskhop和dbchaos。emacs-copilot是一个大型语言模型代码自动补全工具。endoflife.date用于记录软件产品的版本和支持生命周期。crust是一个玩具编程语言。Mewz是专为运行Wasm应用程序而设计的单内核。inbox-zero是一个开源电子邮件管理工具。deskhop是一个快速的桌面交换设备。dbchaos用于数据库压力测试。
完成下面两步后,将自动完成登录并继续当前操作。