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