> назови мне реализацию base64d на любом другом языке, где бы наблюдалось переполнение буфера с потенциальной возможностью выполнить код на сервере. Хотя бы одну назови.

На pascal без проблем реализуется. Он средствами самого языка имеет тип LString и bounds checking. Там при работе даже с указателями на массивы в принципе нельзя мимо промазать, если они правильно типизированные. Равно как и запихать в строку больше чем под нее при описании типа выделено. Кстати интеля до сих пор не упразднили инструкцию процессора bound, которая и выполняет такую проверку. Но у компилятора на этапе компиляции должна быть точная информация о типе указателя, чтобы знать размер массива.

Хотя можно задаться целью и невозбранно выстрелить себе в ногу используя asciiz строки и безтиповые указатели на байт, а также разнообразные околозапрещенные трюкачества при манипуляции со строками мимо RTL, лазая по памяти через pchar указатели. Но если программист хочет стрелять себе в ногу, то это уже его проблемы.