1. Вы делаете туже ошибку, что создатели Rust. Гарантии безопасности может дать только ядро OS и процессор. При этом компилятор очень важен для обеспечения безопасности. Но компилятор не есть ключ к гарантиям безопасности.

2. Вы недоконца поняли проактивную защиту, она не только заменяет дыру на DoS. Да прога упадет, но В ЛОГАХ останется подробная запись о причинах и месте падения. Логи с падением шлем разрабам и они фиксят дыру. Баги при внедрении проактивной защиты не остаются, они все быстро находятся и исправляются.

3. GCC очень сложный, он старается защитить компилируемые проги, в некоторых местах, защищает от переполнения буфера: -D_FORTIFY_SOURCE=2. Целесообразно внедрить -D_FORTIFY_SOURCE=3.
-fPIC  преобразовывает код в позиционно независимый, а -fPIE собирает позиционно независимый бинарь, который в ASLR ядре OS, грузится по разным адресам в памяти и значительно усложняет атаки. Делает их обнаруживаемыми, с записями в логах.
Техника SSP вставляет "канарейки" сигнализирует о переполнении стека.

4. Если интересует компилятор проверяющий индексы можно посмотреть Fortran, Pascal. Для С-ишных прог попробуйте собрать GCC с: --param ssp-buffer-size=1 -fstack-protector-all переполнения индексов в масивах должны отлавливатся, проверьте и отпишите.