Malgré les efforts de détection des vulnérabilités au cours des deux dernières décennies,
les vulnérabilités de sécurité de la mémoire restent un problème critique. Rapports récents
suggèrent que la solution clé est de migrer vers des langages sécurisés en mémoire. À ceci
fin, La transpilation C-to-Rust devient populaire pour résoudre les problèmes de sécurité de la mémoire dans
Programmes C. Des travaux récents proposent des cadres de transpilation C-to-Rust; cependant, un
un ensemble de données d’évaluation complet est manquant. Même si une solution consiste à mettre
ensemble un ensemble de données suffisamment grand, cela augmente le temps d'analyse en automatisé
frameworks ainsi que dans les efforts manuels pour certains cas. Dans ce travail, nous construisons
une méthode pour sélectionner des fonctions dans un grand ensemble afin de construire un ensemble minimisé mais
ensemble de données représentatif pour évaluer la transpilation C-to-Rust. Nous proposons
C2RUST-BENCH qui contient 2,905 fonctions, qui sont représentatifs de
Transpilation C vers Rust, sélectionné parmi 15,503 fonctions des programmes du monde réel.

Cet article explore les excursions dans le temps et leurs implications.

Télécharger PDF: