Wi-Fi software security bug could leave Android, Windows, Linux open to attack (Ars Technica)

> During all of my time of teaching about C I've been wondering whether it would be possible to define a "secure C" (sub)set consisting of (best practice) rules and to implement wrappers (data structures and methods) around pointer handling, arrays and memory management and other dangers?

I think this is more or less what C++ does. For example one can consider std::string as safe and convenient wrapper around strxxx functions.