Kani : un vérificateur de modèles pour sécuriser le code Rust

Des chercheurs présentent Kani, un outil de vérification formelle pour Rust. Il détecte les bugs critiques avant compilation, ciblant la mémoire et les threads. Intégré à l'écosystème Rust, il vise à renforcer la fiabilité des systèmes critiques.

Pourquoi ça compteKani répond à un besoin croissant de sécurité dans les langages systèmes, notamment pour les infrastructures critiques où Rust est de plus en plus adopté.