Nonostante gli sforzi compiuti nel rilevamento delle vulnerabilità negli ultimi due decenni,
le vulnerabilità della sicurezza della memoria continuano a essere un problema critico. Rapporti recenti
suggeriscono che la soluzione chiave è migrare verso linguaggi sicuri per la memoria. A questo
FINE, La transpilazione C-to-Rust diventa popolare per risolvere i problemi di sicurezza della memoria
programmi C. Lavori recenti propongono strutture di traspilazione C-to-Rust; Tuttavia, UN
manca un set di dati di valutazione completo. Sebbene una soluzione sia mettere
insieme un set di dati abbastanza grande, questo aumenta il tempo di analisi in automatico
nonché negli sforzi manuali per alcuni casi. In questo lavoro, costruiamo
un metodo per selezionare funzioni da un ampio insieme per costruirne uno ancora ridotto a icona
set di dati rappresentativo per valutare la traspilazione da C-a-Rust. Proponiamo
C2RUST-BENCH che contiene 2,905 funzioni, che sono rappresentativi di
Traspirazione da C a Rust, selezionato da 15,503 funzioni dei programmi del mondo reale.

Questo articolo esplora i giri e le loro implicazioni.

Scarica PDF: