Некоторые методы предотвращения непреднамеренного использования неопределённых значений в коде:

• Использование современных языков программирования, которые обычно запрещают использование неинициализированных переменных. 1 Переменные либо всегда инициализируются значением по умолчанию, либо попытка чтения из неинициализированной переменной даёт ошибку компиляции. 1
• Проверка конструкторов. 1 Нужно убедиться, что в них инициализированы все поля. 1
• Использование инициализаторов по умолчанию при объявлении полей структур. 1
• Использование свежих версий компиляторов. 1 Некоторые из них способны предупреждать об обращении к неинициализированным значениям. 1
• Динамический и статический анализ внешними утилитами. 1 Например, Valgrind умеет ловить обращения к неинициализированной памяти. 1
• Сборка кода под разные платформы с разными уровнями оптимизаций и сравнение его поведения. 4 Код без ошибок должен быть переносимым и вести себя одинаково. 4
• Использование безопасных функций. 3 Некоторые уязвимости можно предотвратить с помощью безопасных аналогов уязвимых функций. 3