Tecnicas de Transformacion y Analisis de Codigo de Bytes (Spanish, Paperback)

Predecir el comportamiento de los programas antes de su ejecucion es cada vez mas importante, especialmente teniendo en cuenta que estos son cada vez mas complejos y son utilizados frecuentemente en situaciones criticas. El analisis estatico de programas es el proceso por el cual el comportamiento de los programas es analizado sin llegar a ejecutar su codigo. A la hora de analizar codigo de bytes una practica habitual consiste en: (1 ) transformar o decompilar el codigo a una representacion de mas alto nivel, y (2 ) formular el analisis sobre dicha representacion. Esta tesis contribuye a mejorar el estado del arte en la transformacion y el analisis de lenguajes de codigo de bytes, en concreto: (1) proponiendo e implementando un esquema formal para la decompilacion automatica por compilacion interpretativa de programas de codigo de bytes (con orientacion a objetos) a representaciones de mas alto nivel, en particular utilizando programacion logica; (2) estudiando las aplicaciones practicas que se tienen gracias a disponer de dichas representaciones; y (3) disenando e implementando un analisis de consumo de memoria para lenguajes de codigo de bytes con recoleccion de basura."