I Grafi di Conoscenza dei Puntatori Migliorano la Traduzione da C a Rust
Un nuovo metodo che utilizza i Grafi di Conoscenza dei Puntatori (PKG) migliora la traduzione a livello di progetto da C a Rust da parte degli LLM. Gli approcci esistenti basati su LLM suddividono il codice C in funzioni basandosi sui grafi di chiamata e traducono dal basso verso l'alto, ma non riescono a gestire i puntatori a causa della mancanza di contesto di utilizzo globale. I PKG arricchiscono i grafi di dipendenza del codice con informazioni sull'uso dei puntatori (ad esempio, flussi di punti-a) e interazioni a basso livello con le struct, consentendo un codice Rust più sicuro e idiomatico. L'approccio affronta una limitazione chiave nella conversione automatica della sicurezza della memoria.
Fatti principali
- arXiv:2510.10956v2
- Tipo di annuncio: replace-cross
- Tradurre C in Rust garantisce la sicurezza della memoria
- I metodi basati su LLM producono Rust più sicuro rispetto agli approcci basati su regole
- I metodi LLM esistenti hanno difficoltà con la traduzione a livello di progetto
- Gli approcci attuali suddividono i progetti C in funzioni utilizzando grafi di chiamata
- I Grafi di Conoscenza dei Puntatori arricchiscono i grafi di dipendenza del codice con la semantica dei puntatori
- I PKG catturano i flussi di punti-a e le interazioni a basso livello con le struct
Entità
Istituzioni
- arXiv