Discussion :

[Bayard]

Bonsoir,

Etant à la recherche d'outil d'analyse statique de code, j'ai découvert cela:

http://en.wikipedia.org/wiki/List_of..._code_analysis


Est-ce quelqu'un connait un outil permettant de réaliser de l'analyse statique de code ? Je connais par exemple QA C.

[Gruik]

Salut,

On m'avait parlé de Splint à une epoque, pas eu vraiment l'occasion d'essayer

[Bayard]

Est ce que quelqu'un connait quelque chose de comparable au puissant (et payant ) QA C ?

-> Détection de code mort, de dépassement de buffer, etc...

[Emmanuel Delahaye]

Est ce que quelqu'un connait quelque chose de comparable au puissant (et payant ) QA C ?

-> Détection de code mort, de dépassement de buffer, etc...

QA C est hors de prix et les résultats ne sont pas à la hauteur...

Un gcc bien réglé + [sp]lint + un cerveau en état de marche suffisent en général.

[Bayard]

Code :

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

QA C est hors de prix

C'est vrai qu'il est cher : environ 9 000 Euros.

Néanmoins je doute que Splint le remplace.

A ma connaissance, splint ne gère pas les rêgles MISRA.

Code :

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

et les résultats ne sont pas à la hauteur...

-> Un exemple ?

[Gruik]

Est ce que quelqu'un connait quelque chose de comparable au puissant (et payant ) QA C ?

-> Détection de code mort, de dépassement de buffer, etc...

Pour la detection de code mort, gcc le gere avec -Wunreachable-code. C'était un peu foireux dans la version 3 (tout comme les variables non initialisées), mais il semblerait qu'avec la version 4 ça soit beaucoup mieux.
Depassement de buffer, une extension de gcc appelée "Bounds Checking" le permet (mais pas de façon statique). Le memcheck de valgrind aussi.

[Emmanuel Delahaye]

A ma connaissance, splint ne gère pas les rêgles MISRA.

Non, mais MISRA est une norme très fermée avec ses propres outils de vérification...

et les résultats ne sont pas à la hauteur...

-> Un exemple ?

J'avais demandé une démo sur mon code (clib) et il trouvait des tas d'erreurs fantaisistes (faux positifs)... Je ne crois pas avoir récupéré ces fichiers de démo (incendie, licenciement, crashes DD...)...