> Именно чтобы не писать на раст. И это правильно.

Если посмотреть на CVEшки хрустиков можно столько нового и интересного узнать о том от чего он "защищает". Да, там есть обращения к освобожденной памяти, выходы за границы, integer overflow...  в общем полный джентльменский набор.

В этом смысле железо могло бы подыграть. Например, проверки integer overflow в обычных архитектурах не халявны - требуеют добавочных команд для проверки carry. А если б это не требовалось и вместо этого настраиваемый эксепшн при таком событии был - это бы и быстро было и ловило бы потенциально проблемный/незапланированный эвент. Да, именно заставить прогера явно декларить что он хочет врап int-математики, если ему реально оно надо - иначе исключение в репу.

С границами буферов та же история. Как ни крути а есть ситуации когда оно динамически выдяляемое, заранее неизвестное и проч. В этом случае вариантов немного - или проверять границы, что тоже не халявно, или вот железо могло бы знать от каких до каких мы считаем валидным, а за пределы этого - эксепшн. В принципе так MMU может но он не для этого и не опериует юнитами менее страницы, так что подобные вещи начинают RAM трескать если например это много мелких буферов было.