{"id":120678,"date":"2024-11-24T15:46:00","date_gmt":"2024-11-24T13:46:00","guid":{"rendered":"https:\/\/prohoster.info\/blog\/novosti-interneta\/inicziativa-po-verifikaczii-standartnoj-biblioteki-rust"},"modified":"2024-11-24T15:46:00","modified_gmt":"2024-11-24T13:46:00","slug":"inicziativa-po-verifikaczii-standartnoj-biblioteki-rust","status":"publish","type":"post","link":"https:\/\/prohoster.info\/nl\/blog\/news\/inicziativa-po-verifikaczii-standartnoj-biblioteki-rust","title":{"rendered":"Initiatief voor de verificatie van de standaardbibliotheek van Rust","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Amazon en de Rust Foundation hebben een initiatief gelanceerd dat gericht is op het verbeteren van de veiligheid van de standaardbibliotheek van de programmeertaal Rust. Het doel is om de betrouwbaarheid en veiligheid van functies te controleren die het sleutelwoord 'unsafe' gebruiken, wat risicovolle geheugenbewerkingen mogelijk maakt, zoals het dereferencen van pointers, het wijzigen van statische variabelen en het aanroepen van externe bibliotheken in C\/C++. Momenteel bevat de standaardbibliotheek van Rust ongeveer 35.000 functies, waarvan 7.500 codeblokken bevatten die binnen de context van 'unsafe' worden uitgevoerd. In de afgelopen drie jaar zijn er 57 problemen met de functionaliteit in de bibliotheek vastgesteld, waarvan 20 zijn gemarkeerd als kwetsbaarheden. <\/p>\n
Het werk aan de controle van de bibliotheek is georganiseerd in de vorm van een wedstrijd, waarin deelnemers verschillende taken krijgen aangeboden die verband houden met het uitvoeren van bepaalde controles om veilige geheugenwerking van Rust-bibliotheken te bevestigen of met de ontwikkeling van tools voor het automatiseren van dergelijke controles. Succesvolle voltooiing van de controledoelstelling (het bieden van formeel bewijs van betrouwbaarheid) omvat een beloningspaycheck. Voor het uitvoeren van experimenten en het publiceren van werkresultaten is er een repository aangemaakt, die een tak van de reguliere Rust-repository vertegenwoordigt. <\/p>\n
Momenteel zijn er 13 opdrachten voorgesteld. Bijvoorbeeld, in een van de opdrachten wordt gevraagd om de veiligheid van het werken met raw pointers in de functies van de module core::ptr te verifi\u00ebren en formeel bewijs te leveren van de correctheid van pointerbewerkingen. Voor verificatie kunnen bestaande tools worden gebruikt, zoals Aeneas, Kani, Gillian, Verus en Creusot, of nieuwe worden voorgesteld. Voorbeelden van uitgevoerde opdrachten. \n Bron: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"