Tool zur statischen Codeanalyse

z0ttel Gast #200598
Lesenswert?
• ▲
▼ 
Hallo allerseits,

das Thema ist hier evtl. ein wenig OT, aber ich haben keinen besseren
Bereich gefunden.

Ich bin auf der Suche nach einem Tool zur statischen Analyse von C-
Sourcecode. Der Einfachheit halber hier eine kleine Übersicht über den
Umfang:
- Analyse von C-Sourcecode
- Aufruf über Kommandozeile (zwecks Einbindung im makefile)
- Ausgabe in Datei(en)
- das Tool sollte Freeware sein (ob open-source oder nicht ist mir
egal)
- OS: Windows / Dos
- optional: Generierung von Metriken

Ich kenne zB PC-Lint und PR QA-C, welche aber beide kommerziell sind.
Bei meiner Web-Recherche bin ich dann  noch auf 'splint' gestossen,
welches allerdings (zumindest in der W32-Variante) nicht mit der
Ausgabe in Dateien klarkommt.

Für den Fall, dass jemand noch ein Tool weiss, was in den Rahmen passt,
wäre ich über einen Tip sehr dankbar.

Gruß,
z0ttel
Antwort Zitieren Bearbeiten Thread verschieben Thread sperren Anmeldepflicht aktivieren Anpinnen Thread löschen Thread mit anderem zusammenführen Beitrag melden
ejd Gast #200599
Lesenswert?
• ▲
▼ 
Die letzten 4 Buchstaben von 2 der 3 genannten Werkzeugen tun es.

Der Papa von den Tools nennt sich 'lint' :) Ist zwar etwas älter,
müsste aber geeignet sein. Was genau willst Du denn analysieren?

mit freundlichen Grooves,

ejd

P.S.: Lint ist ein command-line-tool.
Antwort Zitieren Bearbeiten Löschen Beitrag melden
z0ttel Gast #200600
Lesenswert?
• ▲
▼ 
Hi,

Danke für die Antwort. Ich dachte bis jetzt, das lint ein reines *nix
Tool ist.

Wo finde ich das Tool im Web? Wenn ich nach irgendwas mit lint und
source suche, lande ich bei splint...

cu
z0ttel
Antwort Zitieren Bearbeiten Löschen Beitrag melden
z0ttel Gast #200602
Lesenswert?
• ▲
▼ 
Hallo Tobi,

wenn ich bei Sourceforge 'lint' als Suchbegriff verwende, bekomme ich
genau 9 Treffer, von denen gerade mal 6 Files released haben. Von diesen
2 bezieht sich kein Projekt auf C, also bringt mich das nicht wirklich
weiter.

Greetz,
z0ttel
Antwort Zitieren Bearbeiten Löschen Beitrag melden
z0ttel Gast #200605
Lesenswert?
• ▲
▼ 
@ejd: jaein ;)

Die aktuelle Version von Splint (3.1.1) habe ich unter Windows noch
nicht kompiliert bekommen. Das Feature, dass die Ausgaben in Dateien
umgeleitet werden scheint auch neu zu sein, da die Version 3.0.1.6-2
dieses noch nicht hatte (die habe ich schon neu kompiliert).

Ich habe mir allerdings mal ganz grob die Sourcen von Splint 3.1.1
angesehen und festgestellt, dass die Ausgabe von normalen Nachrichten
und Warnungen wohl noch garnicht implementiert ist :(

Tja, jetzt könnte ich mir noch die neuesten CVS-Sourcen ziehen und
hoffen, dass sich jemand bereits an dem Thema zu schaffen gemacht
hat...

cu
z0ttel
Antwort Zitieren Bearbeiten Löschen Beitrag melden
z0ttel Gast #200607
Lesenswert?
• ▲
▼ 
Nun ja, splint gibts auch für Windows als fertiges ausführbare Datei --
der Haken ist, dass in der Version nicht alle Funktionen so ablaufen
wie beschrieben.

Und da alle Varianten auf denselben Sourcecode zurücklaufen, denke ich,
dass die Cygwinvariante ebenfalls nicht funktionieren wird.
Antwort Zitieren Bearbeiten Löschen Beitrag melden
Thread beobachten

Antwort schreiben

Bitte melde dich an, um einen Beitrag zu schreiben.

Bestehender Account

oder

Mit Google-Account einloggen

Noch kein Account?

Die Registrierung ist kostenlos und dauert nur eine Minute.

Jetzt registrieren