A generic, context sensitive analysis framework for object oriented programs

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

Description

Title: A generic, context sensitive analysis framework for object oriented programs
Author/s:
  • Navas, J.
  • Méndez-Lojo, Mario
  • Hermenegildo, Manuel V.
Item Type: Presentation at Congress or Conference (Article)
Event Title: 9th Workshop on Formal Techniques for Java-like Programs FTfJP 2007
Event Dates: July 31, 2007
Event Location: Berlin, Germany
Title of Book: Workshop on Formal Techniques for Java-like Programs (FTfJP)
Date: 2007
Subjects:
Freetext Keywords: 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.
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (749kB) | Preview

Abstract

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.

More information

Item ID: 14825
DC Identifier: http://oa.upm.es/14825/
OAI Identifier: oai:oa.upm.es:14825
Official URL: http://clip.dia.fi.upm.es/papers/mod-an-lopstrbook.pdf
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 11 Apr 2013 06:28
Last Modified: 21 Apr 2016 14:39
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM