К вопросу о преодолении ограничений статического анализа при поиске дефектов переполнения буфератезисы доклада