¿Programas que analizan programas?

Disertante: Lic. Diego Garbervetsky

Una de las áreas más importantes dentro de las ciencias de la computación es la que trata los programas como objeto de estudio en si. Es decir, se investiga y desarrollan técnicas (y herramientas) que reciben programas y obtienen como resultado conclusiones sobre el mismo o nuevos programas!

Ejemplos conocidos de herramientas que hacen análisis de programas son: compiladores, optimizadores, intérpretes, ofuscadores de código, refactoreadores, verificadores, generadores de especificaciones!, y muchas más.

En la charla vamos a introducir brevemente esta temática, mostrando algunos ejemplos concretos de su utilidad. Luego presentaremos algunas de las técnicas que estamos elaborando en nuestro grupo. En particular: Análisis del comportamiento y el consumo de memoria en programas Java y generacion automática de invariantes (aserciones sobre los posibles valores que pueden tener las variables en distintos puntos del programa).