Rust standardbiblioteegi valideerimise algatus

Amazon ja Rust Foundation esitlesid algatust, mille eesmärk on suurendada Rusti keele standardraamatukogu turvalisust. Eesmärgiks on kontrollida funktsioonide usaldusväärsust ja turvalisust, milles kasutatakse märksõna "unsafe", mis lubab mälu osas ohtlikke toiminguid, nagu näitajate dereferentsimine, staatiliste muutujate muutmine ja väliste C/C++ raamatukogude poole pöördumine. Praegu on Rusti standardraamatukogus umbes 35 000 funktsiooni, millest 7500 koodiplokki töötab „unsafe“ kontekstis. Viimase kolme aasta jooksul on raamatukogust tuvastatud 57 tõrget, millest 20 on märgitud haavatavustena.

Raamatukogu kontrollimise töö on korraldatud konkursina, kus osalejatele pakutakse erinevaid ülesandeid, mis on seotud teatud kontrollide läbiviimisega Rusti raamatukogude mäluga seotud turvalisuse kinnitamiseks või selliste kontrollide automatiseerimise tööriistade arendamisega. Kontrollimise eesmärgi edukas saavutamine (usaldusväärsuse formaalse tõendi esitamises) hõlmab tasu maksmist. Eksperimentide läbiviimiseks ja töö tulemuste avaldamiseks on loodud hoidla, mis on haru Rusti tavahoidlast.

Praegu on ette pandud 13 ülesannet. Näiteks ühes ülesandes palutakse kontrollida raw-näitajate turvalisust core::ptr mooduli funktsioonides ja esitada formaalne tõend näitajate toimingute õiguspärasuse kohta. Kontrollimiseks võib kasutada olemasolevaid tööriistu, nagu Aeneas, Kani, Gillian, Verus ja Creusot, või pakkuda uusi. Tehtud ülesannete näited.

Allikas: opennet.ru