Suivez les dernières actualités, explications et histoires technologiques associées.
David Chisnall explique comment l’architecture CHERI utilise des capacités matérielles pour protéger les pointeurs et imposer des limites et des permissions mémoire, offrant ainsi une sécurité spatiale et temporelle aux logiciels écrits en C et en C++ sans réécriture majeure. La présentation relie ce mécanisme à la possibilité de construire un cloisonnement précis entre les composants du système, avec un partage direct des structures de données plutôt qu’une dépendance totale aux mécanismes RPC traditionnels.
Google affirme que l’adoption de Rust dans Android a réduit de plus de 1 000 fois la densité des vulnérabilités liées à la sécurité de la mémoire par rapport au code C et C++, tandis que les modifications en Rust affichent des taux de régression plus faibles et nécessitent moins de temps pour être examinées. Son analyse présente l’expansion de Rust au noyau, aux micrologiciels et aux applications Google, ainsi que les enseignements tirés d’une vulnérabilité qui a failli atteindre une version publique.