10 ms·
It's not about safety, if that was the real argument we should start with obvious improvements like checked C https://github.com/microsoft/checkedc https://gith
by The_rationalist 6y ago
It's not about safety, if that was the real argument we should start with obvious improvements like checked C
https://github.com/microsoft/checkedc https://github.com/microsoft/checkedc
The C++ lifetime checker or Cyclone
- geofft 6y agoChecked C addresses a small number of memory safety problems - it addresses bounds checking / buffer overflows, but not use-after-frees, double frees, data races / insufficient locking, and several other things that fall into the general category of "memory safety," nor more general "safety" things like type confusion. The kernel is not written in C++ and is unlikely to use C++, for many reasons - Rust is a more natural C-but-better for the kernel than C is. Cyclone hasn't been maintained for over a decade; it was a research language, and it largely served its purpose as a research language in inspiring production-supported languages like Rust.