德克萨斯大学奥斯汀分校 发布 CRUST-Bench 数据集, 应用在 编程语言转译、软件安全性 领域

德克萨斯大学奥斯汀分校 本次发布的数据集 CRUST-Bench, CRUST-Bench是一个包含100个C语言仓库的数据集，每个仓库都配有人类编写的安全Rust接口和测试用例，用于验证C到安全Rust转译的正确性。该数据集通过考虑整个仓库而不仅仅是孤立函数，捕捉了跨多个文件依赖的复杂项目翻译的挑战。提供的Rust接口为显式规范，确保遵循惯用的、内存安全的Rust模式，而伴随的测试用例则强制执行功能性正确性。

查看CRUST-Bench

README 内容： 

关于 德克萨斯大学奥斯汀分校 , 德克萨斯大学奥斯汀分校是美国一所著名的公立研究型大学，以其在计算机科学、工程学和自然科学等领域的杰出研究和教学而闻名。

关于 arXiv , arXiv 是一个免费分发服务和开放获取的学术文章档案库，涵盖了物理学、数学、计算机科学、定量生物学、定量金融、统计学、电气工程和系统科学以及经济学等领域。该网站上的材料并未经过 arXiv 的同行评审。