You made the claim > Why? What's wrong with using one of the many static code analysis tool to tell you about them if/when they appear? You clearly pose stati

You made the claim > Why? What's wrong with using one of the many static code analysis tool to tell you about them if/when they appear? You clearly pose static analysers as an alternative to understanding UB. You still need to understand how things work.