|
Пучков, Ф. М. Статический метод анализа программного обеспечения на наличие угроз переполнения буферов [Текст] / Ф. М. Пучков, К. А. Шапченко // Программирование. – 2005. – № 4. – 19-34.
Предлагается новый статический метод автоматического обнаружения уязвимостей, способных приводить к переполнению буферов в программах |