HomeProductsDownloadOrderSupportSearch
  
 
 Myriad Blog 1.3.0 Thursday, Nov 14th, 2024 at 02:17am 

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
Myriad
Olivier Guillion
Sylvie Ricard
All
Memories
Dev News
Technical
To be seen
Myriad Life
Mood
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
Jan 2015
Feb 2015
Mar 2015
Apr 2015
May 2015
Jun 2015
Jul 2015
Aug 2015
Sep 2015
Oct 2015
Nov 2015
Dec 2015
Jan 2016
Feb 2016
Mar 2016
Apr 2016
May 2016
Jun 2016
Jul 2016
Aug 2016
Sep 2016
Oct 2016
Nov 2016
Dec 2016
Jan 2017
Feb 2017
Mar 2017
Apr 2017
May 2017
Jun 2017
Jul 2017
Aug 2017
Sep 2017
Oct 2017
Nov 2017
Dec 2017
Jan 2018
Feb 2018
Mar 2018
Apr 2018
May 2018
Jun 2018
Jul 2018
Aug 2018
Sep 2018
Oct 2018
Nov 2018
Dec 2018
Jan 2019
Feb 2019
Mar 2019
Apr 2019
May 2019
Jun 2019
Jul 2019
Aug 2019
Sep 2019
Oct 2019
Nov 2019
Dec 2019
Jan 2020
Feb 2020
Mar 2020
Apr 2020
May 2020
Jun 2020
Jul 2020
Aug 2020
Sep 2020
Oct 2020
Nov 2020
Dec 2020
Jan 2021
Feb 2021
Mar 2021
Apr 2021
May 2021
Jun 2021
Jul 2021
Aug 2021
Sep 2021
Oct 2021
Nov 2021
Dec 2021
Jan 2022
Feb 2022
Mar 2022
Apr 2022
May 2022
Jun 2022
Jul 2022
Aug 2022
Sep 2022
Oct 2022
Nov 2022
Dec 2022
Jan 2023
Feb 2023
Mar 2023
Apr 2023
May 2023
Jun 2023
Jul 2023
Aug 2023
Sep 2023
Oct 2023
Nov 2023
Dec 2023
Jan 2024
Feb 2024
Mar 2024
Apr 2024
May 2024
Jun 2024
Jul 2024
Aug 2024
Sep 2024
Oct 2024
Nov 2024
Nov 13th, 2024 at 07:13pm 
Article from Myriad
Harmony Assistant 9.9.9 beta et autre étape 46
Nov 12th, 2024 at 06:58pm 
Article from Myriad
Harmony Assistant 9.9.9 beta étape 45
Nov 8th, 2024 at 05:28pm 
Article from Myriad
Harmony Assistant 9.9.9 beta étape 44
Nov 7th, 2024 at 10:59pm 
Article from Olivier Guillion
Harmony Assistant 9.9.9 beta étape 43
Nov 7th, 2024 at 10:59pm 
Article from Olivier Guillion
Harmony Assistant 9.9.9 beta étape 43
Nov 7th, 2024 at 10:59pm 
Article from Olivier Guillion
Harmony Assistant 9.9.9 beta étape 43
Nov 7th, 2024 at 10:59pm 
Article from Olivier Guillion
Harmony Assistant 9.9.9 beta étape 43
Nov 7th, 2024 at 10:59pm 
Article from Olivier Guillion
Harmony Assistant 9.9.9 beta étape 43
Nov 7th, 2024 at 10:59pm 
Article from Olivier Guillion
Harmony Assistant 9.9.9 beta étape 43
Nov 7th, 2024 at 10:59pm 
Article from Olivier Guillion
Harmony Assistant 9.9.9 beta étape 43

Top of page
Legal information Cookies Last update:  (c) Myriad