Каково определение неопределённого поведения (UB) в C и C++? Что можно сказать о неопределённом поведении и определённом реализацией поведении? Каково различие между этими концепциями?

Я видел подобный код в нескольких старых проектах:

class Class {
    static void Method() {}
};

((Class*)0)->Method();

Этот код содержит неопределенное поведение, так как включает разыменование нулевого указателя (что бы ни происходило после этого). Он действительно не имеет смысла —...