Использование символьного выполнения для анализа бинарного кодатезисы доклада