Miguel Gómez-Zamalloa Gil

Técnicas de Transformación y Análisis de Código de Bytes

Desarrollo e Implementación para Java Bytecode

• Broschiertes Buch

Produktbeschreibung

Predecir el comportamiento de los programas antes de su ejecución es cada vez más importante, especialmente teniendo en cuenta que estos son cada vez más complejos y son utilizados frecuentemente en situaciones críticas. El análisis estático de programas es el proceso por el cual el comportamiento de los programas es analizado sin llegar a ejecutar su código. A la hora de analizar código de bytes una práctica habitual consiste en: (1º) transformar o decompilar el código a una representación de más alto nivel, y (2º) formular el análisis sobre dicha representación. Esta tesis contribuye a mejorar el estado del arte en la transformación y el análisis de lenguajes de código de bytes, en concreto: (1) proponiendo e implementando un esquema formal para la decompilación automática por compilación interpretativa de programas de código de bytes (con orientación a objetos) a representaciones de más alto nivel, en particular utilizando programación lógica; (2) estudiando las aplicaciones prácticas que se tienen gracias a disponer de dichas representaciones; y (3) diseñando e implementando un análisis de consumo de memoria para lenguajes de código de bytes con recolección de basura.

Produktdetails

• Verlag: Editorial Académica Española
• Aufl.
• Seitenzahl: 84
• Erscheinungstermin: 23. Februar 2012
• Spanisch
• Abmessung: 220mm x 150mm x 6mm
• Gewicht: 143g
• ISBN-13: 9783847364160
• ISBN-10: 3847364162
• Artikelnr.: 35088616

Autorenporträt

Nacido en Madrid en 1981, se licenció en Ingeniería Informática por la Universidad Complutense de Madrid (UCM) en 2004, donde obtuvo el grado de doctor en Ingeniería Informática en 2009. Miguel es en la actualidad profesor ayudante doctor en la UCM y, pese a su juventud, es ya un miembro activo de la comunidad investigadora en su campo.