Higher Abstractions for Dynamic Analysis

Abstract : The developers of tools for dynamic analysis are faced with choosing from the many approaches to gathering runtime data. Typically, dynamic analysis involves instrumenting the program under investigation to record its runtime behavior. Current approaches for byte-code based systems like Java and Smalltalk rely often on inserting byte-code into the program under analysis. However, detailed knowledge of the target programming language or virtual machine is required to implement dynamic analysis tools. Obtaining and exploiting this knowledge to build better analysis tools is cumbersome and often distracts the tool builder from the actual goal, which is the analysis of the runtime behavior of a system. In this paper, we argue that we need to adopt a higher level view of a software system when considering the task of abstracting runtime information. We focus on object-oriented virtual machine based languages. We want to be able to deal with the runtime system as a collection of reified first-class entities. We propose to achieve this by introducing a layer of abstraction, i.e., a behavioral middle layer. This has the advantage that the task of collecting dynamic information is not concerned with low level details of a specific language or virtual machine. The positive effect of such a behavioral middle layer is twofold: on the one hand it provides us with a standard API for all dynamic analysis based tools to use, on the other hand it allows the tool developer to abstract from the actual implementation technique.
Type de document :
Communication dans un congrès
Andy Zaidman and Abdelwahab Hamou-Lhadj and Orla Greevy. 2nd International Workshop on Program Comprehension through Dynamic Analysis (PCODA 2006), Oct 2006, Benevento, Italy. Universiteit Antwerpen, Technical report 2006-11, pp.32-38, 2006, Proceedings of the 2nd International Workshop on Pro- gram Comprehension through Dynamic Analysis (PCODA 2006)
Liste complète des métadonnées

Littérature citée [26 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00555673
Contributeur : Lse Lse <>
Soumis le : vendredi 14 janvier 2011 - 11:00:17
Dernière modification le : vendredi 14 janvier 2011 - 15:22:47
Document(s) archivé(s) le : mardi 6 novembre 2012 - 11:30:39

Fichier

Denk06cHigherAbstractionsPCODA...
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00555673, version 1

Citation

Marcus Denker, Orla Greevy, Michele Lanza. Higher Abstractions for Dynamic Analysis. Andy Zaidman and Abdelwahab Hamou-Lhadj and Orla Greevy. 2nd International Workshop on Program Comprehension through Dynamic Analysis (PCODA 2006), Oct 2006, Benevento, Italy. Universiteit Antwerpen, Technical report 2006-11, pp.32-38, 2006, Proceedings of the 2nd International Workshop on Pro- gram Comprehension through Dynamic Analysis (PCODA 2006). 〈inria-00555673〉

Partager

Métriques

Consultations de la notice

137

Téléchargements de fichiers

235