Sécurité du langage de programmation

Cette séance de cours se penche sur le sujet de la sécurité du langage de programmation, en se concentrant sur des aspects tels que la sécurité de type, la sécurité de la mémoire et la sécurité des menaces. L'instructeur discute de l'importance des systèmes de type, des défis liés aux vulnérabilités de sécurité de la mémoire et du rôle des langages de programmation modernes tels que Rust dans l'amélioration de la sécurité. La séance de cours couvre également des concepts tels que la propriété, l'emprunt et l'utilisation de code dangereux dans Rust. En outre, il explore les principes du bac à sable, de la compartimentation et de la promesse du moindre privilège. La session se termine par un exercice pratique impliquant la conversion du code Rust et C pour comprendre les garanties de sécurité.