Поиск критических ошибок с помощью межпроцедурного анализа помеченных данных в программах на Си/Си++доклад на конференции