A generic, context sensitive analysis framework for object oriented programs

Navas, J.; Méndez-Lojo, Mario y Hermenegildo, Manuel V. (2007). A generic, context sensitive analysis framework for object oriented programs. En: "9th Workshop on Formal Techniques for Java-like Programs FTfJP 2007", July 31, 2007, Berlin, Germany.

Descripción

Título: A generic, context sensitive analysis framework for object oriented programs
Autor/es:
  • Navas, J.
  • Méndez-Lojo, Mario
  • Hermenegildo, Manuel V.
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: 9th Workshop on Formal Techniques for Java-like Programs FTfJP 2007
Fechas del Evento: July 31, 2007
Lugar del Evento: Berlin, Germany
Título del Libro: Workshop on Formal Techniques for Java-like Programs (FTfJP)
Fecha: 2007
Materias:
Palabras Clave Informales: Fixpoint algorithms, context sensitivity, static analysis, Java bytecode, abstract interpretation, Algoritmos de punto fijo, Sensibilidad contextual, Análisis estático, Código byte Java, Interpretación abstracta.
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Inteligencia Artificial
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (749kB) | Vista Previa

Resumen

Abstract interpreters rely on the existence of a nxpoint algorithm that calculates a least upper bound approximation of the semantics of the program. Usually, that algorithm is described in terms of the particular language in study and therefore it is not directly applicable to programs written in a different source language. In this paper we introduce a generic, block-based, and uniform representation of the program control flow graph and a language-independent nxpoint algorithm that can be applied to a variety of languages and, in particular, Java. Two major characteristics of our approach are accuracy (obtained through a topdown, context sensitive approach) and reasonable efficiency (achieved by means of memoization and dependency tracking techniques). We have also implemented the proposed framework and show some initial experimental results for standard benchmarks, which further support the feasibility of the solution adopted.

Más información

ID de Registro: 14825
Identificador DC: http://oa.upm.es/14825/
Identificador OAI: oai:oa.upm.es:14825
URL Oficial: http://clip.dia.fi.upm.es/papers/mod-an-lopstrbook.pdf
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 11 Abr 2013 06:28
Ultima Modificación: 21 Abr 2016 14:39
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM