Методы организации межпроцедурного анализа для поиска ошибок переполнения буферадоклад на конференции