Midori is a fascinating Microsoft research project exploring safe C++ alternatives with a new OS and compiler: https://joeduffyblog.com/2015/11/03/a-tale-of-three-safeties/