CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF
Normal view MARC view ISBD view

Verificación formal de código binario / David Daniel Arch.

By: Arch, David Daniel, 1990-.
Contributor(s): Barsotti, Damián, 1969- [dir.] | D'Argenio, Pedro Ruben, 1968- [dir.].
Material type: materialTypeLabelBookPublisher: [S.l. : s.n. ], 2015Description: 146 p. : il. ; 30 cm.Subject(s): Software -- Program verification | Formal Methods | Verificación de programas | BAP | SMT | Código binario | Buffer overflowOnline resources: Acceso a Versión Digital | Acceso a RDU-UNC Disponible en línea.Dissertation note: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2015. Summary: 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.Summary: Buffer overflows are one the most common vulnerabilites found on daily used software. This kind of vulnerability analysis is tedious and complex when researchers have access to binary code but don't have access to the source code of the program. This is due to the low level language assembler, the abscence of well defined functions and the absence of abstract data types among other factors. With the goal of making the job of security researchers easier is that we extended BAP to introduce a new feature that allows BAP to verify the presence of buffer overflow errors on binary code by using SMT solvers.
Tags from this library: No tags from this library for this title.
Item type Current location Call number URL Copy number Status Notes Date due Barcode Item holds
Trabajo Especial de Grado Trabajo Especial de Grado FaMAF
Secc. Tesis y Trabajos especiales
TE C ARC http://www.famaf.unc.edu.ar/institucional/biblioteca/trabajos/638/17373.pdf | http://hdl.handle.net/11086/2830 1 Available Disponible también en línea 22401
Total holds: 0

Bajo una Licencia Creative Commons Atribución-NoComercial-CompartirIgual 2.5 Argentina.

Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2015.

Bibliografía : p. 145-146.

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.

Buffer overflows are one the most common vulnerabilites found on daily used software. This kind of vulnerability analysis is tedious and complex when researchers have access to binary code but don't have access to the source code of the program. This is due to the low level language assembler, the abscence of well defined functions and the absence of abstract data types among other factors. With the goal of making the job of security researchers easier is that we extended BAP to introduce a new feature that allows BAP to verify the presence of buffer overflow errors on binary code by using SMT solvers.

Disponible en línea.

La biblioteca posee 1 ej.

Defensa : diciembre de 2015.

Firmas del Tribunal : Doctores Damián Barsotti, Pedro Rubén D'Argenio y Nicolás Wolovick al final del trabajo.

Click on an image to view it in the image viewer

Horario de la Biblioteca: lunes a viernes de 8:30 a 18:00hs

Av. Medina Allende s/n , Ciudad Universitaria, Córdoba, Argentina

Tel: +54 351 5353701 int. 41127(Atención al Público) int. 41151(Dirección)

biblio@famaf.unc.edu.ar

publicofamaf@gmail.com



//