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