Amazon ja Rust Foundation tutvustasid algatust, mille eesmÀrk on suurendada Rusti keele standardraamatukogu turvalisust. EesmÀrgiks on kontrollida funktsioonide usaldusvÀÀrsust ja ohutust, kus kasutatakse mÀrksÔna "unsafe", mis lubab mÀlu osas ohtlikke toiminguid, nagu nÀiteks pointerite dereferentseerimine, staatiliste muutujate muutmine ja vÀliste C/C++ raamatukogude kasutamine. Praegu sisaldab Rusti standardraamatukogu umbes 35 000 funktsiooni, millest 7500-s on koodiblokke, mis töötavad kontekstis "unsafe". Viimase kolme aasta jooksul avastati raamatukogus 57 korrektsuse probleemi, millest 20 loeti haavatavusteks.
Raamatukogu kontrollimist korraldatakse konkursi vormis, kus osalejate ĂŒlesanne on lahendada erinevaid ĂŒlesandeid, mis on seotud mĂ€luga ohutu töötamise kontrollimisega Rusti raamatukogudes vĂ”i sarnaste kontrollide automatiseerimise tööriistade arendamisega. Ălesande edukas tĂ€itmine (formaalse tĂ”endi esitamist usaldusvÀÀrsuse kohta) tĂ€hendab auhinna mÀÀramist. Eksperimentide lĂ€biviimiseks ja tööde tulemuste avaldamiseks on loodud hoidla, mis on haru Rusti ametlikust hoidlast.
Praegu on ette nĂ€htud 13 ĂŒlesannet. NĂ€iteks ĂŒhe ĂŒlesande puhul palutakse veenduda raw-punktide ohutuses core::ptr mooduli funktsioonides ja esitada formaalne tĂ”end punktidega tehtud toimingute korrektsuse kohta. Verifitseerimiseks vĂ”ib kasutada olemasolevaid tööriistu, nagu Aeneas, Kani, Gillian, Verus ja Creusot, vĂ”i pakkuda uusi. NĂ€iteid tĂ€idetud ĂŒlesannetest.
Allikas: opennet.ru
