Depurador

Depurador

Información

Tipo	Tipo de software ( pulgadas )

Un depurador (Inglés depurador ) o depurador (versión francesa Bogue) es el software que ayuda a un desarrollador para analizar los errores de un programa . Para ello, le permite ejecutar el programa paso a paso, es decir, la mayoría de las veces línea a línea, mostrar el valor de las variables en cualquier momento y configurar puntos. líneas.

Esta es la aplicación a la programación informática del proceso de resolución de problemas .

usar

El programa a depurar se ejecuta a través del depurador y se ejecuta normalmente. El depurador ofrece entonces al programador la posibilidad de observar y controlar la ejecución del programa, permitiéndole por diversos medios observarlo, detenerlo (pausar la ejecución del programa) y modificarlo. Por ejemplo, se puede observar la pila de ejecución y el contenido de las variables en la memoria, y el valor de las variables se puede cambiar para alterar el flujo de control del programa para, por ejemplo, determinar la causa de una falla.

Cuando se detiene la ejecución del programa, el depurador muestra la posición de ejecución actual en el código fuente original para depurar la  depuración formal (en) y a nivel de fuente. El depurador de nivel bajo o de máquina muestra la línea desensamblada .

Muchos depuradores permiten, además de observar el estado de los registros del procesador y de la memoria, modificarlos antes de devolver el control al programa depurado. Luego, pueden usarse para ubicar ciertas protecciones de software y deshabilitarlas, lo que lleva al diseño de una grieta . Así, algunos programas, sabiendo cómo funcionan los depuradores y queriendo evitar tales modificaciones, implementan trucos anti-depuración .

Técnicas

Las herramientas que ofrecen los depuradores dependen fundamentalmente del lenguaje de programación (utilizado para desarrollar el programa a depurar) para el que fue diseñado. Sin embargo, la gran mayoría de depuradores ofrecen herramientas similares.

• comando de parada manual: el programador puede decidir en cualquier momento detener la ejecución
• punto de interrupción  : colocado en una ubicación específica en el programa (generalmente en el código fuente), le dice al depurador que detenga la ejecución cuando llega a esa ubicación
• punto de interrupción condicionado  : como el punto de interrupción, pero con una condición adicional (como el número de pasajes en este punto de interrupción, por ejemplo)
• punto de observación (reloj): utilizado para detener la ejecución del programa con la condición de la modificación de una variable

Herramientas para controlar la ejecución del programa

• paso a paso: ejecución instrucción por instrucción
  • resumen paso a paso: se ejecuta una instrucción, en el programa principal, cada vez que el programador lo solicita
  • detallado paso a paso: como el resumen paso a paso, excepto que el paso a paso también entra en las funciones
  • con temporización: a intervalos periódicos, se ejecuta una instrucción (esto ralentiza la ejecución del programa para que pueda ser seguido de cerca por el ojo humano)
• reinicio de la función actual (eliminar fotograma): cancelar la ejecución actual de la función actual e iniciar una nueva ejecución de la función actual
• volver: volver a la instrucción anterior, encontrar el estado anterior (característica bastante rara)

Herramientas para observar el estado del programa

• observación de una variable
• observación de un área de memoria
• observación de un registro de microprocesador
• observación de la pila de llamadas ( seguimiento )
• observación del código fuente con el punto de ejecución actual
• observación de código ensamblador (excepto lenguaje interpretado) con el punto de ejecución actual
• trace  : permite observar información en modo diferido, sin detener la ejecución del programa

Además, el depurador generalmente te permite modificar el estado del programa, cuando se detiene su ejecución:

• modificación de un registro
• modificación de una variable
• modificación de una zona de memoria

Depuración remota, depuración cruzada

La depuración cruzada o la depuración cruzada es para depurar un software de forma remota y, a menudo, para una estación de desarrollo de arquitectura de destino diferente.

Depurador de kernel

La depuración de un kernel o de un controlador de sistema operativo requiere herramientas adaptadas a esta tarea particularmente delicada. En particular, esta depuración generalmente se realiza de forma remota por enlace serie (pero a veces por Ethernet) porque el depurador toma el control total del kernel, la máquina de destino se vuelve inutilizable (se congela completamente en cada punto de interrupción).

Vea, por ejemplo, el depurador kgdb integrado en el kernel de Linux .

Depuradores conocidos

• adb, puente de depuración de Android  ;
• AntiC  ;
• bashdb, un depurador de shell Bourne-Again independiente del proyecto GNU;
• Broadway;
• CodeView , un depurador distribuido con la solución integrada Microsoft Visual Studio Debugger  ;
• DAEDALUS  ;
• DBX , un depurador distribuido con las primeras versiones del sistema Berkeley Unix  ;
• DUMA Detect Unintended Memory Access : la bifurcación de la cerca eléctrica;
• Cinta de depuración dinámica (DDT) y ODT;
• DuxDebugger : desensamblador del depurador para Windows de 64 bits;
• Cerca eléctrica  ;
• Firebug  ;
• GDB ( GNU Debugger ), el depurador del proyecto GNU  ; opcionalmente podemos asociarlo con gdbserver en depuración cruzada;
• CUDA GDB es la versión de gdb para el lenguaje de programación CUDA GPU;
• IDA The Interactive Disassembler  ;
• El depurador de Java, generalmente llamado JDB  ;
• kgdb , el depurador integrado en el kernel de Linux  ;
• ladebug , un depurador que se utilizó en el sistema operativo Tru64 UNIX  ;
• MacsBug  ;
• Mpatrol  ;
• OCamlDebug , el depurador de Objective Caml;
• OllyDbg  ;
• PE Explorer  ;
• Depuradores de Perl  ;
• Prism Parallel Debugger;
• Purificar  ;
• baño  ;
• SoftICE  ;
• Syser , un depurador Ring 0;
• SPlint  ;
• TMON;
• TotalView  ;
• Turbo Debugger  ;
• Valgrind  ;
• W32DASM;
• HP Wildebeest Debugger, también llamado HP WDB;
• WinDbg  ;
• ODB: Omniscient Debugger , depurador para Java que permite depurar código retrocediendo;
• xdb, un depurador formal utilizado a finales de la década de 1990 con el sistema operativo MPE / iX  (en)  ; este nombre también designa a un depurador Intel de la década de 2000, comúnmente llamado depurador Intel xdb  ;

Bibliografía

• Jonathan B. Rosenberg, Cómo funcionan los depuradores: algoritmos, estructuras de datos y arquitectura , John Wiley & Sons, ( ISBN  0-471-14966-7 )

Notas y referencias

1. (en) "  Ladebug Debugger Manual: Compaq Tru64 UNIX versión 5.1A o superior  " en tru64unix.compaq.com ,Junio ​​de 2001(consultado el 7 de diciembre de 2012 )
2. (en) "  Los depuradores de Perl  " en perl.org ,7 de diciembre de 2012(consultado el 7 de diciembre de 2012 )
3. (en) "  HP WDB  " en www2.hp.com ,7 de diciembre de 2012(consultado el 7 de diciembre de 2012 )