Análisis de binarios usando ejecución simbólica

Mostrar todas las versiones(2)

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.

Guardado en:
Detalles Bibliográficos
Autor principal: Cortez Sánchez, Joshep Joel
Otros Autores: Wolovick, Nicolás, dir.
Formato: bachelorThesis
Lenguaje:Español
Publicado: 2019
Materias:
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
Acceso en línea:http://hdl.handle.net/11086/11382
Aporte de:
Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba

Ejemplares similares

Ejemplares similares