Trotz der Bemühungen in der Schwachstellenerkennung in den letzten zwei Jahrzehnten,
Sicherheitslücken im Speicher stellen weiterhin ein kritisches Problem dar. Recent reports
suggest that the key solution is to migrate to memory-safe languages. To this
end, C-to-Rust transpilation becomes popular to resolve memory-safety issues in
C programs. Recent works propose C-to-Rust transpilation frameworks; however, a
comprehensive evaluation dataset is missing. Although one solution is to put
together a large enough dataset, this increases the analysis time in automated
frameworks as well as in manual efforts for some cases. In dieser Arbeit, we build
a method to select functions from a large set to construct a minimized yet
representative dataset to evaluate the C-to-Rust transpilation. We propose
C2RUST-BENCH that contains 2,905 functions, which are representative of
C-to-Rust transpilation, selected from 15,503 functions of real-world programs.

Dieser Artikel untersucht Zeitreisen und deren Auswirkungen.

PDF herunterladen: