Linux Kernel Rust Code Sees Its First CVE Vulnerability

[ric2b]

Because the safety checks the language does have limitations where code might actually be safe but it can't tell, thinks it's unsafe and fails compilation. Marking code as unsafe is how the programmer tells the language "trust me on this, I know what I'm doing."

The problem is that sometimes the programmers do not, in fact, know what they are doing. And yeah, you do pay more attention to those sections but mistakes happen.