Forum: PC-Programmierung Tool zur statischen Codeanalyse


von z0ttel (Gast)


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

von ejd (Gast)


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.

von z0ttel (Gast)


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

von Tobi (Gast)


Lesenswert?

bei sourceforge gibts unter dem stichwort lint mehreres

von z0ttel (Gast)


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

von ejd (Gast)


Lesenswert?

Es scheint tatsächlich so zu sein, dass lint etwas in Vergessenheit
geriet. Hast Du schon versucht, splint unter windows neu zu
compilieren?

mit freundlichen Grooves,

ejd

von Tobi (Gast)


Lesenswert?

@zottel
sorry, hatte nicht geguckt, ob die schon dateien released haben. hatte
nur gesehen, dass da auch ich glaub 2 projekte bezüglich c waren

von z0ttel (Gast)


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

von Helge Dietert (Gast)


Lesenswert?

Was ist mit Cygwin (cygwin.com)? Dort ist das schon fertig als Paket!

von z0ttel (Gast)


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.

Bitte melde dich an um einen Beitrag zu schreiben. Anmeldung ist kostenlos und dauert nur eine Minute.
Bestehender Account
Schon ein Account bei Google/GoogleMail? Keine Anmeldung erforderlich!
Mit Google-Account einloggen
Noch kein Account? Hier anmelden.