Débogueur

Un article de Wikipédia, l'encyclopédie libre.

wikt:

Voir « débogueur » sur le Wiktionnaire.

Un débogueur (en anglais, debugger) est un logiciel qui permet de déboguer, c'est-à-dire d'aider le programmeur à détecter des bogues dans un programme (il peut aussi servir à tester ce dernier).

Sommaire

[modifier] Utilisation

Le programme à déboguer est exécuté à travers le débogueur et s'exécute normalement. Le débogueur offre alors au programmeur la possibilité de contrôler l'exécution du programme, en lui permettant par divers moyen de stopper (mettre en pause l'exécution du programme) et d'observer par exemple le contenu des différentes variables en mémoire. L'état d'exécution peut alors être observé afin, par exemple, de déterminer la cause d'une défaillance.

Quand l'exécution d'un programme est stoppée, le débogueur affiche la position courante d'exécution dans le code source original si celui-ci est un source-level debugger ou symbolic debugger. Si c'est un low-level debugger ou un machine-language debugger, il montre la ligne désassemblée.

De nombreux debogueurs permettent, en plus de l'observation de l'état des registres processeurs et de la mémoire, de les modifier avant de rendre la main au programme débogué. Ils peuvent alors être utilisés pour localiser certaines protections logicielles et les désactiver, amenant à la conception d'un crack. Ainsi, certains logiciels, connaissant le fonctionnement des débogueurs et voulant empêcher de tels modifications, mettent en place des techniques antidébogage (anti debugging tricks)

[modifier] Techniques

Les outils offerts par les débogueurs dépendent essentiellement du langage de programmation (utilisé pour développer le programme à déboguer) pour lequel il a été conçu. Néanmoins, la grande majorité des débogueurs offrent des outils similaires.

[modifier] Outils pour stopper (mettre en pause) l'exécution du programme

  • commande d'arrêt manuel : le programmeur peut décider à tout moment de stopper l'exécution
  • point d'arrêt : placé à un endroit spécifique du programme (généralement dans le code source), il indique au débogueur d'arrêter l'exécution lorsqu'elle atteindra cet endroit
  • point d'arrêt conditionné : comme le point d'arrêt, mais avec une condition supplémentaire (comme le nombre de passages sur ce point d'arrêt par exemple)
  • point d'observation (watch) : permet d'arrêter l'exécution du programme sur la condition de la modification d'une variable

[modifier] Outils pour piloter l'exécution du programme

  • pas-à-pas : exécution instruction par instruction
    • pas-à-pas sommaire : une instruction est exécutée, dans le programme principal, à chaque fois que le programmeur le demande
    • pas-à-pas détaillé : comme le pas à pas sommaire, sauf que le pas à pas entre aussi dans les fonctions
    • avec cadencement : à intervalles périodiques, une instruction est exécutée (cela permet de ralentir l'exécution du programme afin qu'elle puisse être suivie de près par l'œil humain)
  • retour en arrière : revenir à l'instruction précédente, en retrouvant l'état précédent (fonctionnalité assez rare)

[modifier] Outils pour observer l'état du programme

  • observation d'une variable
  • observation d'une zone mémoire
  • observation d'un registre du microprocesseur
  • observation de la pile d'appel (backtrace)
  • observation du code source avec point d'exécution actuel
  • observation du code assembleur (sauf langage interprété) avec point d'exécution actuel
  • trace : permet d'observer des informations en différé, sans stopper l'exécution du programme

En outre, le débogueur permet généralement de modifier l'état du programme, lorsque son exécution est stoppée :

[modifier] Débogueurs connus

[modifier] Ouvrage de référence

  • Jonathan B. Rosenberg, How Debuggers Work: Algorithms, Data Structures, and Architecture, John Wiley & Sons, ISBN 0-471-14966-7