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