arXiv:2504.15144v1 宣传类型：交叉 摘要：尽管在过去二十年中对漏洞检测做出了努力，但内存安全漏洞仍然是一个关键问题。近期的报告表明，关键解决方案是转向内存安全语言。为此，C向Rust的转译变得流行起来，以解决C程序中的内存安全问题。近期的工作提出了C向Rust的转译框架；然而，完整的评估数据集缺失。虽然一个解决方案是整理一个足够大的数据集，这会增加自动化框架的分析时间，以及在某些情况下手动努力的时间。在这项工作中，我们构建了一种方法，从大量函数中选择函数，以构建一个最小化但仍具代表性的数据集，用于评估C向Rust的转译。我们提出了C2RUST-BENCH，它包含2905个函数，这些函数代表了C向Rust的转译，是从15503个真实程序函数中选择出来的。