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