Rim Chaabane. Analyse dynamique de ... - UniversitÃ© Paris 8

More documents

Recommendations

Info

Limitation: longjmp() not supported Fonction standard inconnue car Limitation: longjmp() not supported car : Nb d'arguments incorrect Limitation: longjmp() not supported = (car (quote (a b c))) ? bonjour Atome bonjour, valeur indefinie Limitation: longjmp() not supported = undefined ? (cdr '(a b c)) Elt inconnu en position fonctionnelle 5 Limitation: longjmp() not supported Liste non lambda en position fonctionnelle 5 Limitation: longjmp() not supported Fonction standard inconnue cdr Limitation: longjmp() not supported cdr : Nb d'arguments incorrect Limitation: longjmp() not supported = (cdr (quote (a b c))) ? (exit) Elt inconnu en position fonctionnelle 25 Limitation: longjmp() not supported Liste non lambda en position fonctionnelle 25 Limitation: longjmp() not supported Fonction standard inconnue exit Limitation: longjmp() not supported exit : Nb d'arguments incorrect Limitation: longjmp() not supported = (exit) ? !!! Middle of loop compilation run. signal(2) !!! Break in the middle of compiled statement. signal(2) FILE:print.c LINE:24 cint> exit Bye... (try 'qqq' if still running) Message d échappement de Cint On remarque alors que Cint supporte l appel d un programme avec plusieurs fichiers sans avoir eu à modifier la syntaxe du programme source. Mais nous remarquons également que le programme ne supporte pas la fonction longjmp() appartenant au fichier d en-tête « setjmp.h », ce qui cause une mauvaise exécution du programme LLisp. On peut voit sur la trace d exécution de LLisp ci-dessus que la commande exit, qui permet de quitter l interprète lisp, n est pas prise en compte par Cint étant donné que les initialisations du programme LLisp ne sont pas effectuées correctement, de sorte qu aucune fonction (car, cdr, exit, ..) n est reconnue. Cet interprète présente quelques avantages surtout dans sa nouvelle version dont plusieurs bugs ont été corrigés. Mais comme il a été dit en début de sa présentation, Cint ne traite que 95% du langage ANSI/ ISO C et cela s est de plus vérifié dans le dernier exemple ; c est pourquoi je ne l ai pas testé plus en avant. 3.3. JFL C Ce programme [LUC 05] propose une interface graphique pour saisir les instructions en pseudo langage C. Le concepteur du programme, Jean-François Lucas, a essentiellement orienté son projet pour l apprentissage de la programmation aux jeunes élèves avec de simples fonctions prédéfinies permettant de déplacer une tortue à l écran telles que : av(x) pour un déplacement de x pixels vers l avant, dt(x) pour un déplacement de x pixels vers la droite, td/tg(y) pour 28
Chapitre 3 Les interprètes C existants un déplacement de y degrés vers la droite/gauche. On peut également y charger des programmes écrits en pseudo C. Cet interprète C comporte une interface graphique assez intéressante que l ont peut voir à la figure 12 : un champ de saisie à gauche avec en dessous une fenêtre d affichage des messages d erreurs et les commandes exécutées et également une fenêtre pour la visualisation de l exécution des commandes à droite. Figure 12. Aperçu de l interface JFL C Figure 13. Exécution d un programme en pseudo langage C dans JFL C 29
Page 1: Rapport de stage de DEA Intelligenc
Page 5: Résumé Ce sujet se place dans le
Page 8 and 9: 6.2.1. L instruction if............
Page 10 and 11: Chapitre 1 - Introduction Le monito
Page 12 and 13: Analyse dynamique de programmes C 4
Page 14 and 15: avec un ensemble de propriétés qu
Page 17 and 18: Analyse dynamique de programmes C C
Page 19 and 20: Chapitre 2 Approche de la probléma
Page 25 and 26: Chapitre 3 Les interprètes C exist
Page 27: Chapitre 3 Les interprètes C exist
Page 37 and 38: Chapitre 4 Exploration de l interpr
Page 45 and 46: Analyse dynamique de programmes C 5
Page 47 and 48: Analyse dynamique de programmes C e
Page 49 and 50: Chapitre 5 - Description technique
Page 61 and 62: Chapitre 6 - Exemples de résultats
Page 71 and 72: Chapitre 7 - Comparaison avec l exi
Page 77 and 78: Chapitre 8 - Conclusion et perspect
Page 79 and 80:
Chapitre 8 - Conclusion et perspect
Page 82 and 83:
Analyse dynamique de programmes C B
Page 84 and 85:
Analyse dynamique de programmes C [
Page 86 and 87:
Analyse dynamique de programmes C A
Page 88 and 89:
Page 90 and 91:
Analyse dynamique de programmes C F
Page 92 and 93:
Page 94 and 95:
Page 96 and 97:
Page 98 and 99:
Page 100 and 101:
Page 102 and 103:
Analyse dynamique de programmes C 1
Page 104 and 105:
Page 106 and 107:
Page 108 and 109:
Page 110 and 111:
Page 112 and 113:
Page 114 and 115:
Page 116 and 117:
Page 118 and 119:
Page 120 and 121:
Page 122 and 123:
Page 124 and 125:
Page 126:
This document was created with Win2
show all

Rim Chaabane. Analyse dynamique de ... - UniversitÃ© Paris 8

Create successful ePaper yourself

Delete template?

Save as template?