DARPA ønsker at transpilere C-kode automatisk til Rust ved hjælp af AI

Forsvarsministeriet's DARPA har initieret et projekt med henblik på at udvikle maskinlæringsværktøjer til automatisering af overførslen af legacy C-kode til Rust, med det formål at forbedre hukommelsessikkerheden i software. Hukommelsesikkerhedsfejl, såsom bufferoverløb, er større kilder til sårbarheder i store kodebaser. DARPA's initiativ udnytter AI-modeller til at forbedre programmeringssprogets oversættelse, med stræben efter mere sikker software. Dan Wallach, DARPA-programleder, fremhæver den nuværende evne hos AI-chatbots til at oversætte C til Rust, men noterer behovet for en betydelig forbedring af oversættelsesnøjagtigheden for kritiske programkonstruktioner. Softwareingeniør-fællesskabet anerkender de vedvarende hukommelsesikkerhedsproblemer i C og C++, med enighed om nødvendigheden af mere sikre sprog som Rust. Det Nationale Cybersikkerhedsdirektorats kontor har også understreget behovet for bedre sikkerhedsforanstaltninger ud over fejlfindingsværktøjer. Peter Morales, CEO i Code Metal, støtter projektets potentiale indvirkning på cybersikkerheden, notering den betydelige opmærksomhed på hukommelsesikkerhed. Wallach beskriver Rust som en, der pålægger strenge regler, som til sidst giver frihed og sikkerhed for programmører. Morales anerkender også udfordringen ved at tackle talrige edge cases i oversættelsesprocessen. Bestemte projekter, som f.eks. Linux-kernen, er udelukket på grund af tekniske inkompatibiliteter med Rust.