Myriad Blog 1.3.0 Saturday, Dec 16th, 2017 at 08:31am 

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
Comments

Comment from JP Thursday, Nov 20th, 2014 at 07:23pm
Bon courage!
Ça doit bien faire 40 ans que j'initialise systématiquement les variables sans me poser de question. Il y a déjà suffisamment de cas pour lesquels on se gratte la tête, pas la peine d'en ajouter, même si ça prend quelques cycles de calcul inutiles.

Comment from Geo Thursday, Nov 20th, 2014 at 10:27pm
Itou
+1
 

Comment from Sylvain Thursday, Nov 20th, 2014 at 10:57pm
(No subject)
Pareil, en java j'initialise les membres de mes objets, soit dans la déclaration, soit dans le constructeur.
Ou alors si je laisse à null, le compilo m'alerte.
 
Code:
if(b) b=b+c;

c peut être null
donc j'écris
Code:
if(b && c) b=b+c;


Most recent first
Oldest first

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