If it takes undefined behavior to create a "null reference" then by definition it's not possible to create one and still have a well-defined program. That is, y

If it takes undefined behavior to create a "null reference" then by definition it's not possible to create one and still have a well-defined program. That is, you have bigger problems than "null references" to worry about.