Análisis de formas

Título original:

Shape Analysis

Contenido del libro:

Los análisis de forma centrados en inferir propiedades altamente complejas de programas que manipulan montones son técnicas utilizadas en la verificación automática de programas de estado infinito.

Este estudio ofrece una introducción exhaustiva al campo del análisis de formas y presenta los fundamentos del tema de forma accesible para los lectores que no estén familiarizados con él. Para ello, los autores caracterizan la esencia del análisis de formas en comparación con los análisis de punteros más clásicos, además de ofrecer la intuición subyacente a las abstracciones utilizadas habitualmente en el análisis de formas y los algoritmos que permiten calcular estáticamente propiedades semánticas intrincadas.

Los autores abarcan las principales familias de abstracciones y algoritmos de análisis de formas, destacan las similitudes entre ellas y caracterizan las principales diferencias entre los enfoques más comunes. Por último, los autores demuestran el impacto del campo describiendo algunos otros trabajos de análisis estático -abstracciones de matrices, abstracciones de diccionarios y análisis interprocedimentales- que se vieron influidos por las ideas del análisis de formas.

Los investigadores y estudiantes que se inicien en el concepto de análisis de formas encontrarán en esta monografía una ventanilla única de información que les pondrá rápidamente al día en todos los aspectos del tema. Con un amplio conjunto de referencias, este estudio accesible permitirá al lector adoptar rápidamente las técnicas en su propia investigación posterior.