Linux se vuelve más seguro gracias a rust, según kroah-hartman

Le responsable de maintenir les versions stables de Linux, Greg Kroah-Hartman, pense que Rust peut apporter un soulagement dans ce quotidien éprouvant. Après avoir mis ce langage à l'épreuve, il a reconnu que les recommandations étaient justes : programmer pouvait redevenir amusant. Et c'est vrai que Rust transmet au compilateur les vérifications qui dépendaient presque entièrement de l'attention du développeur en C. Cela permet de consacrer moins de temps à traquer les erreurs mineures qui finissent par devenir des failles de sécurité.

Rust n'a pas simplifié linux, mais a éliminé les inquiétudes inutiles

Le noyau fonctionne directement avec la mémoire, le matériel, les processus et les droits du système. Donc, une erreur à ce niveau peut bloquer l'ordinateur, corrompre des données ou ouvrir une vulnérabilité. Bien que C offre le contrôle et les performances nécessaires, il finit par obliger à gérer manuellement des opérations délicates. Si le compilateur ne peut pas garantir que certaine opération est sécurisée, il arrête le processus jusqu'à ce que le développeur la corrige.

Cela ne convient pas à l'élaboration du noyau. Rust nécessite une apprentissage, mais il permet également d'utiliser des blocs unsafe lorsqu'il est nécessaire de accéder directement au matériel. La différence, c'est que beaucoup de fautes mécaniques ne parviennent plus aux révisions humaines. Kroah-Hartman explique qu'il n'a plus besoin de tenir en tête chaque détail lié à la propriété des pointeurs ou à la libération de ressources, car il peut se concentrer à vérifier si le code fait réellement ce qu'il doit faire.