Tipógrafo: Infiriendo el grafo de tipos de un programa binario

La información sobre los tipos y las estructuras que un programa utiliza son fundamentales en multitud de aplicaciones. Por ejemplo en el análisis de vulnerabilidades y fallos de programa, el depurador utiliza la información de tipos y estructuras contenidas en los símbolos del programa para proporc...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Grieco, Gustavo
Otros Autores: Caballero, Juan
Formato: bachelorThesis tesis de grado publishedVersion
Lenguaje:Español
Publicado: 2014
Materias:
ingenería invers"
tipos de datos
análisis simbólico de memoria
programas binarios
tipografo
Acceso en línea:http://hdl.handle.net/2133/2819
http://hdl.handle.net/2133/2819
Aporte de:
Repositorio Hipermedial de la Universidad Nacional de Rosario (UNR) de Universidad Nacional de Rosario
id I15-R121-2133-2819
record_format dspace
institution Universidad Nacional de Rosario
institution_str I-15
repository_str R-121
collection Repositorio Hipermedial de la Universidad Nacional de Rosario (UNR)
language Español
orig_language_str_mv spa
topic ingenería invers"
tipos de datos
análisis simbólico de memoria
programas binarios
tipografo
spellingShingle ingenería invers"
tipos de datos
análisis simbólico de memoria
programas binarios
tipografo
Grieco, Gustavo
Tipógrafo: Infiriendo el grafo de tipos de un programa binario
topic_facet ingenería invers"
tipos de datos
análisis simbólico de memoria
programas binarios
tipografo
description La información sobre los tipos y las estructuras que un programa utiliza son fundamentales en multitud de aplicaciones. Por ejemplo en el análisis de vulnerabilidades y fallos de programa, el depurador utiliza la información de tipos y estructuras contenidas en los símbolos del programa para proporcionar al analista información contextual sobre los contenidos de memoria que el programa accede. Sin embargo existen clases de programas como los programas propietarios y los programas malignos donde ni el código fuente ni los símbolos del programa están disponibles para un analista externo. Para abordar dichos casos se intentaron diversos enfoques para tratar de inferir "tipos" en la memoria de los programas simplemente utilizando las instrucciones que ejecuta la CPU. Estos enfoques van desde definiciones ad-hoc sobre los que intenta razonar sobre las operaciones primitivas que realizan las instrucciones ensamblador hasta sistemas de tipos formales (entendidas según la teoría de tipos) sobre una versión del programa lifteada. En la presente tesinade grado, se definió una formalismo general para realizar el tipado de la memoria utilizada por un programa de dinámicamente y recuperar su grafo de tipos a partir de la memoria reservada. También se realizó la evaluación de una implementación con x86 utilizando el formalismo de análisis binario BitBlaze sobre varios diversos programas binarios.
author2 Caballero, Juan
author_facet Caballero, Juan
Grieco, Gustavo
format bachelorThesis
tesis de grado
publishedVersion
author Grieco, Gustavo
author_sort Grieco, Gustavo
title Tipógrafo: Infiriendo el grafo de tipos de un programa binario
title_short Tipógrafo: Infiriendo el grafo de tipos de un programa binario
title_full Tipógrafo: Infiriendo el grafo de tipos de un programa binario
title_fullStr Tipógrafo: Infiriendo el grafo de tipos de un programa binario
title_full_unstemmed Tipógrafo: Infiriendo el grafo de tipos de un programa binario
title_sort tipógrafo: infiriendo el grafo de tipos de un programa binario
publishDate 2014
url http://hdl.handle.net/2133/2819
http://hdl.handle.net/2133/2819
work_keys_str_mv AT griecogustavo tipografoinfiriendoelgrafodetiposdeunprogramabinario
bdutipo_str Repositorios
_version_ 1764820413699850240

Ejemplares similares