Tu dis que l'on doit utiliser des annotations dans le code source, mais est-ce que Sparse fait quand même des checks basiques comme coverity si ces annotations ne sont pas présentes? Genre vérifier qu'on ne va pas trop loin dans un tableau statique, ce que fait Coverity en fait.
Sinon, c'est bien dommage que ça ne gère que le langage C. Ce langage est parfait pour du code low level comme le kernel, mais il faut avouer que l'orienté objet apporte beaucoup de souplesse pour les applications plus haut niveau comme les interfaces graphiques. Peut-être qu'un jour...
# Précision
Posté par creak . En réponse à la dépêche Sparse repasse à l'attaque. Évalué à 5.
Sinon, c'est bien dommage que ça ne gère que le langage C. Ce langage est parfait pour du code low level comme le kernel, mais il faut avouer que l'orienté objet apporte beaucoup de souplesse pour les applications plus haut niveau comme les interfaces graphiques. Peut-être qu'un jour...