Voilà qui pourrait faire suite à l'actualité Faut-il tout réécrire en Rust que nous avons publié en milieu de semaine.

Dans cet article, un développeur de Mozilla, considère qu'il faudrait utiliser Rust en lieu et place de C/C++ car Rust est un 'langage sûr' en comparaison des deux autres. L'utiliser serait selon lui un moyen de prévenir les failles de sécurité.

Mais le problème est-il dans le langage ou entre la chaise et le clavier (ou encore dans les carences de temps et de budget) ? Telle est peut-être la question.

Le compilateur libre GCC 6 va sortir en version finale en avril prochain. Red Hat a tenté de recompiler avec lui les quelques 17 000 paquets de la distribution Fedora, et l'expérience montre que les échecs de compilation se comptent par milliers.

Un billet d'un responsable de Fedora pointe du doigt le fait que si un bon nombre d'erreurs sont dues à des bugs du compilateur ou à des régressions de celui-ci, l'expérience révèle aussi de très mauvaises pratiques de programmation. Very poor programming practices. Mauvaises pratiques en l'occurrence révélées notamment parce que GCC 6 adopte le standard C++14 par défaut et non plus C++98.

Une discussion connexe, repérée par developpez.com est assez éloquente. Un développeur, qui reconnaît qu'un code est douteux et non respectueux du standard, demande malgré tout aux développeurs de GCC 6 que celui-ci n'émette plus un message d'erreur mais seulement un avertissement. Avec finalement pour seuls arguments que GCC 5 acceptait le code et que désormais il n'est plus possible d'utiliser l'API de Julia. (Ce qui en d'autres termes revient à dire que l'API du langage Julia est mal foutue :-)

Le code, réduit à ce qui génère l'erreur de compilation :

typedef struct mytype {
    struct mytype *fieldptr0[];
    struct mytype *fieldptr[];
} mytype; 

int main(int argc, char** argv) {
  return 0;
} 

La réponse d'un des développeurs de GCC 6 est sans appel :

Ce code est un non sens. Qu'est-il supposé faire ? Il ne sert à rien et compile seulement par accident. L'autoriser avec le commutateur à compiler les ordures -fpermissive  pourrait peut peut-être faire sens toutefois...

The code is nonsense, what's it even supposed to do?
It would be invalid in C (where flexible arrays are actually standard) because flexible arrays can only be the last member, *and* because apart from the flexible arrays it's an otherwise empty struct. It's useless, and only compiled by accident.
Allowing it with -fpermissive might make sense though, as that flag allows all kinds of terrible rubbish to compile.

C'est dit...

Alors les problèmes de sécurité et plus généralement de code foireux, sont-ils fondamentalement situés dans le langage utilisé, ou entre la chaise et le clavier ?

Qu'en pensez-vous ?