Eliminating Memory Safety Vulnerabilities at the Source | Google's use of Rust in Android's Linux kernel