История изменений
Исправление den73, (текущая версия) :
Значит, во многих популярных программах, написанных на Си, аудит кода отсутствует или делается неосиляторами. Иначе не было бы дыр, который живут в важных кусках кода по много лет, вызванных особенностями Си. Дыра типа «переполнение буфера» возникает в результате сочетания предпосылок в языке, работы программиста и недостаточного аудита. При том, «достаточный» аудит - это скорее всего алгоритмически неразрешимая задача (смотря как его определять).
Исходная версия den73, :
Значит, во многих популярных программах, написанных на Си, аудит кода отсутствует или делается неосиляторами. Иначе не было бы дыр, который живут в важных кусках кода по много лет, вызванных особенностями Си. Дыра возникает в результате сочетания предпосылок в языке, работы программиста и недостаточного аудита. При том, «достаточный» аудит - это скорее всего алгоритмически неразрешимая задача (смотря как его определять).