DARPA haluaa automaattisesti transpiloida C-koodin Rustiksi - käyttäen tekoälyä

Pääesikunnan DARPA on käynnistänyt projektin, jossa kehitetään koneoppimisvälineitä vanhan C-koodin automaattiseen muuntamiseen Rustiksi, tavoitteena parantaa muistiturvallisuutta ohjelmistossa. Muistiturvallisuusongelmat, kuten puskuripäästöt, ovat suurimman osan haavoittuvuuksista suurissa koodipohjissa. DARPA:n hanke hyödyntää AI-malleja ohjelmointikielen kääntämiseen, pyrkiessään turvallisempaan ohjelmistoon. Dan Wallach, DARPA:n ohjelmapäällikkö, korostaa AI-chatbotien kyvyn kääntää C:stä Rustiksi, mutta huomauttaa, että käännöksen tarkkuuden on oltava merkittävästi parempi kriittisten ohjelmarakenteiden osalta. Ohjelmistotekniikan yhteisö tunnustaa C:n ja C++:n muistiturvallisuusongelmat, ja on yhtä mieltä siitä, että tarvitaan turvallisempia kieliä, kuten Rust. Kansallisen kyberdirektorin toimisto on myös korostanut, että tarvitaan parempia turvallisuuskeinoja, jotka menevät päästötietokoneiden yli. Code Metalin toimitusjohtaja Peter Morales kannattaa projektin potentiaalia vaikuttamaan kyberturvallisuuteen, ja huomauttaa, että muistiturvallisuus on saanut merkittävää huomiota. Wallach kuvaa Rustin pakottavan tiukkoja sääntöjä, jotka loppujen lopuksi antavat ohjelmoijille vapauden ja turvallisuuden. Morales myös tunnustaa, että reunatapauksien käsittely on haasteellista käännöksen prosessissa. Tiettyjä projekteja, kuten Linux-ydin, on jätetty pois teknisten yhteensopimattomuuden vuoksi Rustin kanssa.