The octahedron abstract domain (extended version)
An interesting area in static analysis is the study of numerical properties. Complex properties can be analyzed using abstract interpretation, provided that an adequate abstract domain is defined. Each domain can represent and manipulate a family of properties, providing a different trade-off betwee...
| Autores: | , |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión enviada para evaluación y publicación |
| Fecha de publicación: | 2006 |
| País: | España |
| Institución: | Universitat Oberta de Catalunya (UOC) |
| Repositorio: | O2, repositorio institucional de la UOC |
| OAI Identifier: | oai:openaccess.uoc.edu:10609/109823 |
| Acceso en línea: | http://hdl.handle.net/10609/109823 |
| Access Level: | acceso abierto |
| Palabra clave: | abstract interpretation numerical abstract domains relational abstract domains convex polyhedra interpretació abstracta dominis abstractes numèrics dominis relacionals abstractes políedre convex interpretación abstracta dominios abstractos numéricos dominios relacionales abstractos poliedro convexo Computer programming Programació (Ordinadors) Programación (Ordenadores) |
| Sumario: | An interesting area in static analysis is the study of numerical properties. Complex properties can be analyzed using abstract interpretation, provided that an adequate abstract domain is defined. Each domain can represent and manipulate a family of properties, providing a different trade-off between the precision and complexity of the analysis. The contribution of this paper is a new numerical abstract domain called octahedron that represents constraints of the form . The implementation of octahedra is based on a new kind of decision diagram called Octahedron Decision Diagrams (OhDD). |
|---|