I'm surprised to see no mention of the Sutter and Stroustrup core guidelines [1]. Wouldn't a statically checkable implementation of these ameliorate most of Meyer's concerns?
[1] https://github.com/isocpp/CppCoreGuidelines/blob/master/CppC...
[1] https://github.com/isocpp/CppCoreGuidelines/blob/master/CppC...
https://channel9.msdn.com/Events/CPP/CppCon-2015/Writing-Goo...
static checking of the core guidelines is the entire reason they are writing them. This isn't just a nice literary exercise
The static checker is found here (obviously still under development) https://github.com/Microsoft/GSL