A C++ implementation that detects undefined behavior?
This is a great question, but let me give an idea for why I think it might be impossible (or at least very hard) in general. Presumably, such an implementation would almost be a C++ interpreter, or at least a compiler for something more like Lisp or Java. It would need to keep extra data … Read more