C2RUST-BENCH：用于 C 至 Rust 转译评估的最小化、代表性数据集
密码学与安全
2025-04-22 v1 人工智能
编程语言
摘要
尽管过去二十年来在漏洞检测方面付出了大量努力，但内存安全漏洞仍然是一个关键问题。最近的报告表明，关键解决方案是迁移到内存安全语言。为此，C 至 Rust 转译变得流行，以解决 C 程序中的内存安全问题。近期研究提出了 C 至 Rust 转译框架，但缺乏全面的评估数据集。虽然一种解决方案是将大型数据集拼接在一起，但这会增加自动化框架中的分析时间，以及某些情况下手动工作量。本文我们构建了一种从大型函数集合中选择函数以构建最小化且具代表性的数据集以评估 C 至 Rust 转译的方法。我们提出了 C2RUST-BENCH，该数据集包含 2905 个函数，代表性地选自 15503 个真实程序中的函数。
关键词
引用
@article{arxiv.2504.15144,
title = {C2RUST-BENCH: A Minimized, Representative Dataset for C-to-Rust Transpilation Evaluation},
author = {Melih Sirlanci and Carter Yagemann and Zhiqiang Lin},
journal= {arXiv preprint arXiv:2504.15144},
year = {2025}
}