Full text
Preview |
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (1MB) | Preview |
Méndez-Lojo, Mario and Navas, J. and Hermenegildo, Manuel V. (2006). An efficient, parametric fixpoint algorithm for incremental analysis of java bytecode. Monografía (Working Paper). Facultad de Informática (UPM), Madrid, Spain.
Title: | An efficient, parametric fixpoint algorithm for incremental analysis of java bytecode |
---|---|
Author/s: |
|
Item Type: | Monograph (Working Paper) |
Date: | 8 December 2006 |
Subjects: | |
Faculty: | Facultad de Informática (UPM) |
Department: | Inteligencia Artificial |
Creative Commons Licenses: | Recognition - No derivative works - Non commercial |
Preview |
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (1MB) | Preview |
Abstract
interpretation has been widely used for the analysis of object-oriented languages and, more precisely, Java source and bytecode. However, while most of the existing work deals with the problem of finding expressive abstract domains that track accurately the characteristics of a particular concrete property, the underlying fixpoint algorithms have received comparatively less attention. In fact, many existing (abstract interpretation based) fixpoint algorithms rely on relatively inefficient techniques to solve inter-procedural call graphs or are specific and tied to particular analyses. We argue that the design of an efficient fixpoint algorithm is pivotal to support the analysis of large programs. In this paper we introduce a novel algorithm for analysis of Java bytecode which includes a number of optimizations in order to reduce the number of iterations. Also, the algorithm is parametric in the sense that it is independent of the abstract domain used and it can be applied to different domains as "plug-ins". It is also incremental in the sense that, if desired, analysis data can be saved so that only a reduced amount of reanalysis is needed after a small program change, which can be instrumental for large programs. The algorithm is also multivariant and flowsensitive. Finally, another interesting characteristic of the algorithm is that it is based on a program transformation, prior to the analysis, that results in a highly uniform representation of all the features in the language and therefore simplifies analysis. Detailed descriptions of decompilation solutions are provided and discussed with an example.
Item ID: | 15004 |
---|---|
DC Identifier: | https://oa.upm.es/15004/ |
OAI Identifier: | oai:oa.upm.es:15004 |
Official URL: | http://clip.dia.fi.upm.es/~herme/engcurnew/engcurn... |
Deposited by: | Biblioteca Facultad de Informatica |
Deposited on: | 28 Apr 2013 05:25 |
Last Modified: | 27 Feb 2023 09:53 |