MISRust: Mapping MISRA-C++ Coding Guidelines to the Rust Programming Language
Questo documento mappa sistematicamente le 179 linee guida MISRA C++ 2023 al linguaggio di programmazione Rust, classificandole in base alla loro applicabilità per dimostrare come il design di Rust imponga automaticamente quasi la metà delle regole, fornendo allo stesso tempo adattamenti specifici e individuando le lacune per le restanti linee guida al fine di supportare lo sviluppo di sistemi safety-critical.
Articolo originale sotto licenza CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). Questa è una spiegazione generata dall'IA dell'articolo qui sotto. Non è stata scritta né approvata dagli autori. Per precisione tecnica, consulta l'articolo originale. Leggi il disclaimer completo
Immagina di costruire una macchina ad alto rischio, come un'auto a guida autonoma o un dispositivo medico. Non puoi permetterti che un singolo bullone si allenti o che un cavo vada in corto circuito. Da decenni, gli ingegneri che costruiscono queste macchine con il linguaggio di programmazione C++ hanno seguito un enorme e rigoroso codice di regole chiamato MISRA. Pensa al MISRA come a un "Manuale di Sicurezza" di 179 pagine che dice cose come: "Non fare mai questo", "Fai sempre quello" e "Se tocchi questa parte specifica, devi indossare un casco".
Ora è arrivato un nuovo linguaggio, più sicuro, chiamato Rust. Rust è come un kit da costruzione super-avanzato che previene automaticamente molti errori comuni (come far cadere un bullone o incrociare i cavi) proprio grazie alla sua struttura. Poiché Rust è intrinsecamente sicuro per progettazione, gli ingegneri stanno iniziando a utilizzarlo per quelle stesse macchine ad alto rischio.
Il Problema:
Il vecchio manuale di sicurezza (MISRA) è stato scritto per il C++. Contiene regole su cose che Rust non ha nemmeno, e tralascia aspetti che Rust gestisce in modo diverso. Se provi a usare il vecchio manuale per il nuovo kit, finirai con un gran numero di regole confuse e inutili.
La Soluzione (La Missione del Documento):
Gli autori di questo documento hanno agito come traduttori e ispettori di sicurezza. Hanno preso ogni singola una delle 179 regole del vecchio manuale C++ e si sono chiesti: "Questa regola ha ancora senso per Rust?"
Hanno creato un nuovo sistema per classificare queste regole in sei diversi contenitori:
- Il Contenitore "Spazzatura" (Non Applicabile): Queste sono regole su cose che semplicemente non esistono in Rust.
- Analogia: Immagina una regola che dice: "Non usare una carrozza trainata da cavalli". Se stai guidando una Tesla, questa regola è inutile. Non hai un cavallo, quindi non devi preoccupartene. Circa il 32% delle vecchie regole rientrava in questa categoria.
- Il Contenitore "Magia" (Già Soddisfatto): Queste sono regole che Rust impone automaticamente.
- Analogia: Immagina una regola che dice: "Non lasciare che l'auto precipiti da una scogliera". In Rust, l'auto letteralmente non può precipitare da una scogliera perché il volante è bloccato finché non controlli la mappa. La regola è ancora vera, ma non hai bisogno di scriverla perché la progettazione dell'auto rende impossibile violarla. Circa il 30% delle regole rientrava qui.
- Il Contenitore "Ancora Necessario" (Richiesto in Rust Sicuro): Queste sono regole sul buon senso generale che Rust non corregge automaticamente.
- Analogia: Anche con un'auto perfetta, hai ancora bisogno di una regola che dice: "Non guidare mentre dormi". Rust previene i guasti meccanici, ma non può impedire a un guidatore assonnato di prendere una decisione sbagliata. Circa il 12% delle regole è ancora necessario anche quando si utilizza la versione "sicura" di Rust.
- Il Contenitore "Zona Pericolosa" (Richiesto in Rust Non Sicuro): Rust ha una modalità speciale "rompi il vetro in caso di emergenza" chiamata Unsafe. Questa ti permette di bypassare i blocchi di sicurezza per fare cose potenti a basso livello.
- Analogia: Se decidi di rimuovere i blocchi di sicurezza dall'auto per correre, improvvisamente hai bisogno di tutte quelle vecchie regole di sicurezza. Il documento ha rilevato che 36 regole, che erano gestite automaticamente dalla sicurezza di Rust, diventano improvvisamente critiche di nuovo se si utilizza questa modalità "Unsafe".
- Il Contenitore "Traduzione" (Necessaria Adattamento): Alcune regole riguardano concetti che esistono in entrambi i linguaggi ma funzionano in modo diverso.
- Analogia: Una regola potrebbe dire: "Non usare un cacciavite per battere un chiodo". In Rust, non si usano affatto i cacciaviti; si usa uno strumento specializzato. L'intento (non usare lo strumento sbagliato) è lo stesso, ma l'istruzione specifica deve essere riscritta per adattarsi agli strumenti di Rust. Circa il 6% delle regole ha richiesto questo tipo di traduzione.
- Il Contenitore "Mancante": Il documento nota che ci sono alcune lacune di sicurezza dove Rust ha bisogno di nuove regole che non esistono ancora nel vecchio manuale.
I Principali Risultati:
- Rust è un Cambiamento di Paradigma: Poiché Rust è costruito in modo così sicuro, quasi il 61% delle vecchie regole di sicurezza del C++ è o inutile o gestito automaticamente dal linguaggio stesso. Ciò significa che un futuro manuale di sicurezza per Rust potrebbe essere molto più breve e facile da seguire.
- La Trappola "Unsafe": Se utilizzi la modalità "Safe" di Rust, sei molto protetto. Ma se usi la modalità "Unsafe" (che a volte è necessaria per compiti ad alte prestazioni), perdi quelle protezioni automatiche. Il documento sottolinea che la certificazione di sicurezza per Rust deve concentrarsi pesantemente su come vengono gestite queste sezioni "Unsafe".
- Non è Ancora Finito: Sebbene Rust sia ottimo, il documento nota che gli strumenti e gli standard del settore non sono ancora completamente maturi. È come avere un'auto nuova fantastica, ma le leggi sul traffico e le compagnie assicurative non hanno ancora completamente fatto il passo con essa. Per ora, Rust è probabile che venga utilizzato insieme al C++ (come aggiungere un nuovo motore più sicuro a un'auto vecchia) piuttosto che sostituirlo completamente immediatamente.
In Sintesi:
Gli autori non hanno semplicemente detto "Rust è buono". Hanno svolto il duro lavoro di mappare le vecchie regole di sicurezza sul nuovo linguaggio, dimostrando che la progettazione di Rust elimina un enorme blocco del vecchio codice di regole, identificando chiaramente quali regole specifiche contano ancora e dove è necessario scrivere nuove regole. Hanno reso pubblici tutti i loro risultati in modo che gli ingegneri possano iniziare a costruire sistemi più sicuri con Rust oggi.
Sommerso dagli articoli nel tuo campo?
Ricevi digest giornalieri degli articoli più recenti corrispondenti alle tue parole chiave di ricerca — con riassunti tecnici, nella tua lingua.