[C] Werkzeuge für C unter Linux

[Tejio]

Hi,

ich bin im Moment auf der Suche nach Empfehlungen für Werkzeuge unter Linux zur statischen Code-Analyse. Im Moment nutze ich dazu cppcheck, splint und rats. Habt ihr vllt weitere Empfehlungen?

Für die dynamische Code-Analyse habe ich Valgrind, das reicht vollkommen aus für meine Zwecke.
Um mir die projektweite, manuelle Formatierung zumindest ein wenig zu erleichtern, nutze ich astyle. Für die Dokumentation kommt doxygen zum Einsatz.

Über weitere Empfehlungen zur Unterstützung der Entwicklung mit C würde ich mich riesig freuen ;)


Gruß, Tejio

[Krishty]

Aus dem Gedächtnis weiß ich, dass LLVM mit Klee was in der Richtung anbietet. Habe es aber noch nicht selber ausprobiert. Ich sehe gerade, dass das nicht statisch ist. Nevermind.

Gruß, Ky

[Tejio]

So, ich hab mal den Titel angepasst. Damit ist es ein wenig allgemeiner gehalten.
Danke für den Hinweis mit Klee. Ich werde heute oder morgen abend mein glück damit versuchen. mal schauen, ob es klappen wird bei mir.

Gruß, Tejio

[Jörg]

Darf's was kosten? Coverity....

[klickverbot]

Clang hat sehrwohl einen statischen Analyzer (http://clang-analyzer.llvm.org/), über die aktuelle Qualität der Algorithmen kann ich aber nicht wirklich Auskunft geben – ich habe das Tool nur vor ewigen Zeiten mal an ein paar kleinen Beispielen ausprobiert…