Bonnes pratiques de développement et débogage de programme Octobre en2007 langage C1 et / 40 Fort



Documents pareils
Conventions d écriture et outils de mise au point

Débogage de code* Mardi 13 décembre Romaric DAVID Université de Strasbourg - Direction Informatique Pôle HPC. hpc.unistra.

Plan global Outils de développement et compilation. Plan. Objectifs des outils présentés. IDE, GCC/Clang, ASAN, perf, valgrind, GDB.

1. Structure d un programme C. 2. Commentaire: /*..texte */ On utilise aussi le commentaire du C++ qui est valable pour C: 3.

Cours d Algorithmique-Programmation 2 e partie (IAP2): programmation 24 octobre 2007impérative 1 / 44 et. structures de données simples

Introduction au langage C

Programmation système I Les entrées/sorties

UE C avancé cours 1: introduction et révisions

Algorithmique et Programmation, IMA

Le langage C. Séance n 4

Brefs rappels sur la pile et le tas (Stack. / Heap) et les pointeurs

Bases de programmation. Cours 5. Structurer les données

Chapitre 1 : La gestion dynamique de la mémoire

INITIATION AU LANGAGE C SUR PIC DE MICROSHIP

TP1 : Initiation à Java et Eclipse

Les chaînes de caractères

Cours 1 : Introduction. Langages objets. but du module. contrôle des connaissances. Pourquoi Java? présentation du module. Présentation de Java

Introduction à la Programmation Parallèle: MPI

Initiation. àl algorithmique et à la programmation. en C

Introduction à la programmation orientée objet, illustrée par le langage C++ Patrick Cégielski

Programmation C. Apprendre à développer des programmes simples dans le langage C

1/24. I passer d un problème exprimé en français à la réalisation d un. I expressions arithmétiques. I structures de contrôle (tests, boucles)

Utiliser Dev-C++ .1Installation de Dev-C++ Table des matières

Compression de Données - Algorithme de Huffman Document de Conception

Présentation du langage et premières fonctions

Cours d initiation à la programmation en C++ Johann Cuenin

Tutoriel code::blocks

Cours intensif Java. 1er cours: de C à Java. Enrica DUCHI LIAFA, Paris 7. Septembre Enrica.Duchi@liafa.jussieu.fr

Arguments d un programme

Analyse de sécurité de logiciels système par typage statique

Environnements de développement (intégrés)

Une introduction à Java

Compilation (INF 564)

Programmation système de commandes en C

Chap III : Les tableaux

Processus! programme. DIMA, Systèmes Centralisés (Ph. Mauran) " Processus = suite d'actions = suite d'états obtenus = trace

Centre CPGE TSI - Safi 2010/2011. Algorithmique et programmation :

Les débordements de tampons et les vulnérabilités de chaîne de format 1

Seance 2: En respectant la méthode de programmation par contrat, implémentez les autres fonctions de jeu.

Outils pour la pratique


DE L ALGORITHME AU PROGRAMME INTRO AU LANGAGE C 51

UE Programmation Impérative Licence 2ème Année

Info0101 Intro. à l'algorithmique et à la programmation. Cours 3. Le langage Java

Notes du cours 4M056 Programmation en C et C++ Vincent Lemaire et Damien Simon

Le prototype de la fonction main()

Le langage C++ est un langage de programmation puissant, polyvalent, on serait presque tenté de dire universel, massivement utilisé dans l'industrie

Cours de C. Petits secrets du C & programmation avancée. Sébastien Paumier

Cours Programmation Système

Le langage C. Introduction, guide de reference

Table des matières PRESENTATION DU LANGAGE DS2 ET DE SES APPLICATIONS. Introduction

Les attaques par corruption de mémoire Synopsis Mickael Deloison 22/10/2008

Pensez à vous inscrire... si ce n est pas encore fait

Quelques éléments de compilation en C et makefiles

Cours 1 : La compilation

Eclipse atelier Java

Rappels d architecture

SUPPORT DE COURS. Langage C

Le Langage C Version 1.2 c 2002 Florence HENRY Observatoire de Paris Université de Versailles florence.henry@obspm.fr

Programmer en JAVA. par Tama

Cours d Algorithmique et de Langage C v 3.0

Java Licence Professionnelle CISII,

TP 1. Prise en main du langage Python

Utilisation d objets : String et ArrayList

COMPARAISONDESLANGAGESC, C++, JAVA ET

Programmation en langage C

Les structures de données. Rajae El Ouazzani

1 Description générale de VISFIELD

Programmation Objet Java Correction

Claude Delannoy. 3 e édition C++

Programmation C. J.-F. Lalande. 15 novembre 2012

Introduction à l algorithmique et à la programmation M1102 CM n 3

Programmation système en C/C++

Plan du cours. Historique du langage Nouveautés de Java 7

OS Réseaux et Programmation Système - C5

as Architecture des Systèmes d Information

AUVRAY Clément (168187) HOMBERGER Alexandre (186897) GLADE. Langages, outils et méthodes pour la programmation avancée Page 1 sur 12

Gestion mémoire et Représentation intermédiaire

Cours de Programmation Impérative: Zones de mémoires et pointeurs

1) Installation de Dev-C++ Téléchargez le fichier devcpp4990setup.exe dans un répertoire de votre PC, puis double-cliquez dessus :

L informatique en BCPST

Manuel d utilisation 26 juin Tâche à effectuer : écrire un algorithme 2

TP1. Outils Java Eléments de correction

Fiche d utilisation du logiciel. 1 - Installation. J. Thioulouse & D. Chessel

Notions fondamentales du langage C# Version 1.0

Guide d installation de SugarCRM Open Source version 4.5.1

INF 104 (SELC) Introduction au langage C

Plan du cours Cours théoriques. 29 septembre 2014

Introduction à MATLAB R

1. Structure d'un programme FORTRAN 95

Cours Informatique Master STEP

INTRODUCTION A JAVA. Fichier en langage machine Exécutable

BIRT (Business Intelligence and Reporting Tools)

Les structures. Chapitre 3

STAGE IREM 0- Premiers pas en Python

03/04/2007. Tâche 1 Tâche 2 Tâche 3. Système Unix. Time sharing

Machines virtuelles. Brique ASC. Samuel Tardieu Samuel Tardieu (ENST) Machines virtuelles 1 / 40

TwinCAT 3 C++ Création de modules C++ sous TwinCAT 3 VERSION : 1.0 / PH

Programmation impérative

Programmation Web. Madalina Croitoru IUT Montpellier

Transcription:

Bonnes pratiques de développement et débogage de programme en langage C et Fortran Sylvain Ferrand CMAP Octobre 2007 Bonnes pratiques de développement et débogage de programme Octobre en2007 langage C1 et / 40 Fort

Table des matières Les bonnes pratiques 1 Les bonnes pratiques 2 Débuggeur Présentation GDB DDD Valgrind Bonnes pratiques de développement et débogage de programme Octobre en2007 langage C2 et / 40 Fort

Les bonnes pratiques Remarques générales Le temps de débogage d un programme peut représenter jusqu à 80% du temps de developpement Mieux vaut connaitre quelque astuces pour les éviter et savoir les traquer! Bonnes pratiques de développement et débogage de programme Octobre en2007 langage C3 et / 40 Fort

Les bonnes pratiques Les bonnes pratiques Utilisez des conventions de nommage pour les variables, les constantes et les fonctions Constantes et variables globales en MAJUSCULE Eviter les noms trop proches les uns des autres Utiliser des noms courts et explicites Pour une variable de stockage : que contient-elle? Pour un tableau : que contient une case?... Bonnes pratiques de développement et débogage de programme Octobre en2007 langage C4 et / 40 Fort

Les bonnes pratiques Les bonnes pratiques Utilisez des conventions de nommage pour les variables, les constantes et les fonctions Constantes et variables globales en MAJUSCULE Eviter les noms trop proches les uns des autres Utiliser des noms courts et explicites Pour une variable de stockage : que contient-elle? Pour un tableau : que contient une case?... Bonnes pratiques de développement et débogage de programme Octobre en2007 langage C4 et / 40 Fort

Les bonnes pratiques Les bonnes pratiques Utilisez des conventions de nommage pour les variables, les constantes et les fonctions Constantes et variables globales en MAJUSCULE Eviter les noms trop proches les uns des autres Utiliser des noms courts et explicites Pour une variable de stockage : que contient-elle? Pour un tableau : que contient une case?... Bonnes pratiques de développement et débogage de programme Octobre en2007 langage C4 et / 40 Fort

Les bonnes pratiques Les bonnes pratiques Utilisez des conventions de nommage pour les variables, les constantes et les fonctions Constantes et variables globales en MAJUSCULE Eviter les noms trop proches les uns des autres Utiliser des noms courts et explicites Pour une variable de stockage : que contient-elle? Pour un tableau : que contient une case?... Bonnes pratiques de développement et débogage de programme Octobre en2007 langage C4 et / 40 Fort

Le coding style Les bonnes pratiques Pensez à bien indenter votre code Voici un exemple, en style Kernighan et Ritchie void truc() { if (x > y) { faire_un_truc(); } fin(); } Bonnes pratiques de développement et débogage de programme Octobre en2007 langage C5 et / 40 Fort

Les bonnes pratiques Le coding style (suite) Commentez raisonnablement et lisiblement, Bien décrire les arguments des fonctions Prévoir l exploitation par un outil de documentation automatique (ex: ROBOdoc) Eviter d indiquer le fonctionnemement du code dans les commentaire. Eviter de paraphraser le code Bonnes pratiques de développement et débogage de programme Octobre en2007 langage C6 et / 40 Fort

Les bonnes pratiques Le coding style (suite) Commentez raisonnablement et lisiblement, Bien décrire les arguments des fonctions Prévoir l exploitation par un outil de documentation automatique (ex: ROBOdoc) Eviter d indiquer le fonctionnemement du code dans les commentaire. Eviter de paraphraser le code Bonnes pratiques de développement et débogage de programme Octobre en2007 langage C6 et / 40 Fort

Les bonnes pratiques Le coding style (suite) Commentez raisonnablement et lisiblement, Bien décrire les arguments des fonctions Prévoir l exploitation par un outil de documentation automatique (ex: ROBOdoc) Eviter d indiquer le fonctionnemement du code dans les commentaire. Eviter de paraphraser le code Bonnes pratiques de développement et débogage de programme Octobre en2007 langage C6 et / 40 Fort

Les bonnes pratiques Le coding style (suite) Commentez raisonnablement et lisiblement, Bien décrire les arguments des fonctions Prévoir l exploitation par un outil de documentation automatique (ex: ROBOdoc) Eviter d indiquer le fonctionnemement du code dans les commentaire. Eviter de paraphraser le code Bonnes pratiques de développement et débogage de programme Octobre en2007 langage C6 et / 40 Fort

Les bonnes pratiques Le coding style (suite) Commentez raisonnablement et lisiblement, Bien décrire les arguments des fonctions Prévoir l exploitation par un outil de documentation automatique (ex: ROBOdoc) Eviter d indiquer le fonctionnemement du code dans les commentaire. Eviter de paraphraser le code Bonnes pratiques de développement et débogage de programme Octobre en2007 langage C6 et / 40 Fort

Les bonnes pratiques Des bugs classiques Les débordements de tableau Les problèmes d initialisation (généralement signalés par le compilateur) Les problèmes liés aux conversions implicites dans les expressions mathématiques Les typos : Commentaires mal fermés : a=b ; / t h i s i s a bug c=d ; / c=d w i l l never happen / Confusions entre test et assignation en C i f ( a=b ) c ; / a always equals b / Bonnes pratiques de développement et débogage de programme Octobre en2007 langage C7 et / 40 Fort

Les bonnes pratiques Des bugs classiques Les débordements de tableau Les problèmes d initialisation (généralement signalés par le compilateur) Les problèmes liés aux conversions implicites dans les expressions mathématiques Les typos : Commentaires mal fermés : a=b ; / t h i s i s a bug c=d ; / c=d w i l l never happen / Confusions entre test et assignation en C i f ( a=b ) c ; / a always equals b / Bonnes pratiques de développement et débogage de programme Octobre en2007 langage C7 et / 40 Fort

Les bonnes pratiques Des bugs classiques Les débordements de tableau Les problèmes d initialisation (généralement signalés par le compilateur) Les problèmes liés aux conversions implicites dans les expressions mathématiques Les typos : Commentaires mal fermés : a=b ; / t h i s i s a bug c=d ; / c=d w i l l never happen / Confusions entre test et assignation en C i f ( a=b ) c ; / a always equals b / Bonnes pratiques de développement et débogage de programme Octobre en2007 langage C7 et / 40 Fort

Les bonnes pratiques Des bugs classiques Les débordements de tableau Les problèmes d initialisation (généralement signalés par le compilateur) Les problèmes liés aux conversions implicites dans les expressions mathématiques Les typos : Commentaires mal fermés : a=b ; / t h i s i s a bug c=d ; / c=d w i l l never happen / Confusions entre test et assignation en C i f ( a=b ) c ; / a always equals b / Bonnes pratiques de développement et débogage de programme Octobre en2007 langage C7 et / 40 Fort

Les bonnes pratiques Eviter les structures obsolètes du Fortran Banir le typage implicite, utilisez implicite none Eviter les instructions do label...continue et préférer les boucles F90 (mais universelles): do...enddo et dowhile...enddo Eviter les if logiques et toute les structures utilisant des étiquettes. Utilisez la structure if...then...endif Oublier les instructions archaïques goto, continue, entry, equivalence Bonnes pratiques de développement et débogage de programme Octobre en2007 langage C8 et / 40 Fort

Les bonnes pratiques Eviter les structures obsolètes du Fortran Banir le typage implicite, utilisez implicite none Eviter les instructions do label...continue et préférer les boucles F90 (mais universelles): do...enddo et dowhile...enddo Eviter les if logiques et toute les structures utilisant des étiquettes. Utilisez la structure if...then...endif Oublier les instructions archaïques goto, continue, entry, equivalence Bonnes pratiques de développement et débogage de programme Octobre en2007 langage C8 et / 40 Fort

Les bonnes pratiques Eviter les structures obsolètes du Fortran Banir le typage implicite, utilisez implicite none Eviter les instructions do label...continue et préférer les boucles F90 (mais universelles): do...enddo et dowhile...enddo Eviter les if logiques et toute les structures utilisant des étiquettes. Utilisez la structure if...then...endif Oublier les instructions archaïques goto, continue, entry, equivalence Bonnes pratiques de développement et débogage de programme Octobre en2007 langage C8 et / 40 Fort

Les bonnes pratiques Eviter les structures obsolètes du Fortran Banir le typage implicite, utilisez implicite none Eviter les instructions do label...continue et préférer les boucles F90 (mais universelles): do...enddo et dowhile...enddo Eviter les if logiques et toute les structures utilisant des étiquettes. Utilisez la structure if...then...endif Oublier les instructions archaïques goto, continue, entry, equivalence Bonnes pratiques de développement et débogage de programme Octobre en2007 langage C8 et / 40 Fort

Les bonnes pratiques Les options de compilation GCC -Wall Active tous les avertissements standards -Wextra Encore d autres options d avertissement gfortran -Wall Active tous les avertissements standards -Wimplicit Avertissement sur les typages implicites ifort -warn all Active tous les avertissements standards Bonnes pratiques de développement et débogage de programme Octobre en2007 langage C9 et / 40 Fort

Table des matières Débuggeur 1 Les bonnes pratiques 2 Débuggeur Présentation GDB DDD Valgrind Bonnes pratiques de développement et débogage de programme Octobren2007 langage10 C et / 40 Fort

Table des matières Débuggeur Présentation 1 Les bonnes pratiques 2 Débuggeur Présentation GDB DDD Valgrind Bonnes pratiques de développement et débogage de programme Octobren2007 langage11 C et / 40 Fort

Débuggeur Présentation Qu est ce qu un débogueur? Le débogueur est destiné à aider le programmeur à détecter des bogues dans un programme. Il permet en général d exécuter le programme tout en permettant de : exécuter le programme pas à pas contrôler l état de la mémoire et des variables agir sur la mémoire définir des points d arrêts... Bonnes pratiques de développement et débogage de programme Octobren2007 langage12 C et / 40 Fort

Débuggeur Présentation Panorama des debugeurs du marché Sous Windows (Microsoft) Visual Studio Debugger (codeview) Sous Linux et unix gdb, dbx, ddd (Intel) IDB syntaxe compatible dbx et gdb Purify, valgrind Débugueurs parrallèles (Totalview technologie) Totalview (Allinea) Distributed Debugging Tool (DDT) (Portland) pgdbg (Microsoft) Visual studio Bonnes pratiques de développement et débogage de programme Octobren2007 langage13 C et / 40 Fort

Table des matières Débuggeur GDB 1 Les bonnes pratiques 2 Débuggeur Présentation GDB DDD Valgrind Bonnes pratiques de développement et débogage de programme Octobren2007 langage14 C et / 40 Fort

Débuggeur GDB Le GNU Debugger "GDB" Le débogueur standard du projet GNU Fonctionne sur un grand nombre d UNIX et d architechtures Logiciel en ligne de commande souvent appellé par d autre programmes (Eclipse, DDD) Deux modes d utilisation Déboggage d un programme en cours d exécution Déboggage post-mortem (fichier core) Bonnes pratiques de développement et débogage de programme Octobren2007 langage15 C et / 40 Fort

Débuggeur GDB Le GNU Debugger "GDB" Le débogueur standard du projet GNU Fonctionne sur un grand nombre d UNIX et d architechtures Logiciel en ligne de commande souvent appellé par d autre programmes (Eclipse, DDD) Deux modes d utilisation Déboggage d un programme en cours d exécution Déboggage post-mortem (fichier core) Bonnes pratiques de développement et débogage de programme Octobren2007 langage15 C et / 40 Fort

Débuggeur GDB Le GNU Debugger "GDB" Le débogueur standard du projet GNU Fonctionne sur un grand nombre d UNIX et d architechtures Logiciel en ligne de commande souvent appellé par d autre programmes (Eclipse, DDD) Deux modes d utilisation Déboggage d un programme en cours d exécution Déboggage post-mortem (fichier core) Bonnes pratiques de développement et débogage de programme Octobren2007 langage15 C et / 40 Fort

Débuggeur GDB Le GNU Debugger "GDB" Le débogueur standard du projet GNU Fonctionne sur un grand nombre d UNIX et d architechtures Logiciel en ligne de commande souvent appellé par d autre programmes (Eclipse, DDD) Deux modes d utilisation Déboggage d un programme en cours d exécution Déboggage post-mortem (fichier core) Bonnes pratiques de développement et débogage de programme Octobren2007 langage15 C et / 40 Fort

Débuggeur GDB Premiers pas avec GDB Compiler avec l option -g pour inclure les symboles de débogage (dans un makefile, mettre en général CFLAGS=-g ) lancer le programme via gdb : gdb./a.out [ sylvain@pyramides sources ] $ gdb. / a. out ( gdb ) l i s t 1,12 1 # include <stdio. h> 2 3 i n t main ( i n t argc, char argv [ ] ) 4 { 5 i n t x, y ; 6 7 p r i n t f ( " Bonjour! \ n " ) ; 8 x =2; 9 y =3; 10 p r i n t f ( " Le p r o d u i t x y vaut %d \ n ", x y ) ; 11 r e t u r n 0; 12 } ( gdb ) Bonnes pratiques de développement et débogage de programme Octobren2007 langage16 C et / 40 Fort

Débuggeur une session GDB simple GDB ( gdb ) run Starting program : / home / sylvain / enseignement / cours_debug / sources / a. out Bonjour! Le p r o d u i t de x et y vaut 6 Program exited normally. ( gdb ) break 9 Breakpoint 1 at 0x80483e3 : f i l e exemple1. c, l i n e 9. ( gdb ) run Starting program : / home / sylvain / enseignement / cours_debug / sources / a. out Bonjour! Breakpoint 1, main ( argc =1, argv=0xbff05f74 ) at exemple1. c :9 9 y =3; ( gdb ) p r i n t x $1 = 2 ( gdb ) set v a r i a b l e x = 12 ( gdb ) p r i n t x $3 = 12 ( gdb ) next 10 p r i n t f ( " Le p r o d u i t de x et y vaut %d \ n ", x y ) ; ( gdb ) next Le p r o d u i t de x et y vaut 36 11 r e t u r n 0; ( gdb ) Bonnes pratiques de développement et débogage de programme Octobren2007 langage17 C et / 40 Fort

Débuggeur GDB Les commandes utiles de GDB run command-line-arguments Exécute le programme avec les arguments spécifiés break place Place un point d arrêt au nom de fonction indiqué ou au numéro de ligne help command step Exécute l instruction de la ligne courante et s arrête à la suivante next Idem, mais exécute la fonction si c est un appel de fonction finish Poursuit l exécution jusqu à la fin de la fonction Continue Poursuit l exécution jusqu à un point d arrêt print E Imprime la valeur de la variable ou de l expression quit Quitte gdb Bonnes pratiques de développement et débogage de programme Octobren2007 langage18 C et / 40 Fort

Table des matières Débuggeur DDD 1 Les bonnes pratiques 2 Débuggeur Présentation GDB DDD Valgrind Bonnes pratiques de développement et débogage de programme Octobren2007 langage19 C et / 40 Fort

Débuggeur DDD DDD DDD (Data Display Debugger) est une interface qui appelle un compilateur de bas niveau GDB, DBX et idb. Il permet de visualiser simultanément : le code source l état de la mémoire et les structures de données sous forme graphique Bonnes pratiques de développement et débogage de programme Octobren2007 langage20 C et / 40 Fort

Débuggeur DDD Choix du débogueur de bas niveau Si vous lancez ddd sans argument, vous utiliserez par defaut le débogueur gdb. Pour lancer DDD avec idb (debuggeur Intel), il faut utiliser la commande : ddd -debugger "/full/path/to/idb -gdb" Bonnes pratiques de développement et débogage de programme Octobren2007 langage21 C et / 40 Fort

Débuggeur DDD Présentation de l interface de DDD Bonnes pratiques de développement et débogage de programme Octobren2007 langage22 C et / 40 Fort

Débuggeur DDD Premières manipulations avec DDD Dans le shell : Compilation : gcc -g test.c Exécuter ddd avec l exécutable en argument : ddd./a.out Une fois DDD lancé : Pour placer un point d arrêt : Double clic devant la ligne Pour exécuter le programme : Program => Run Pour visualiser une variable : Placer la souris sur la variable Pour afficher une variable : Double clic sur le nom de variable Pour fixer une valeur : Sélectionner la variable puis set Bonnes pratiques de développement et débogage de programme Octobren2007 langage23 C et / 40 Fort

Débuggeur Visualiser un tableau alloué statiquement (dans la pile) DDD En Fortran : integer x(10) En C : int x[10] Un simple double clic sur la variable affiche les 10 éléments du tableau. Bonnes pratiques de développement et débogage de programme Octobren2007 langage24 C et / 40 Fort

Débuggeur Visualiser un tableau alloué dynamiquement (dans le tas) DDD En C : int * dyn; dyn = (int*) calloc (10,sizeof(int)); Dyn est un pointeur : graph display *dyn affiche la valeur du premier élément graph display *dyn@10 affiche les 10 éléments En fortran 90 : INTEGER, DIMENSION(:), ALLOCATABLE :: a ALLOCATE( a(10) ) Avec ifort puis idb (debugueur intel), display a affiche correctement le tableau. Par contre gfortran+gdb ne permettent pas de le visualiser actuellement. Bonnes pratiques de développement et débogage de programme Octobren2007 langage25 C et / 40 Fort

Débuggeur Visualiser une liste chaînée (Programme : liste.c) DDD i n t main ( ) { 2 typedef struct person_struct { char name ; 4 i n t age ; struct person_struct next ; 6 struct person_struct prev ; } person_t ; 8 person_t start, pers, temp ; 0 char names [ ] = { " Linus Torvalds ", " Alan Cox ", " Rik van R i e l " } ; i n t ages [ ] = {30, 31, 32}; 2 i n t count ; / Temporary counter / 4 s t a r t = ( person_t ) malloc ( sizeof ( person_t ) ) ; s t a r t >name = names [ 0 ] ; 6 s t a r t >age = ages [ 0 ] ; start >prev = NULL ; 8 start >next = NULL ; pers = s t a r t ; 0 for ( count =1; count < 3; count++) { 2 temp = ( person_t ) malloc ( sizeof ( person_t ) ) ; temp >name = names [ count ] ; 4 temp >age = ages [ count ] ; pers >next = temp ; 6 temp >prev = pers ; pers = temp ; 8 } temp >next = NULL ; 0 return 0; } Bonnes pratiques de développement et débogage de programme Octobren2007 langage26 C et / 40 Fort

Débuggeur DDD Liste chaînée Exécutons ce programme dans le débogueur : Plaçons un point d arrêt avant la boucle for. Visualisons la variable start Continuons dans la boucle avec next Continuons à visualiser la liste chaînée en cliquant sur les adresses next Bonnes pratiques de développement et débogage de programme Octobren2007 langage27 C et / 40 Fort

Débuggeur DDD Fonctions avancées Voici d autres fonctions de DDD Visualiser la pile des appels des fonctions : Status puis Backtrace Tracer des graphiques avec les données : Sélectionner une variable tableau puis cliquer plot Points d arrêt conditionnels : Sur un point d arrêt, clic droit propriété. La syntaxe est celle des tests en C Bonnes pratiques de développement et débogage de programme Octobren2007 langage28 C et / 40 Fort

Débuggeur DDD TP - Un peu de pratique Observez le programme dddbug.c. Ce programme prend un nombre indéfini d arguments numériques et les affiche triés par ordre croissant. Cependant ce programme est buggé... Essayez de mettre en évidence le problème (indication : essayez des grands nombres) Déroulez le programme dans DDD pour comprendre ce qui se passe Bonnes pratiques de développement et débogage de programme Octobren2007 langage29 C et / 40 Fort

Débuggeur Pour aller plus loin - Analyse d un buffer overflow DDD Le dépassement de tampon est un bug très classique pouvant avoir des conséquences graves pour la sécurité du système en permettant d exécuter du code avec les droits de l utilisateur. La pile est une partie de la mémoire disponible pour stocker les variables locales pour un programme. C est une file LIFO où s empilent les variables. Si une variable déborde sur la pile, il est alors possible de modifier d autres variables ou l adresse de retour d une fonction. Bonnes pratiques de développement et débogage de programme Octobren2007 langage30 C et / 40 Fort

Stack buffer overflow Débuggeur DDD Voici une example de code apparemment anodin mais présentant un danger d overflow : void foo ( char bar ) { char c [ 1 2 ] ; s t r c p y ( c, bar ) ; / / no bounds checking... } i n t main ( i n t argc, char argv ) { foo ( argv [ 1 ] ) ; } Remarquez que l on ne vérifie pas la taille de la chaîne prise en argument du programme. Bonnes pratiques de développement et débogage de programme Octobren2007 langage31 C et / 40 Fort

Débuggeur DDD Stack buffer overflo - le principe Voici la structure de la pile lors de l exécution de la fonction foo() : Le système place sur la pile : d abord les arguments de la fonction (ici un pointeur) puis l adresse de retour vers la fonction appelante puis l adresse du début précédant de la trame (=la portion de pile en cours) puis les variables locales Bonnes pratiques de développement et débogage de programme Octobren2007 langage32 C et / 40 Fort

Débuggeur DDD Stack buffer overflow - le principe Essayons d exécuter le programme avec différents arguments Si la chaîne passée en argument est courte (jusqu à 11 caratères), le programme s exécute sans erreur Si on augmente la longueur de la chaîne on obtient le message segmentation fault. La chaîne copiée par strcpy peut alors écraser d éventuelles variables, les arguments de la fonction, jusqu à l adresse de retour. Bonnes pratiques de développement et débogage de programme Octobren2007 langage33 C et / 40 Fort

Débuggeur DDD Stack buffer overflow - Avec DDD Exécutons le programme overflow.c dans DDD. Placez un point d arrêt sur le printf de la fonction Visualisez les variables a, c et bar pour 11 puis 12 puis 20 fois la lettre A passées en argument Observez l état du registre eip avec Status/registers en sortant de la fonction. Ce registre contient l adresse de retour de la fonction récupérée sur la pile. Il est possible de visualiser l état de la mémoire avec data/memory en choisissant par exemple 40 octets à partir de *c Bonnes pratiques de développement et débogage de programme Octobren2007 langage34 C et / 40 Fort

Table des matières Débuggeur Valgrind 1 Les bonnes pratiques 2 Débuggeur Présentation GDB DDD Valgrind Bonnes pratiques de développement et débogage de programme Octobren2007 langage35 C et / 40 Fort

Débuggeur Valgrind Une autre approche : Valgrind Valgrind est un ensemble d outils pour le débogage de programmes. Le module le plus important est Memcheck. Valgrind exécute le programme dans une machine virtuelle pour en analyser le fonctionnement en cours d exécution. Memcheck contrôle en particulier : que l on n utilise pas de valeurs ou de pointeurs non initialisés que l on ne lit pas de zones mémoires libérées que l on ne lit pas de zones mémoires en dehors de ce que l on a alloué que l on n oublie pas de libérer la mémoire allouée. Bonnes pratiques de développement et débogage de programme Octobren2007 langage36 C et / 40 Fort

Débuggeur Valgrind Exemple d utilisation - Détecter une fuite de mémoire Compilez le programme suivant avec l option -g # i n c l u d e < s t d l i b. h> i n t main ( ) { char x = malloc ( 100); / or, in C++, " char x = new char [100] / r e t u r n 0; } Exécutez le programme dans valgrind [ sylvain@pyramides sources ] $ valgrind tool=memcheck. / exemple ==2330== 100 bytes i n 1 blocks are d e f i n i t e l y l o s t i n loss record 1 of 1 ==2330== at 0x1B900DD0 : malloc ( vg_replace_malloc. c :131) ==2330== by 0x804840F : main ( example1. c : 5 ) Valgrind a détecté un block de 100 octets non libérés Bonnes pratiques de développement et débogage de programme Octobren2007 langage37 C et / 40 Fort

Débuggeur Valgrind Exemple d utilisation - Accés en dehors d un tableau Compilez le programme suivant avec l option -g # i n c l u d e < s t d l i b. h> i n t main ( ) { char x = malloc ( 1 0 ) ; x [ 1 0 ] = a ; r e t u r n 0; } Exécutez le programme dans valgrind... Commentez Attention la même erreur avec un tableau statique (alloué dans la pile) ne sera pas détectée! Bonnes pratiques de développement et débogage de programme Octobren2007 langage38 C et / 40 Fort

Débuggeur Valgrind Exemple d utilisation - Utilisation de variables non initialisées Compilez le programme suivant avec l option -g # include <stdio. h> i n t main ( ) { i n t x ; i f ( x == 0) { p r i n t f ( " X i s zero " ) ; } r e t u r n 0; } Exécutez le programme dans valgrind... Commentez Bonnes pratiques de développement et débogage de programme Octobren2007 langage39 C et / 40 Fort

Débuggeur Valgrind Références Linux kernel coding style http: //kerneltrap.org/files/jeremy/codingstyle.txt ROBOdoc http://www.xs4all.nl/~rfsber/robo/robodoc.html GDB manual : http://sourceware.org/gdb/documentation/ DDD manual : http://www.gnu.org/manual/ddd/html_mono/ddd.html Un tutorial Totalview : http: //www.llnl.gov/computing/tutorials/totalview/ Buffer overflow sur wikipédia (attention à l erreur dans le diagramme de la pile) : http: //en.wikipedia.org/wiki/stack_buffer_overflow Bonnes pratiques de développement et débogage de programme Octobren2007 langage40 C et / 40 Fort