Safe C?
Safe C?
Posted Apr 27, 2015 5:52 UTC (Mon) by gmatht (subscriber, #58961)In reply to: Wi-Fi software security bug could leave Android, Windows, Linux open to attack (Ars Technica) by tpo
Parent article: Wi-Fi software security bug could leave Android, Windows, Linux open to attack (Ars Technica)
There is MISRA C. It is not clear to me whether the objective machine checkable rules of MISRA C are sufficient to prevent undefined behaviour, however.
Rust seems like the most promising systems language. Superficially similar to C++ with all the unsafe bits pushed into "unsafe" blocks, and a bit of functional sugar for those who want it. No need for GC, and zero runtime overhead wrappers around C libraries.