Splint: Statischer C-Code Check...nur wie bedient man das Monster ??? (LClint-Nachfolger)

Autor

Montag, 06. Februar 2006 20:40:51

Hallo,

auf http://www.splint.org/ bekommt man SPLINT, einen C-Sourcecode-
Checker a la lint...nur besser.

Wenn ich doch bloss wüßte, wie man das Teil zur Mitarbeit
bewegen könnte !

Folgende Situation:
In einem Sourcetreebaum vetreilt liegen mehrere INCLUDE-Directories.
Mit einem
find -name 'include' .type d
habe ich mir diese ausgeben lassen und mit dem "-I"-Parameter
nach splint hineingefüttert.
Dennoch findet splint einige Header-Files nicht, die sich
nachweislich in jenen Include-Directories befinden. Entsprechend
reichhaltig und unbrauchbar sind die Fehler, die splint meint
gefunden zu haben.

Wer sich mit der Bedienung von splint auskennt und mir hier helfen
kann wäre ich sehr dankbar.

Die 121 Seiten Manual beschreiben leider nur anhand von Beispielen
typische Codierfehler und wie splint darauf reagiert. Derart banale
Probleme wie die meinigen mit dem schlichten Gebrauch von splint
kommen im Manual zu kurz....

Herzlichen Dank schonmal im Voraus für jede Form von Rettungsring!
Gruß,
mcc

Ottfried Meyer

0 Antworten


Antworten

Ähnliche Artikel

Tipp der Woche

Schnell Multi-Boot-Medien mit MultiCD erstellen
Schnell Multi-Boot-Medien mit MultiCD erstellen
Tim Schürmann, 24.06.2014 12:40, 0 Kommentare

Wer mehrere nützliche Live-Systeme auf eine DVD brennen möchte, kommt mit den Startmedienerstellern der Distributionen nicht besonders weit: Diese ...

Aktuelle Fragen

Windows 8 startet nur mit externer Festplatte
Anne La, 10.09.2014 17:25, 4 Antworten
Hallo Leute, also, ich bin auf folgendes Problem gestoßen: Ich habe Ubuntu 14.04 auf meiner...
Videoüberwachung mit Zoneminder
Heinz Becker, 10.08.2014 17:57, 0 Antworten
Hallo, ich habe den ZONEMINDER erfolgreich installiert. Das Bild erscheint jedoch nicht,...
internes Wlan und USB-Wlan-Srick
Gerhard Blobner, 04.08.2014 15:20, 2 Antworten
Hallo Linux-Forum: ich bin ein neuer Linux-User (ca. 25 Jahre Windows) und bin von WIN 8 auf Mint...
Server antwortet mit falschem Namen
oin notna, 21.07.2014 19:13, 1 Antworten
Hallo liebe Community, Ich habe mit Apache einen Server aufgesetzt. Soweit, so gut. Im Heimnet...
o2 surfstick software für ubuntu?
daniel soltek, 15.07.2014 18:27, 1 Antworten
hallo zusammen, habe mir einen o2 surfstick huawei bestellt und gerade festgestellt, das der nic...

Jetzt auf den Mailinglisten

Re: [EasyLinux-Ubuntu] debian oder mint-debian
Heiko, 23.09.2014 22:56
Am Dienstag, 23. September 2014, 22:44:07 schrieb H.-Stefan Neumeyer: Hallo Stefan. > > http:...
Re: [EasyLinux-Ubuntu] debian oder mint-debian
"H.-Stefan Neumeyer", 23.09.2014 22:44
Am Tue, 23 Sep 2014 22:13:07 +0200 sprach Heiko Ißleib (und nicht Zarathustra :-) ): Hallo Heiko >...
Re: [EasyLinux-Ubuntu] debian oder mint-debian
Rainer, 23.09.2014 22:20
Hallo Karl-Heinz, Deinen Vergleich nutze ich gelegentlich auch mal ganz gern. Am Mon, 22 Sep 2014 17:22:24...
Re: [EasyLinux-Ubuntu] debian oder mint-debian
Heiko, 23.09.2014 22:13
Am Dienstag, 23. September 2014, 21:54:16 schrieb H.-Stefan Neumeyer: Hallo Stefan. : > > Ab der 13...
Re: [EasyLinux-Ubuntu] debian oder mint-debian
"H.-Stefan Neumeyer", 23.09.2014 21:54
Am Tue, 23 Sep 2014 12:19:34 +0200 sprach Heiko Ißleib (und nicht Zarathustra :-) ): > Ab der 13.2 muß m...