Analyse-Tools Ihnen in C Entwicklung zu helfen

Question

Ich habe das Lernen C gerade erst begonnen, und ich habe eine harte Zeit, Fehler, Speicherlecks und dergleichen zu finden. Welches sind gute Werkzeuge, um Ihnen zu helfen in solchen Dingen zu finden? Ich hörte von Valgrind aber gibt es andere?

Answer 1

Für mich (unter Linux) gibt es:

• GDB verwendet Fehler finden
• Valgrind Speicherlecks finden

Answer 2

Wenn Sie das Zuweisen von Speicher sind dynamisch Ihre Programme sind wahrscheinlich schon zu komplex für sie eine wirklich gute Arbeit zu tun, aber Sie können in Frama-C durch die Wertanalyse amüsieren kann. Werfen Sie einen Blick auf die tutorialet und zum Tutorial Kapitel nach oben in das Handbuch wenn Sie noch interessiert.

Answer 3

Flusen ist das klassische C statische Analyse-Tool.

Answer 4

Ich vermute, sie kosten mehr, als Sie zu zahlen bereit sind, aber beide Coverity und Klocwork tun ernsthafte Prüfung für Speicherlecks, zusammen mit vielen anderen Dingen.

Answer 5

fängt Valgrind viele Speicherfehler. Es fehlt eine Vielfalt auch wie Zugang außerhalb eines lokalen Array. CheckPointer Tool praktisch alle Arten von schlechten Speicherreferenzen im Moment der Fehler fangen wird. Siehe die Vergleichstabelle auf der Webseite, um mehr Dinge zu sehen Valgrind wird nicht fangen, dass CheckPointer wird.