Análisis de binarios usando ejecución simbólica
Tesis (Lic. en Ciencias. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2018.
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | bachelorThesis |
| Language: | spa |
| Published: |
2019
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/11086/11382 |
| _version_ | 1801215529605660672 |
|---|---|
| author | Cortez Sánchez, Joshep Joel |
| author2 | Wolovick, Nicolás, dir. |
| author_facet | Wolovick, Nicolás, dir. Cortez Sánchez, Joshep Joel |
| author_sort | Cortez Sánchez, Joshep Joel |
| collection | Repositorio Digital Universitario |
| description | Tesis (Lic. en Ciencias. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2018. |
| format | bachelorThesis |
| id | rdu-unc.11382 |
| institution | Universidad Nacional de Cordoba |
| language | spa |
| publishDate | 2019 |
| record_format | dspace |
| spelling | rdu-unc.113822022-10-13T11:31:49Z Análisis de binarios usando ejecución simbólica Cortez Sánchez, Joshep Joel Wolovick, Nicolás, dir. Brandan Briones, Laura, dir. Testeo y depuración de software Software Testing and Debugging Ejecución simbólica Análisis de binarios Generación de exploits Verificación de programas Symbolic execution Binary analysis Exploit generation Program verification Memory corruption Tesis (Lic. en Ciencias. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2018. En el presente trabajo se estudia, analiza y contribuye en el uso de técnicas y herramientas modernas para el análisis de programas ejecutables binarios. Hacemos énfasis en el uso de ejecución simbólica, mencionando algunas herramientas desarrolladas con el fin de explotar esta técnica. Las principales herramientas estudiadas, yy sobre las que se profundiza en este trabajo son Angr y Manticore. Esta y otras técnicas se encuentran detalladas en +[SWS 16]El trabajo emplea como caso de estudio parte del proyecto Insecure Programming desarrollado por Gerardo Richarte en el año 2001 en el que se pueden observar distintas clases de vulnerabilidades sobre distintos programas, siendo nuestro objetivo principal analizar los mismos y tratar de aprovechar dichas vulnerabilidades para obtener control del flujo del programa. In the present document, we study, analize and contribute in the use of modern techniques and tools for program analysis in binary fille programs. We emphasize about symbolic execution , and we describe developed tools with the purpose of exploiting this technique. In this work we will focus particularly on Angr and Manticore tools. This and another techniques are explained on [SWS 16].This work use as dataset part of Insecure Programming project developed by Gerardo Richarte in 2001 where we may observe diferent kinds of vulnerabilities in the programs, our main objective is to analyze them and try to take advantage of these vulnerabilities to obtain control over the flow of program execution. 2019-04-09T14:38:51Z 2019-04-09T14:38:51Z 2018 bachelorThesis http://hdl.handle.net/11086/11382 spa Atribución-NoComercial-CompartirIgual 4.0 Internacional http://creativecommons.org/licenses/by-nc-sa/4.0/ |
| spellingShingle | Testeo y depuración de software Software Testing and Debugging Ejecución simbólica Análisis de binarios Generación de exploits Verificación de programas Symbolic execution Binary analysis Exploit generation Program verification Memory corruption Cortez Sánchez, Joshep Joel Análisis de binarios usando ejecución simbólica |
| title | Análisis de binarios usando ejecución simbólica |
| title_full | Análisis de binarios usando ejecución simbólica |
| title_fullStr | Análisis de binarios usando ejecución simbólica |
| title_full_unstemmed | Análisis de binarios usando ejecución simbólica |
| title_short | Análisis de binarios usando ejecución simbólica |
| title_sort | analisis de binarios usando ejecucion simbolica |
| topic | Testeo y depuración de software Software Testing and Debugging Ejecución simbólica Análisis de binarios Generación de exploits Verificación de programas Symbolic execution Binary analysis Exploit generation Program verification Memory corruption |
| url | http://hdl.handle.net/11086/11382 |
| work_keys_str_mv | AT cortezsanchezjoshepjoel analisisdebinariosusandoejecucionsimbolica |