Depurador

Depurador

Em formação

Modelo	Tipo de software ( in )

Um depurador (Inglês depurador ) ou depurador (versão francesa bug) é software que ajuda um desenvolvedor analisar um programa erros . Para fazer isso, ele permite que você execute o programa passo a passo - ou seja, na maioria das vezes linha por linha -, para exibir o valor das variáveis a qualquer momento e para configurar pontos. Pare nas condições ou no programa linhas.

Esta é a aplicação para programação de computador do processo de solução de problemas .

usar

O programa a ser depurado é executado através do depurador e funciona normalmente. O depurador oferece então ao programador a possibilidade de observar e controlar a execução do programa, permitindo-lhe por vários meios observá-la, interrompê-la (para interromper a execução do programa) e alterá-la. Por exemplo, a pilha de execução e o conteúdo das variáveis ​​na memória podem ser observados, e o valor das variáveis ​​pode ser alterado para alterar o fluxo de controle do programa para, por exemplo, determinar a causa de uma falha.

Quando a execução do programa é interrompida, o depurador exibe a posição de execução atual no código-fonte original para depuração formal  (em) e depuração de nível de origem. O depurador de baixo nível ou de máquina mostra a linha desmontada .

Muitos depuradores permitem, além de observar o estado dos registros do processador e da memória, modificá-los antes de devolver o controle ao programa depurado. Eles podem então ser usados ​​para localizar certas proteções de software e desativá-las, levando ao design de um crack . Assim, alguns softwares, sabendo como funcionam os depuradores e querendo evitar tais modificações, implementam truques anti-depuração .

Técnicas

As ferramentas oferecidas pelos depuradores dependem essencialmente da linguagem de programação (usada para desenvolver o programa a ser depurado) para a qual foi projetada. No entanto, a grande maioria dos depuradores oferece ferramentas semelhantes.

• comando de parada manual: o programador pode decidir a qualquer momento parar a execução
• ponto de interrupção  : colocado em um local específico no programa (geralmente no código-fonte), ele diz ao depurador para interromper a execução quando chegar a esse local
• ponto de interrupção condicionado  : como o ponto de interrupção, mas com uma condição adicional (como o número de passagens neste ponto de interrupção, por exemplo)
• ponto de observação (watch): usado para parar a execução do programa na condição de modificação de uma variável

Ferramentas para controlar a execução do programa

• passo a passo: instrução de execução por instrução
  • resumo passo a passo: uma instrução é executada, no programa principal, cada vez que o programador a solicita
  • detalhado passo a passo: como o resumo passo a passo, exceto que o passo a passo também entra nas funções
  • com temporização: em intervalos periódicos, uma instrução é executada (isso retarda a execução do programa para que possa ser seguido de perto pelo olho humano)
• reinício da função atual (drop frame): abortar a execução atual da função atual e iniciar uma nova execução da função atual
• voltar: volte para a instrução anterior, encontrando o estado anterior (recurso bastante raro)

Ferramentas para observar o status do programa

• observação de uma variável
• observação de uma área de memória
• observação de um registro de microprocessador
• observação da pilha de chamadas ( backtrace )
• observação do código-fonte com o ponto de execução atual
• observação do código de montagem (exceto linguagem interpretada) com o ponto atual de execução
• trace  : permite observar a informação em modo diferido, sem interromper a execução do programa

Além disso, o depurador geralmente permite que você modifique o estado do programa, quando sua execução é interrompida:

• modificação de um registro
• modificação de uma variável
• modificação de uma zona de memória

Depuração remota, depuração cruzada

A depuração cruzada ou depuração cruzada serve para depurar um software remoto e geralmente para uma estação de desenvolvimento de arquitetura de destino diferente.

Kernel Debugger

A depuração de um kernel ou driver do sistema operacional requer ferramentas adaptadas a essa tarefa particularmente sensível. Em particular, essa depuração geralmente é feita remotamente por link serial (mas às vezes por Ethernet) porque o depurador assumindo o controle total do kernel, a máquina de destino torna-se inutilizável (congela completamente em cada ponto de interrupção).

Veja, por exemplo, o depurador kgdb embutido no kernel Linux .

Depuradores conhecidos

• adb, Android Debug Bridge  ;
• AntiC  ;
• bashdb, um depurador de shell Bourne-Again independente do projeto GNU;
• Broadway;
• CodeView , um depurador distribuído com a solução integrada Microsoft Visual Studio Debugger  ;
• DAEDALUS  ;
• DBX , um depurador distribuído com as primeiras versões do sistema Berkeley Unix  ;
• DUMA Detectar acesso não intencional à memória - a bifurcação da cerca elétrica;
• Fita de depuração dinâmica (DDT) e ODT;
• DuxDebugger - Debugger Disassembler para Windows 64-bit;
• Cerca Elétrica  ;
• Firebug  ;
• GDB ( GNU Debugger ), o depurador do projeto GNU  ; podemos opcionalmente associá-lo ao gdbserver na depuração cruzada;
• CUDA GDB é a versão do gdb para a linguagem de programação CUDA GPU;
• IDA, o desmontador interativo  ;
• O Java Debugger, geralmente chamado de JDB  ;
• kgdb , o depurador embutido no kernel do Linux  ;
• ladebug , um depurador usado no sistema operacional Tru64 UNIX  ;
• MacsBug  ;
• Mpatrol  ;
• OCamlDebug , o depurador Objective Caml;
• OllyDbg  ;
• PE Explorer  ;
• Depuradores Perl  ;
• Depurador Prism Parallel;
• Purificar  ;
• banheiro  ;
• SoftICE  ;
• Syser , um depurador Ring 0;
• SPlint  ;
• TMON;
• TotalView  ;
• Turbo Debugger  ;
• Valgrind  ;
• W32DASM;
• HP Wildebeest Debugger, também chamado de HP WDB;
• WinDbg  ;
• ODB: Omniscient Debugger , depurador para Java que permite depurar código voltando;
• xdb um depurador formal usado no final da década de 1990 no sistema operacional MPE / iX  (en)  ; esse nome também designa um depurador Intel da década de 2000, comumente chamado de depurador Intel xdb  ;

Bibliografia

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

Notas e referências

1. (en) "  Manual do depurador Ladebug: Compaq Tru64 UNIX versão 5.1A ou superior  " em tru64unix.compaq.com ,Junho de 2001(acessado em 7 de dezembro de 2012 )
2. (em) "  The Perl Debugger (s)  " em perl.org ,7 de dezembro de 2012(acessado em 7 de dezembro de 2012 )
3. (em) "  HP WDB  " em www2.hp.com ,7 de dezembro de 2012(acessado em 7 de dezembro de 2012 )