Логические границы автоматической проверки кода
Разработчик открывает отчёт статического анализатора и видит десяток предупреждений. Половина — ложные срабатывания, а вчерашний критический баг инструмент промолчал.
Желание создать программу, которая гарантированно находит все ошибки в любой другой программе, упирается в математику. Это не вопрос вычислительной мощности или хитрости алгоритма.
См. также: Почему лакировать безопасность в конце уже нельзя; Постановка задачи: не шопинг, а операция на инфраструктуре.
