Buscar


Mostrar el registro sencillo del ítem

dc.rights.license http://creativecommons.org/licenses/by-nd/4.0 es_ES
dc.contributor Carlos Alberto Olmos Treja es_ES
dc.creator José Luis Carreña Arteaga es_ES
dc.date 2011-10
dc.date.accessioned 2016-08-16T19:59:21Z
dc.date.available 2016-08-16T19:59:21Z
dc.date.issued 2011-10
dc.identifier 273 - RI000262.pdf es_ES
dc.identifier.uri https://ri-ng.uaq.mx/handle/123456789/5521
dc.description Esta tesis discute el diseño, arquitectura y aplicación de un esquema para convertir lenguaje binario a un nivel de abstracción más alto, permitiendo la creación de pruebas re-utilizables y robustas. El resultado es una serie de pasos a seguir para convertir de código máquina X86 a código de nivel intermedio. El proceso de transformación mencionado aquí es una etapa de la ingeniería inversa, la cual por fuerza es el primer paso del proceso de reingeniería. Las técnicas de de-compilación inicialmente fueron documentadas en [Cifuentes]. Los conceptos utilizados por [Cifuentes] están estrechamente relacionados con compiladores y teoría de la optimización. Han ocurrió muchos cambios en el campo de la construcción de compiladores desde la publicación de [Aho et Al]. Algunos de los cambios a la construcción de compiladores que merecen mención son: -DTD (Document Type Definition). Esencialmente, un DTD es una gramática libre de contexto extendida, -Grafos XML [Anders et Al], -el novel enfoque no-canónico para la construcción de compiladores [Schmitz 2005], [Schmitz, 2007]. Cuando el momento sea el adecuado, se abordará cada tópico y se propondrá un nuevo esquema que traduzca de código máquina x86 a Common Intermediate Language (CIL) [ECMA-335]. es_ES
dc.format Adobe PDF es_ES
dc.language.iso spa es_ES
dc.publisher Universidad Autónoma de Querétaro es_ES
dc.relation.requires No es_ES
dc.rights Acceso Abierto es_ES
dc.subject De-compiladores es_ES
dc.subject Código máquina es_ES
dc.subject Gramáticas es_ES
dc.title Utilización de especificación formal para validar bloques elementales de lenguaje máquina: caso práctico procesadores x86 es_ES
dc.type Tesis de maestría es_ES
dc.contributor.role Director es_ES
dc.degree.name Maestría en Sistemas de Información Gestión y Tecnología es_ES
dc.degree.department Facultad de Informática es_ES
dc.degree.level Maestría es_ES


Ficheros en el ítem

Thumbnail
Nombre: RI000273.pdf
Tamaño: 748.1Kb
Formato: PDF
Ver/

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem