Внутрипроцедурный анализ для поиска ошибок на основе символьного выполнениядоклад на конференции