Я не знаю, как устроен Эльбрус, но при более-менее традиционной страничной организации памяти понятие границ буферов существует только на уровне приложений. Специальное отладочное ПО отлавливает любое выделение памяти и проверяет каждое обращение к памяти на попадание в границы хотя бы одного из буферов. На уровне процессора это реализовать нереально. Разве что ставить guard pages вокруг страниц каждого отдельно взятого буфера, но перерасход памяти будет неприемлемым.
Естественно, можно разделить хранилище для локальных переменных и хранилище точек возврата. Но это решит только проблему возврата в неправильную функцию. Сам по себе buffer overflow это никак не предотвратит, в т.ч. связанные с этим проблемы типа denial of service. | 
