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

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...
Ö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...

Jetzt auf den Mailinglisten

Re: [EasyLinux-Suse] openSuse 12.3 - Installation von Drucker-Treibern
"Franz J. Polster", 20.08.2014 10:30
Vielen Dank für die Hinweise. Ich habe noch nicht gekauft, bin noch auf der Suche. Gilt die Aussage zum Kyo...
Re: [EasyLinux-Ubuntu] Canon MX 700
Hartmut Haase, 20.08.2014 09:53
Hallo Gerhard, > Canon MX700 cups kennt ihn, also besteht eine Chance, ihn zu installieren. -- Viel...
[EasyLinux-Suse] Gwenview erweiterte Diashow
Heiko, 20.08.2014 08:57
Hallo Liste. Kriegt hier jemand eine erweiterte Diashow mit Musik hin? Ich meine Module-Werkzeuge-erweitert...
[EasyLinux-Ubuntu] Canon MX 700
Gerhard Blaschke, 20.08.2014 05:41
Hallo Liste, ein Linux-Interessent hat einen Canon MX700 (Multifunktionsgerät). Hat jemand Erfahrung, ob de...
Re: [EasyLinux-Ubuntu] Linux Mint Upgrade using apt
Alfred Zahlten, 20.08.2014 05:00
Am 19.08.2014 um 21:13 schrieb Joerg Guenther: Hallo Joerg, mein Mint 14 habe ich noch zur Sicherheit. In...