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