You might also like

More about Tecnicas de Transformacion y Analisis de Codigo de Bytes

• Book details
• Synopsis
• Trending among others

You get 126 loyalty points

Book synopsis

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.

Book details

• Full title: Tecnicas de Transformacion y Analisis de Codigo de Bytes
• Author: Miguel Gómez-Zamalloa Gil
• Language: Spanish
• Binding: Paperback
• Number of pages: 84
• EAN: 9783847364160
• ISBN: 3847364162
• ID: 06947168
• Publisher: EAE Editorial Academia Espanola
• Weight: 136 g
• Dimensions: 229 × 152 × 5 mm
• Date of publishing: 23. February 2012

Trending among others

---

---

---