Texto completo
Vista Previa |
PDF (Portable Document Format)
- Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (280kB) | Vista Previa |
Field-Sensitive Value Analysis by Field-Insensitive Analysis
Cita
Albert Albiol, Elvira, Arenas Sánchez, Purificación, Genaim, Samir and Puebla Sánchez, Alvaro Germán
(2009).
Field-Sensitive Value Analysis by Field-Insensitive Analysis.
En: "2nd World Congress on Formal Methods, FM '09", 02/11/2009 - 06/11/2009, Eindhoven, Paises Bajos. ISBN 978-3-642-05088-6.
Descripción
| Título: | Field-Sensitive Value Analysis by Field-Insensitive Analysis |
|---|---|
| Autor/es: |
|
| Tipo de Documento: | Ponencia en Congreso o Jornada (Artículo) |
| Título del Evento: | 2nd World Congress on Formal Methods, FM '09 |
| Fechas del Evento: | 02/11/2009 - 06/11/2009 |
| Lugar del Evento: | Eindhoven, Paises Bajos |
| Título del Libro: | FM 2009: Formal Methods. 2nd World Congress |
| Fecha: | 2009 |
| ISBN: | 978-3-642-05088-6 |
| Volumen: | 5850 |
| Materias: | |
| ODS: | |
| Escuela: | Facultad de Informática (UPM) [antigua denominación] |
| Departamento: | Lenguajes y Sistemas Informáticos e Ingeniería del Software |
| Licencias Creative Commons: | Reconocimiento - Sin obra derivada - No comercial |
Resumen
Shared and mutable data-structures pose major problems in static analysis and most analyzers are unable to keep track of the values of numeric variables stored in the heap. In this paper, we first identify sufficient conditions under which heap allocated numeric variables in object oriented programs (i.e., numeric fields) can be handled as non-heap allocated variables. Then, we present a static analysis to infer which numeric fields satisfy these conditions at the level of (sequential) bytecode. This allows instrumenting the code with ghost variables which make such numeric fields observable to any field-insensitive value analysis. Our experimental results in termination analysis show that we greatly enlarge the class of analyzable programs with a reasonable overhead
Más información
| ID de Registro: | 5702 |
|---|---|
| Identificador DC: | https://oa.upm.es/5702/ |
| Identificador OAI: | oai:oa.upm.es:5702 |
| URL Oficial: | http://www.springerlink.com/content/n673175223m487... |
| Depositado por: | Memoria Investigacion |
| Depositado el: | 12 Ene 2011 09:57 |
| Ultima Modificación: | 20 Abr 2016 14:26 |
Acciones
- Estadísticas
- Exportar cita
- Editar (sólo personal del Archivo)
