Publicité
+ Répondre à la discussion Actualité déjà publiée
Affichage des résultats 1 à 9 sur 9
  1. #1
    Inactif


    Homme Profil pro Guillaume Belz
    Biochimiste
    Inscrit en
    novembre 2008
    Messages
    5 317
    Détails du profil
    Informations personnelles :
    Nom : Homme Guillaume Belz
    Âge : 38
    Localisation : France, Rhône (Rhône Alpes)

    Informations professionnelles :
    Activité : Biochimiste
    Secteur : Santé

    Informations forums :
    Inscription : novembre 2008
    Messages : 5 317
    Points : 18 041
    Points
    18 041

    Par défaut 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.

  2. #2
    Membre du Club
    Homme Profil pro Vincent Ravier
    Développeur informatique
    Inscrit en
    décembre 2011
    Messages
    54
    Détails du profil
    Informations personnelles :
    Nom : Homme Vincent Ravier

    Informations professionnelles :
    Activité : Développeur informatique
    Secteur : Service public

    Informations forums :
    Inscription : décembre 2011
    Messages : 54
    Points : 59
    Points
    59

    Par défaut

    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.

  3. #3
    Modérateur

    Homme Profil pro Cyrille
    Network programmer
    Inscrit en
    juin 2010
    Messages
    2 128
    Détails du profil
    Informations personnelles :
    Nom : Homme Cyrille
    Âge : 27
    Localisation : France

    Informations professionnelles :
    Activité : Network programmer

    Informations forums :
    Inscription : juin 2010
    Messages : 2 128
    Points : 5 439
    Points
    5 439

    Par défaut

    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

  4. #4
    Membre Expert
    Avatar de mitkl
    Homme Profil pro Timothée Bernard
    Étudiant
    Inscrit en
    février 2010
    Messages
    364
    Détails du profil
    Informations personnelles :
    Nom : Homme Timothée Bernard
    Âge : 23
    Localisation : France

    Informations professionnelles :
    Activité : Étudiant

    Informations forums :
    Inscription : février 2010
    Messages : 364
    Points : 1 088
    Points
    1 088

    Par défaut

    Code :
    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 !

  5. #5
    Membre Expert

    Inscrit en
    mai 2008
    Messages
    1 009
    Détails du profil
    Informations forums :
    Inscription : mai 2008
    Messages : 1 009
    Points : 2 199
    Points
    2 199

    Par défaut

    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) !!

  6. #6
    Expert Confirmé
    Avatar de Klaim
    Homme Profil pro Joel Lamotte
    Développeur de jeux vidéo
    Inscrit en
    août 2004
    Messages
    1 717
    Détails du profil
    Informations personnelles :
    Nom : Homme 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 717
    Points : 3 334
    Points
    3 334

    Par défaut

    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.

  7. #7
    Membre habitué
    Inscrit en
    mai 2004
    Messages
    167
    Détails du profil
    Informations forums :
    Inscription : mai 2004
    Messages : 167
    Points : 108
    Points
    108

    Par défaut

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

  8. #8
    Modérateur
    Avatar de koala01
    Profil pro Philippe Dunski
    Inscrit en
    octobre 2004
    Messages
    9 708
    Détails du profil
    Informations personnelles :
    Nom : Philippe Dunski
    Âge : 42

    Informations forums :
    Inscription : octobre 2004
    Messages : 9 708
    Points : 17 138
    Points
    17 138

    Par défaut

    Salut,
    Citation Envoyé par Klaim Voir le message
    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++
    A méditer: La solution la plus simple est toujours la moins compliquée
    Ce qui se conçoit bien s'énonce clairement, et les mots pour le dire vous viennent aisément. Nicolas Boileau
    Compiler Gcc sous windows avec MinGW
    Coder efficacement en C++ : dans les bacs le 17 février 2014
    mon tout nouveau blog

  9. #9
    Expert Confirmé Sénior
    Profil pro
    Développeur informatique
    Inscrit en
    novembre 2006
    Messages
    4 882
    Détails du profil
    Informations personnelles :
    Localisation : France, Rhône (Rhône Alpes)

    Informations professionnelles :
    Activité : Développeur informatique

    Informations forums :
    Inscription : novembre 2006
    Messages : 4 882
    Points : 6 901
    Points
    6 901

    Par défaut

    Citation Envoyé par Bousk Voir le message
    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 ?

Liens sociaux

Règles de messages

  • Vous ne pouvez pas créer de nouvelles discussions
  • Vous ne pouvez pas envoyer des réponses
  • Vous ne pouvez pas envoyer des pièces jointes
  • Vous ne pouvez pas modifier vos messages
  •