Некоторые методы предотвращения переполнения буфера в программировании:

• Использование интерпретируемого языка, который не подвержен этим проблемам. 1
• Избегание использования функций, которые не выполняют проверку буфера (например, в C вместо функции gets() использовать функцию fgets()). 1
• Применение компиляторов, которые помогают определить небезопасные функции или найти ошибки. 1
• Использование canaries. 1 Они вставляются перед обратным адресом в стеке и проверяются перед обращением к нему. 1 Если программа обнаружит изменение значения canary, она прервёт процесс, не позволив злоумышленнику пробиться. 1
• Перестановка локальных переменных таким образом, чтобы скалярные (отдельные объекты данных фиксированного размера) были выше переменных массива, содержащих несколько значений. 1 Это означает, что если переменные массива переполняются, они не будут влиять на скалярные переменные. 1
• Использование неисполнимого буфера. 2 В стеке и сегментах данных запрещается исполнение кода, происходит только запись и чтение. 2
• Проверка выхода за границы. 2 При данном методе при каждом обращении к переменной происходит проверка её длины (превышения допустимых границ). 2 Однако у этого метода есть минус — снижение производительности программы в несколько раз. 2
• Использование различных защитных утилит, таких как PointGuard, StackGuard, StackShield и других. 2