Verificación formal de código binario

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...

Full description

Bibliographic Details
Main Author: Arch, David Daniel
Other Authors: Barsotti, Damián
Format: bachelorThesis
Language:spa
Published: 2016
Subjects:
Online Access:http://hdl.handle.net/11086/2830