{"id":116100,"date":"2024-05-26T22:54:55","date_gmt":"2024-05-26T20:54:55","guid":{"rendered":"https:\/\/prohoster.info\/blog\/novosti-interneta\/v-kazhdom-pyatom-pakete-na-yazyke-rust-ispolzuetsya-rezhim-unsafe"},"modified":"2024-05-26T22:54:55","modified_gmt":"2024-05-26T20:54:55","slug":"v-kazhdom-pyatom-pakete-na-yazyke-rust-ispolzuetsya-rezhim-unsafe","status":"publish","type":"post","link":"https:\/\/prohoster.info\/it\/blog\/novosti-interneta\/v-kazhdom-pyatom-pakete-na-yazyke-rust-ispolzuetsya-rezhim-unsafe","title":{"rendered":"In ogni quinto pacchetto scritto in Rust viene utilizzata la modalit\u00e0 unsafe.","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
L'organizzazione Rust Foundation ha pubblicato statistiche che mostrano come, su 127.000 pacchetti significativi presenti nel catalogo crates.io, oltre 24.000 (19,11%) utilizzino la parola chiave \u00abunsafe\u00bb per abilitare funzionalit\u00e0 che consentono operazioni potenzialmente non sicure sulla memoria in specifiche sezioni di codice, come la dereferenziazione dei puntatori, la chiamata a funzioni esterne o la modifica di variabili statiche. Il 34,35% dei pacchetti effettua chiamate dirette a funzioni di altri pacchetti crate che utilizzano la modalit\u00e0 \u00abunsafe\u00bb. <\/p>\n
Si osserva che, nella maggior parte dei casi, l'uso della modalit\u00e0 \u00abunsafe\u00bb \u00e8 motivato dalla chiamata di codice scritto in altri linguaggi o dall'accesso a librerie in C\/C++. Il pacchetto con il maggior numero di chiamate in modalit\u00e0 \u00abunsafe\u00bb \u00e8 il crate windows sviluppato da Microsoft, che funge da wrapper per l'API della piattaforma Windows. Questo pacchetto ha registrato 36 milioni di download. Unsafe \u00e8 utilizzato anche nei pacchetti pi\u00f9 popolari come syn (470 milioni di download), proc-macro2 (354 milioni di download) e libc (345 milioni di download). <\/p>\n
Per identificare problemi nel codice eseguito in modalit\u00e0 \u00abunsafe\u00bb, il progetto sta sviluppando l'interprete Miri, che consente di rilevare accessi al di fuori dei confini dei buffer, utilizzo di memoria dopo la sua liberazione, uso non corretto di dati non inizializzati, violazione dell'invariabilit\u00e0 dei tipi basilari (ad esempio, incongruenza del bool con i valori 0 o 1), violazione delle regole di possesso degli oggetti, insorgenza di condizioni di race e perdite di memoria. \n Fonte: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"