3 ms·
(f) Make support for safety and security demonstrable "Demonstrable" seems to be a bit of weasel-wording there, but for the life of me I don't see how you make
by grabcocque 11y ago
(f) Make support for safety and security demonstrable
"Demonstrable" seems to be a bit of weasel-wording there, but for the life of me I don't see how you make C demonstrably safe and secure without ending up with something that is almost, but not quite, entirely unlike C.
- pcwalton 11y agoWell, "safe" and "secure" can be relative terms, and C definitely could be safer. For example, null pointers could be defined to trap and -fwrapv could be blessed by the Standard as a mode that all compilers must support. I agree with you of course that C will never be memory-safe either in theory or in practice while still remaining C. (The same goes for C++, despite popular belief.)