Su una cosa penso che quasi tutti siamo d’accordo: Windows è sicuramente un Sistema Operativo facile da usare e comunque abbastanza intuitivo. Presenta però delle pecche…la più grave delle quali è l’estrema vulnerabilità agli attacchi buffer overflow da parte degli hacker. Purtroppo questo grave limite, che costringe i programmatori della Microsoft a sfornare continuamente patch di sicurezza, è il conseguente rovescio della medaglia che si presenta quando tutto il S.O. si basa su un linguaggio di programmazione che non richieda risorse hardware stratosferiche per essere eseguito.

Windows è scritto in C. Tale linguaggio è abbastanza sobrio di risorse richieste ma, prima di poter essere eseguito, necessita di essere interpretato da un compilatore in linguaggio macchina (assembler) per poi arrivare alla CPU. Proprio durante questa fase, gli hacker riescono a sfruttare gli errori (purtroppo non rari) del compilatore dando così luogo ad un buffer overflow.

Per poter evitare che ciò accada bisognerebbe che durante la compilazione, il tutto venga verificato. I linguaggi di programmazione che permettono ciò vengono detti “tipizzati” ma presentano una limitazione: durante la fase di verifica necessitano di enormi risorse hardware.

Gli sviluppatori della Microsoft hanno così messo mano a un progetto veramente rivoluzionario che pian piano sta dando corpo a Verve. Che cos’è ? Per adesso è solo un progetto di sistema operativo in fase sperimentale. Il tutto ruota attorno a questo concetto: solo gli elementi più significativi del sistema vengono scritti direttamente in linguaggio macchina tipizzato cosicchè non dovranno essere compilati prima di giungere al processore. Tale codice verrà poi analizzato da un verifier che lo controllerà per intero affinchè non presenti errori. Gli hacker potranno continuare a penetrare ma non potranno dar vita a buffer overflow.

Così facendo si potrà sfruttare un linguaggio tipizzato solo dove realmente serve senza dover fornire la macchina di hardware stile NASA (:-)) ottenendo un sistema operativo finalmente sicuro e dalle prestazioni di gran lunga superiori a tutti i Windows nati finora.

Ulteriori informazioni le potete trovare a questo link.

Per ora questo è tutto, ma vi terrò aggiornati sui progressi relativi a questo progetto.

- Fonte: Chip Settembre 2011