Outils d'analyse pour vous aider dans le développement C

Question

Je viens de commencer à apprendre C et j'ai du mal à trouver des bugs, des fuites de mémoire et autres. Quelles sont de bons outils pour vous aider à trouver de telles choses? J'ai entendu de Valgrind mais y at-il d'autres?

Answer 1

Pour moi (sous Linux) il y a:

• GDB utilisé pour trouver des bugs
• Valgrind trouver des fuites de mémoire

Answer 2

Si vous allouer de la mémoire dynamiquement vos programmes sont probablement déjà trop complexe pour qu'il fasse un très bon travail, mais vous pouvez être amusée par l'analyse de la valeur dans Frama-C. Jetez un oeil à la tutorialet et passer au chapitre tutoriel manuel si vous êtes toujours intéressé.

Answer 3

charpie est l'outil d'analyse statique classique C.

Answer 4

Je pense qu'ils coûtent plus cher que vous êtes prêt à payer, mais les deux Coverity et Klocwork faire sérieusement la vérification des fuites de mémoire, ainsi que beaucoup d'autres choses.

Answer 5

Valgrind attire beaucoup d'erreurs de mémoire. Il manque une variété, aussi, comme l'accès à l'extérieur d'un réseau local. CheckPointer outil attraper pratiquement tous les types de mauvaises références de mémoire au moment où l'erreur a été commise. Voir le tableau de comparaison à la page Web pour voir plus de choses Valgrind ne sera pas attraper que CheckPointer sera.