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