Abstract
In this paper automated method for exploit generation is presented. This method allows to construct exploits for stack buffer overflow vulnerabilities and also to prioritize software bugs. It is applied to program binaries, without requiring debug information. The method is based on dynamic analysis and symbolic execution. We present a tool implementing the method. We used this tool to generate exploits for 8 vulnerabilities in both Linux and Windows programs, 3 of which were undocumented at the time this paper was written.
Highlights
It is applied to program binaries, without requiring debug information
The method is based on dynamic analysis and symbolic execution
We present a tool implementing the method
Summary
Анализ бинарного кода можно проводить с помощью методов статического и динамического анализа [1]. Информацию о прерываниях и взаимодействии с периферийными устройствами, что позволяет восстанавливать статико-динамическое представление для всех работавших в системе программ и эффективно исследовать его свойства. Основным назначением среды анализа является автоматизация метода выделения алгоритмов из бинарного кода [9] и повышение уровня представления этих выделенных алгоритмов. Для отбора таких инструкций используется алгоритм динамического слайсинга трассы, дополненный анализом помеченных данных. В рамках разрабатываемого метода используется промежуточное представление Pivot [10], позволяющее унифицировано описывать операционную семантику инструкций различных архитектур. Оператор LOAD – производит загрузку значения из одного из адресных пространств. Оператор STORE – записывает значение в одно из адресных пространств. Для описания памяти и регистров в Pivot используется модель единообразных адресных пространств. Для учета побочных эффектов работы операций используется модельное слово состояния, которое аналогично регистру флагов в x86
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callMore From: Proceedings of the Institute for System Programming of RAS
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
