Utilización de especificación formal para validar bloques elementales de lenguaje máquina: caso práctico procesadores x86

José Luis Carreña Arteaga

Buscar

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