IdentifiantMot de passe
Loading...
Mot de passe oublié ?Je m'inscris ! (gratuit)
Navigation

Inscrivez-vous gratuitement
pour pouvoir participer, suivre les réponses en temps réel, voter pour les messages, poser vos propres questions et recevoir la newsletter

C++ Discussion :

Analyse statique de code [Tutoriel]


Sujet :

C++

  1. #1
    Inactif  


    Homme Profil pro
    Inscrit en
    Novembre 2008
    Messages
    5 288
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Âge : 48
    Localisation : France, Rhône (Rhône Alpes)

    Informations professionnelles :
    Secteur : Santé

    Informations forums :
    Inscription : Novembre 2008
    Messages : 5 288
    Points : 15 620
    Points
    15 620
    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
    Développeur informatique
    Inscrit en
    Décembre 2011
    Messages
    54
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Localisation : France

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

    Informations forums :
    Inscription : Décembre 2011
    Messages : 54
    Points : 67
    Points
    67
    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
    Rédacteur/Modérateur


    Homme Profil pro
    Network game programmer
    Inscrit en
    Juin 2010
    Messages
    7 115
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Âge : 36
    Localisation : Canada

    Informations professionnelles :
    Activité : Network game programmer

    Informations forums :
    Inscription : Juin 2010
    Messages : 7 115
    Points : 32 965
    Points
    32 965
    Billets dans le blog
    4
    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
    Pensez à consulter la FAQ ou les cours et tutoriels de la section C++.
    Un peu de programmation réseau ?
    Aucune aide via MP ne sera dispensée. Merci d'utiliser les forums prévus à cet effet.

  4. #4
    Membre éprouvé
    Avatar de mitkl
    Homme Profil pro
    Étudiant
    Inscrit en
    Février 2010
    Messages
    364
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Âge : 32
    Localisation : France

    Informations professionnelles :
    Activité : Étudiant

    Informations forums :
    Inscription : Février 2010
    Messages : 364
    Points : 1 081
    Points
    1 081
    Par défaut
    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 !

  5. #5
    Membre émérite

    Inscrit en
    Mai 2008
    Messages
    1 014
    Détails du profil
    Informations forums :
    Inscription : Mai 2008
    Messages : 1 014
    Points : 2 252
    Points
    2 252
    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
    Membre expert
    Avatar de Klaim
    Homme Profil pro
    Développeur de jeux vidéo
    Inscrit en
    Août 2004
    Messages
    1 717
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    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 344
    Points
    3 344
    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é
    Profil pro
    Inscrit en
    Mai 2004
    Messages
    168
    Détails du profil
    Informations personnelles :
    Localisation : France

    Informations forums :
    Inscription : Mai 2004
    Messages : 168
    Points : 140
    Points
    140
    Par défaut
    Merci pour l'article
    J'ai adoré ça lecture et surtout le "Big Ball of Mud".

  8. #8
    Expert éminent sénior
    Avatar de koala01
    Homme Profil pro
    aucun
    Inscrit en
    Octobre 2004
    Messages
    11 612
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Âge : 52
    Localisation : Belgique

    Informations professionnelles :
    Activité : aucun

    Informations forums :
    Inscription : Octobre 2004
    Messages : 11 612
    Points : 30 612
    Points
    30 612
    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 éminent sénior
    Avatar de Mat.M
    Profil pro
    Développeur informatique
    Inscrit en
    Novembre 2006
    Messages
    8 360
    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 : 8 360
    Points : 20 378
    Points
    20 378
    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 ?

Discussions similaires

  1. Outil d'analyse statique du code PLSQL
    Par BREMARD dans le forum PL/SQL
    Réponses: 0
    Dernier message: 17/12/2008, 14h51
  2. Analyse statique de code
    Par Bayard dans le forum Analyse de code
    Réponses: 6
    Dernier message: 22/10/2007, 11h07
  3. Outils d'analyse statique de code assembleur ?
    Par atomic dans le forum Assembleur
    Réponses: 4
    Dernier message: 11/06/2004, 11h42

Partager

Partager
  • Envoyer la discussion sur Viadeo
  • Envoyer la discussion sur Twitter
  • Envoyer la discussion sur Google
  • Envoyer la discussion sur Facebook
  • Envoyer la discussion sur Digg
  • Envoyer la discussion sur Delicious
  • Envoyer la discussion sur MySpace
  • Envoyer la discussion sur Yahoo