Способ анализа программ на наличие угроз переполнения буферовстатья