Also from MS: Checked C[1], which aims to detect many of the same bug classes. I agree entirely about the ergonomics, and I think the authors also oversell wha

Also from MS: Checked C[1], which aims to detect many of the same bug classes. I agree entirely about the ergonomics, and I think the authors also oversell what “safe” means for C-rusted-checked code, versus what safe means in Rust. There are some nice ideas here (and I’d like to see the implementation!), but it’s a stretch to say that something as incremental as this can provide the same program-wide guarantees that safe languages can. [1]: https://www.microsoft.com/en-us/research/project/checked-c/ https://www.microsoft.com/en-us/research/project/checked-c/