Verificación formal de código binario

Mostrar todas las versiones(2)

Los buffer overflow son una de las vulnerabilidades mas frecuentes que se encuentran en el software que utilizamos diariamente. El análisis de este tipo de vulnerabilidades se hace tedioso y complejo cuando solo se tiene acceso al código binario y no al código fuente del programa vulnerable debido a...

Descripción completa

Detalles Bibliográficos
Autor principal: Arch, David Daniel
Otros Autores: Barsotti, Damián
Formato: bachelorThesis
Lenguaje:Español
Publicado: 2016
Materias:
Verificación de programas
Acceso en línea:http://hdl.handle.net/11086/2830
Aporte de:
Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba
id I10-R14111086-2830
record_format dspace
institution Universidad Nacional de Córdoba
institution_str I-10
repository_str R-141
collection Repositorio Digital Universitario (UNC)
language Español
topic Verificación de programas
spellingShingle Verificación de programas
Arch, David Daniel
Verificación formal de código binario
topic_facet Verificación de programas
description Los buffer overflow son una de las vulnerabilidades mas frecuentes que se encuentran en el software que utilizamos diariamente. El análisis de este tipo de vulnerabilidades se hace tedioso y complejo cuando solo se tiene acceso al código binario y no al código fuente del programa vulnerable debido al uso del lenguaje de bajo nivel ensamblador, la poca estructura que presenta este lenguaje, la ausencia de funciones bien definidas y de tipos de datos abstractos entre otros. Con el objetivo de facilitar el trabajo de los investigadores de seguridad presentamos una extensión para el framework BAP que agrega soporte para la verificación de buffer overflow en código binario mediante el uso de SMT solvers.
author2 Barsotti, Damián
author_facet Barsotti, Damián
Arch, David Daniel
format bachelorThesis
author Arch, David Daniel
author_sort Arch, David Daniel
title Verificación formal de código binario
title_short Verificación formal de código binario
title_full Verificación formal de código binario
title_fullStr Verificación formal de código binario
title_full_unstemmed Verificación formal de código binario
title_sort verificación formal de código binario
publishDate 2016
url http://hdl.handle.net/11086/2830
work_keys_str_mv AT archdaviddaniel verificacionformaldecodigobinario
bdutipo_str Repositorios
_version_ 1764820395615059970

Ejemplares similares