Skip to Main content Skip to Navigation
Theses

Débogage symbolique multi-langages pour les plates-formes d'exécution généralistes

Damien Ciabrini 1
1 MIMOSA - Migration and mobility : semantics and applications
CRISAM - Inria Sophia Antipolis - Méditerranée , Université de Provence - Aix-Marseille 1, MINES ParisTech - École nationale supérieure des mines de Paris
Abstract : This thesis is devoted to improving symbolic debuggers so that they can deal with the specifics of high-level languages, in particular their complex compilation to general-purpose execution platforms. This has led to the implementation of Bugloo, a language-agnostic debugger for the Java virtual machine.

Two novels virtualization mechanisms are introduced in order to mask artifacts that show up in the stack due to the compilation of high-level languages. The first one is an algorithm that uses special rules designed by language implementors to maintain a mapping between the source code of a program and the code generated during its compilation. It allows the debugger to reconstruct a logical view of the stack into which the compilation details have been filtered out. The second mechanism provides a means to control single stepping, in order to disallow execution to stop in intermediate functions that were generated by the compiler. These virtualization mecanisms have been implemented in a memory profiler for producing special statistics that only contain user-level functions.

During this work, a complete debugging support has been developed for Bigloo, a dialect of the functional language Scheme. Other experiments have been conducted on the high-level languages ECMAScript and Python. Results show that our virtualization mecanisms can be efficiently applied whatever the compilation scheme is. Moreover, they remain effective when programs are composed of several high-level languages.
Document type :
Theses
Complete list of metadatas

Cited literature [10 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00122789
Contributor : Damien Ciabrini <>
Submitted on : Thursday, January 4, 2007 - 10:50:15 PM
Last modification on : Thursday, September 24, 2020 - 4:00:24 PM
Long-term archiving on: : Tuesday, April 6, 2010 - 8:18:04 PM

Identifiers

  • HAL Id : tel-00122789, version 1

Citation

Damien Ciabrini. Débogage symbolique multi-langages pour les plates-formes d'exécution généralistes. Autre [cs.OH]. Université Nice Sophia Antipolis, 2006. Français. ⟨tel-00122789⟩

Share

Metrics

Record views

264

Files downloads

484