Myriad Blog 1.3.0 Thursday, Dec 18th, 2014 at 11:25pm 

Technical Thursday, Nov 20th, 2014 at 04:54pm
PDFtoMusic 1.5.0 (Technique)

 
 
Attention, ce billet est plutôt technique. La dernière partie nécessite de connaître le langage C.
 
Nous avons enfin trouvé l'erreur sur laquelle nous nous cassions les dents depuis plusieurs jours !
 
Comme nous l'avions déduit, il s'agissait de l'utilisation d'une variable non initialisée, dont la valeur était donc aléatoire, et qui conditionnait la logique de la détermination du type d'accord.
En conformité avec la loi de Murphy, dès que nous ajoutions dans le programme un test nous permettant de vérifier nos calculs, l'erreur ne se produisait plus.
 
Les symptômes nous ont cependant permis de réduire notre champ de recherche à seulement quelques fonctions, et là, bingo ! Un calcul sur une variable "score" non initialisée.
Il a suffi d'ajouter 2 caractères seulement, et changer :
float score;
par
float score=0;
pour que tout fonctionnne correctement.  
 
Afin de nous assurer qu'il ne restait pas d'autres petites nuisances comme celle-ci dans nos programmes, nous avons soigneusement configuré notre compilateur pour qu'il détecte ce genre de cas et nous permette de les vérifier un à un.
 
________________

 
Pour les programmeurs sous Windows, il faut activer les alertes de niveau 4. Mais à ce moment-là, on est inondé de milliers de messages anxiogènes portant sur des détails sans importance.  
Nous avons donc répertorié une à une puis masqué les alertes nous paraissant inutiles.  
En voici la liste, dans Visual Studio Express 2012
 4214;4206;4057;4200;4129;4390;4125;4245;4702;4706;4310;4389;4005;4127;41 89;4505;4100;4121;4068;4273;4244;4305;4996;4309;4018;4805;4101
(celle qui nous intéresse et ne doit donc pas être masquée est l'alerte n° 4701)
 
Ainsi configuré, si on compile cette fonction:
 
short fonction(short a)
{
short b,c;
if(a) b=c=1;
else b=0;
b=b+c;
return(b);
}

 
le compilateur inscrit à juste titre une alerte disant que la variable c peut être utilisée sans être initialisée.
En effet, si la variable d'entrée a est non nulle, b et c recevront la valeur 1, et le calcul b+c vaudra 2.
Mais si la variable a est nulle, c ne reçoit aucune valeur, et le calcul b+c est indéterminé.
 
Nous avons donc activé cette option et recompilé entièrement PDFtoMusic et Harmony Assistant.  
Nous avons obtenu une centaine d'alertes pour le premier et plus de 600 pour le second !
 
Autant d'erreurs potentielles dans ces programmes ? Non, car le compilateur trouve énormément de "faux positifs".
Sa logique n'est pas très poussée, aussi certains cas ne peuvent pas être détectés correctement.
Par exemple, si on modifie la fonction précédente en :
 
short fonction(short a)
{
short b,c;
 
if(a) b=c=1;
else b=0;
if(b) b=b+c;
return(b);
}

 
Le compîlateur va prévenir qu'il peut y avoir un usage de c non initialisée. Mais c'est faux. Pour que c ne soit pas initialisé, il faut que b soit nul. Or, dans ce cas, le calcul n'est pas effectué.
C'est donc un faux positif.
 
Une variante est:
 
short fonction(short a)
{
short b;
 
if(a) b=1;
if(a) return(b);
return(0);
}

 
Le compilateur ne se rend pas compte que c'est le même test qui positionne b et qui l'utilise par la suite. Là aussi, alerte qui n'a pas lieu d'être.
En réalité, les cas sont beaucoup plus complexe, et chacun d'entre eux nous demande au moins 30 secondes à 1 minute de réflexion pour nous assurer qu'il n'y a pas de vraie erreur.
Pour l'instant, sur les 300 traités, nous n'en avons trouvé que 2 ou 3 de potentiellement dommageables, et encore ils ne surviennent que dans des opérations très rares.
 
Mais, par contre, le compte est facile à faire. 600 vérifications, à 1 mn par vérification, cela fait 10 heures consécutives de réflexion intense.  
Il faut commence par nous assurer qu'il nous reste assez de paracétamol.
by Olivier Guillion
 3 comments.


Full view
Reduced view
Most recent first
Oldest first
All
Didier Guillion
Olivier Guillion
Sylvie Ricard
All
Dev News
Technical
Mood
Memories
Myriad Life
To be seen
30 previous days
Apr 2006
May 2006
Jun 2006
Jul 2006
Aug 2006
Sep 2006
Oct 2006
Nov 2006
Dec 2006
Jan 2007
Feb 2007
Mar 2007
Apr 2007
May 2007
Jun 2007
Jul 2007
Aug 2007
Sep 2007
Oct 2007
Nov 2007
Dec 2007
Jan 2008
Feb 2008
Mar 2008
Apr 2008
May 2008
Jun 2008
Jul 2008
Aug 2008
Sep 2008
Oct 2008
Nov 2008
Dec 2008
Jan 2009
Feb 2009
Mar 2009
Apr 2009
May 2009
Jun 2009
Jul 2009
Aug 2009
Sep 2009
Oct 2009
Nov 2009
Dec 2009
Jan 2010
Feb 2010
Mar 2010
Apr 2010
May 2010
Jun 2010
Jul 2010
Aug 2010
Sep 2010
Oct 2010
Nov 2010
Dec 2010
Jan 2011
Feb 2011
Mar 2011
Apr 2011
May 2011
Jun 2011
Jul 2011
Aug 2011
Sep 2011
Oct 2011
Nov 2011
Dec 2011
Jan 2012
Feb 2012
Mar 2012
Apr 2012
May 2012
Jun 2012
Jul 2012
Aug 2012
Sep 2012
Oct 2012
Nov 2012
Dec 2012
Jan 2013
Feb 2013
Mar 2013
Apr 2013
May 2013
Jun 2013
Jul 2013
Aug 2013
Sep 2013
Oct 2013
Nov 2013
Dec 2013
Jan 2014
Feb 2014
Mar 2014
Apr 2014
May 2014
Jun 2014
Jul 2014
Aug 2014
Sep 2014
Oct 2014
Nov 2014
Dec 2014
Dec 18th, 2014 at 04:49pm 
Article from Didier Guillion
ACAM sur Mac étape 7
Dec 17th, 2014 at 05:04pm 
Article from Olivier Guillion
Acam Winter étape 23
Dec 16th, 2014 at 04:55pm 
Article from Didier Guillion
ACAM sur Mac étape 6
Dec 15th, 2014 at 05:08pm 
Article from Olivier Guillion
Acam Winter étape 22
Dec 13th, 2014 at 09:33am 
Comment from Antoine Bautista
0 + Album...
Dec 12th, 2014 at 05:00pm 
Article from Didier Guillion
ACAM sur Mac étape 5
Dec 12th, 2014 at 05:00pm 
Article from Didier Guillion
ACAM sur Mac étape 5
Dec 11th, 2014 at 04:58pm 
Article from Olivier Guillion
Acam Winter étape 21 et autres
Dec 10th, 2014 at 11:55pm 
Comment from Didier Guillion
Re: ACAM sur Mac étape 4
Dec 10th, 2014 at 06:59pm 
Comment from musikus
Ipad2

Top of page
Last update:  (c) Myriad