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

Related content

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

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...
Öhm - wozu Benutzername, wenn man dann hier mit Klarnamen angezeigt wird?
Thomas Kallay, 03.07.2014 20:30, 1 Antworten
Hallo Team von Linux-Community, kleine Zwischenfrage: warum muß man beim Registrieren einen Us...
openSUSE 13.1 - Login-Problem wg. Fehler im Intel-Grafiktreiber?
Thomas Kallay, 03.07.2014 20:26, 8 Antworten
Hallo Linux-Community, habe hier ein sogenanntes Hybrid-Notebook laufen, mit einer Intel-HD460...
Fernwartung für Linux?
Alfred Böllmann, 20.06.2014 15:30, 7 Antworten
Hi liebe Linux-Freunde, bin beim klassischen Probleme googeln auf www.expertiger.de gestoßen, ei...

Jetzt auf den Mailinglisten

Re: [EasyLinux-Ubuntu] Öffnen_alter_RagTime-Dateien
Rainer, 29.07.2014 14:28
Hallo Richi, Am Tue, 29 Jul 2014 14:05:17 +0200 schrieb Richard Kraut : > > > Welchen Wiki-Artikel...
Re: [EasyLinux-Ubuntu] Öffnen_alter_RagTime-Dateien
Richard Kraut, 29.07.2014 14:05
Am Montag, den 28.07.2014, 21:25 +0200 schrieb Rainer: > Welchen Wiki-Artikel meinst Du? Den hier: ht...
Re: [EasyLinux-Ubuntu] Warnung: Thunderbird 31 defekt??
"J.Bilder", 29.07.2014 13:21
Am 29.07.2014 09:37, schrieb Hartmut Haase: > Hallo Johanna, >> Nach einem (empfohlenen) Update au...
Re: [EasyLinux-Ubuntu] HL304cn 32bit auf 64bit
Thomas Lueck, 29.07.2014 10:41
Am Montag, den 28.07.2014, 23:43 +0200 schrieb Alfred Zahlten: > Das heißt doch aber nicht, einen bereits...
Re: [EasyLinux-Ubuntu] Warnung: Thunderbird 31 defekt??
Thomas Lueck, 29.07.2014 10:38
Am Dienstag, den 29.07.2014, 09:37 +0200 schrieb Hartmut Haase: > Hallo Johanna, > > Nach einem (e...