A framework for systematically addressing undefined behaviour in the C++ Standard