3 ms·
That's a lot of memory safety issues. Makes you wonder how many would exist if Chromium weren't written in C++.
by TazeTSchnitzel 5y ago
That's a lot of memory safety issues. Makes you wonder how many would exist if Chromium weren't written in C++.
- colesantiago 5y agoWhat would you want Chrome all written in? Rust?
- speedgoose 5y agoYes please. And everything should be proved using the Coq programming language.
- AYoung010 5y agoI prefer my web browsers to be written exclusively in provably-safe ADA, for maximum security
- stingraycharles 5y agoOn that note, has the Rust compiler/runtime ever been formally verified?
- steveklabnik 5y agoA subset of the type system and standard library has been, but not the whole thing. It’s foundational stuff though so that was really great.
- 0xCMP 5y agoiiuc the Chrome team is actively investigating it[0] and (again) iiuc recent work with Cxx is paving the way for things like that to happen. [0]: https://www.chromium.org/Home/chromium-security/memory-safety/rust-and-c-interoperability/ https://www.chromium.org/Home/chromium-security/memory-safet...