- Languages should consider creating a mode that provides a runtime check of the validity of all accessed objects before the object is read, written or executed.
This sounds related to @RalfJung's work with miri to detect and specify UB. There's some discussion about it over here.
To quote his blog post (quoting his other blog post):
I also think that tooling to detect UB is of paramount importance […]. In fact, specifying a dynamic UB checker is a very good way to specify UB! Such a specification would describe the additional state that is needed at run-time to then check at every operation whether we are running into UB.