{"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\/it\/blog\/novosti-interneta\/inicziativa-po-verifikaczii-standartnoj-biblioteki-rust","title":{"rendered":"Iniziativa di verifica della libreria standard Rust","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Amazon e la Rust Foundation hanno lanciato un'iniziativa mirata a migliorare la sicurezza della libreria standard del linguaggio Rust. L'obiettivo \u00e8 verificare l'affidabilit\u00e0 e la sicurezza delle funzioni che utilizzano la parola chiave 'unsafe', che consentono operazioni non sicure sulla memoria, come la dereferenziazione dei puntatori, la modifica di variabili statiche e l'accesso a librerie esterne in C\/C++. Si segnala che attualmente la libreria standard di Rust conta circa 35.000 funzioni, di cui 7.500 contengono blocchi di codice eseguiti in un contesto 'unsafe'. Negli ultimi tre anni, sono stati identificati 57 problemi di correttezza nella libreria, di cui 20 sono stati contrassegnati come vulnerabilit\u00e0. <\/p>\n
Il lavoro di verifica della libreria \u00e8 organizzato come un concorso, dove i partecipanti sono invitati a svolgere vari compiti legati all'esecuzione di determinate verifiche per garantire un'operazione sicura della libreria Rust in relazione alla memoria, o allo sviluppo di strumenti per l'automazione di simili verifiche. Il successo nel raggiungimento dell'obiettivo di verifica (fornire una prova formale di affidabilit\u00e0) prevede un premio. Per condurre esperimenti e pubblicare i risultati del lavoro, \u00e8 stato creato un repository che rappresenta un fork del repository ufficiale di Rust. <\/p>\n
Attualmente sono stati proposti 13 compiti. Ad esempio, in uno di questi si chiede di accertarsi della sicurezza del lavoro con i raw-pointer nelle funzioni del modulo core::ptr e fornire una prova formale della correttezza delle operazioni con i puntatori. Per la verifica si possono utilizzare strumenti esistenti come Aeneas, Kani, Gillian, Verus e Creusot, oppure proporre nuovi strumenti. Esempi di compiti completati. \n Fonte: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"