Analyse statique de code [Article]

gbdivers · 24/09/2012, 08h41

L'analyse statique de code permet d'améliorer la qualité d'un code et de minimiser les risques d'apparition d'erreurs. Dans cet article, John Carmack, le célèbre développeur de Doom et Quake, compare différents outils d'analyse statique de code et plus généralement ce qui fait la qualité du code.

Analyse statique de code

Quelle importance accordez-vous à l'analyse statique de code ?
Quels autres outils, en particulier libres, utilisez-vous ?

Retrouver l'ensemble des articles de John Carmack sur la page d'index.

vravier · 24/09/2012, 11h00

Cet article commence à bien dater (presque un an)

Néanmoins, c'est une très bonne chose qu'il soit traduit, car c'est un point d'autant plus important que l'on travaille sur de gros projets où le test exhaustif devient une tache gigantesque.

Bousk · 24/09/2012, 14h23

Où je suis actuellement nous utilisons Coverity, et c'est assez hallucinant ce qu'il est capable de remarquer

J'ai tenté le /analyze chez moi par curiosité, et c'est typiquement ce qui est dit dans l'article : ça fait peur, ça prend du temps, mais une fois la base clean y'a plus qu'à continuer dans cette voie

mitkl · 24/09/2012, 15h47

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

cl : Ligne de commande warning D9040: option '/analyze' ignorée*; les avertissements liés à l'analyse du code ne sont pas disponibles dans cette édition du compilateur

dommage j'aurais bien voulu voir ce que ça donne

Arzar · 24/09/2012, 16h32

Pour info la bonne nouvelle c'est que Microsoft est subitement devenu raisonnable, car avec VS2012 /analyze est maintenant disponible pour toutes les éditions (y compris la gratuite VS express) !!

Klaim · 24/09/2012, 20h47

J'utilise VS2012 depuis quelques temps, ainsi que PVS Studio.
PVS donne pas mal d'infos, VS donne moins.

Par contre je suis toujours surpris du peu de problemes qu'on a quand on s'en tiens strictementn au C++ moderne.

A utiliser très régulièrement pour que ce soit efficace.

Drannor · 12/11/2012, 10h05

Merci pour l'article

J'ai adoré ça lecture et surtout le "Big Ball of Mud".

koala01 · 12/11/2012, 13h25

Salut,

Citation:

Envoyé par Klaim

J'utilise VS2012 depuis quelques temps, ainsi que PVS Studio.
PVS donne pas mal d'infos, VS donne moins.

Par contre je suis toujours surpris du peu de problemes qu'on a quand on s'en tiens strictementn au C++ moderne.

Je crois que c'est relativement normal: L'analyse statique de code a pour objectif de s'assurer que l'on respecte certains "canon" de programmation, et ces "canons" sont finalement tous issus... d'une utilisation moderne du C++

Mat.M · 12/11/2012, 14h25

Citation:

Envoyé par Bousk

Où je suis actuellement nous utilisons Coverity, et c'est assez hallucinant ce qu'il est capable de remarquer

J'ai tenté le /analyze chez moi par curiosité, et c'est typiquement ce qui est dit dans l'article : ça fait peur, ça prend du temps, mais une fois la base clean y'a plus qu'à continuer dans cette voie

salut est-ce que c'est un outil payant ?
Et par curiosité comment agit-il en C++ ? En liant des bibliothèques de contrôle d'intégrité de code comme jadis Boundschecker ou bien est ce que c'est une pure analyse de code source ?

24/09/2012, 08h41	#1
gbdivers Expert Confirmé Sénior Guillaume Belz Biochimiste Inscription : novembre 2008 Messages : 5 292 Détails du profil Informations personnelles : Nom : Guillaume Belz Âge : 37 Localisation : France, Rhône (Rhône Alpes) Informations professionnelles : Activité : Biochimiste Secteur : Santé Informations forums : Inscription : novembre 2008 Messages : 5 292 Points : 19 575 Points : 19 575	Analyse statique de code L'analyse statique de code permet d'améliorer la qualité d'un code et de minimiser les risques d'apparition d'erreurs. Dans cet article, John Carmack, le célèbre développeur de Doom et Quake, compare différents outils d'analyse statique de code et plus généralement ce qui fait la qualité du code. Analyse statique de code Quelle importance accordez-vous à l'analyse statique de code ? Quels autres outils, en particulier libres, utilisez-vous ? Retrouver l'ensemble des articles de John Carmack sur la page d'index. __________________ Merci à toutes les bénévoles avec qui j'ai travaillé sur les rubriques C++, Qt et Jeux. Retrouvez mes anciennes publications sur GitHub et suivez mes futures publications sur Google+. Apprendre Qt 5 : vidéos d'installation (YouTube), extraites du livre Créer des applications avec Qt 5.
	10

24/09/2012, 15h47	#4
mitkl Rédacteur Timothée Bernard Étudiant Inscription : février 2010 Messages : 365 Détails du profil Informations personnelles : Nom : Timothée Bernard Âge : 21 Localisation : France Informations professionnelles : Activité : Étudiant Informations forums : Inscription : février 2010 Messages : 365 Points : 1 315 Points : 1 315	Code : Sélectionner tout - Visualiser dans une fenêtre à part cl : Ligne de commande warning D9040: option '/analyze' ignorée*; les avertissements liés à l'analyse du code ne sont pas disponibles dans cette édition du compilateur dommage j'aurais bien voulu voir ce que ça donne __________________ Si vous ne savez toujours pas ce qu’est la récursivité, relisez cette phrase. Mon blog sur la programmation et l'informatique !
	00

24/09/2012, 16h32	#5
Arzar Membre Expert Inscription : mai 2008 Messages : 938 Détails du profil Informations forums : Inscription : mai 2008 Messages : 938 Points : 1 786 Points : 1 786	Pour info la bonne nouvelle c'est que Microsoft est subitement devenu raisonnable, car avec VS2012 /analyze est maintenant disponible pour toutes les éditions (y compris la gratuite VS express) !!
	30

24/09/2012, 11h00	#2
vravier Membre du Club Vincent Ravier Développeur informatique Inscription : décembre 2011 Messages : 54 Détails du profil Informations personnelles : Nom : Vincent Ravier Informations professionnelles : Activité : Développeur informatique Secteur : Service public Informations forums : Inscription : décembre 2011 Messages : 54 Points : 58 Points : 58	Cet article commence à bien dater (presque un an) Néanmoins, c'est une très bonne chose qu'il soit traduit, car c'est un point d'autant plus important que l'on travaille sur de gros projets où le test exhaustif devient une tache gigantesque.
	01

24/09/2012, 14h23	#3
Bousk Modérateur Cyrille Network programmer Inscription : juin 2010 Messages : 1 570 Détails du profil Informations personnelles : Nom : Cyrille Âge : 25 Localisation : France Informations professionnelles : Activité : Network programmer Informations forums : Inscription : juin 2010 Messages : 1 570 Points : 4 158 Points : 4 158	Où je suis actuellement nous utilisons Coverity, et c'est assez hallucinant ce qu'il est capable de remarquer J'ai tenté le /analyze chez moi par curiosité, et c'est typiquement ce qui est dit dans l'article : ça fait peur, ça prend du temps, mais une fois la base clean y'a plus qu'à continuer dans cette voie
	00

24/09/2012, 20h47	#6
Klaim Expert Confirmé Joel Lamotte Développeur de jeux vidéo Inscription : août 2004 Messages : 1 626 Détails du profil Informations personnelles : Nom : Joel Lamotte Localisation : France Informations professionnelles : Activité : Développeur de jeux vidéo Secteur : High Tech - Éditeur de logiciels Informations forums : Inscription : août 2004 Messages : 1 626 Points : 3 085 Points : 3 085	J'utilise VS2012 depuis quelques temps, ainsi que PVS Studio. PVS donne pas mal d'infos, VS donne moins. Par contre je suis toujours surpris du peu de problemes qu'on a quand on s'en tiens strictementn au C++ moderne. A utiliser très régulièrement pour que ce soit efficace.
	00

12/11/2012, 10h05	#7
Drannor Membre régulier Inscription : mai 2004 Messages : 167 Détails du profil Informations forums : Inscription : mai 2004 Messages : 167 Points : 99 Points : 99	Merci pour l'article J'ai adoré ça lecture et surtout le "Big Ball of Mud".
	00

Outils de la discussion
Afficher une version imprimable Envoyer un lien vers cette page par email