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

Grammatikprüfung in LibreOffice nachrüsten
Grammatikprüfung in LibreOffice nachrüsten
Tim Schürmann, 24.04.2015 19:36, 0 Kommentare

LibreOffice kommt zwar mit einer deutschen Rechtschreibprüfung und einem guten Thesaurus, eine Grammatikprüfung fehlt jedoch. In ältere 32-Bit-Versionen ...

Aktuelle Fragen

Konsole / Terminal in Linux Mint 17.1 deutsch
Dirk Resag, 09.05.2015 23:39, 12 Antworten
Hallo an die Community, ich habe vor kurzem ein älteres Notebook, Amilo A1650G, 1GB Arbeitsspe...
Admin Probleme mit Q4os
Thomas Weiss, 30.03.2015 20:27, 6 Antworten
Hallo Leute, ich habe zwei Fragen zu Q4os. Die Installation auf meinem Dell Latitude D600 verl...
eeepc 1005HA externer sound Ausgang geht nicht
Dieter Drewanz, 18.03.2015 15:00, 1 Antworten
Hallo LC, nach dem Update () funktioniert unter KDE der externe Soundausgang an der Klinkenbuc...
AceCad DigiMemo A 402
Dr. Ulrich Andree, 15.03.2015 17:38, 2 Antworten
Moin zusammen, ich habe mir den elektronischen Notizblock "AceCad DigiMemo A 402" zugelegt und m...
Start-Job behindert Bootvorgang, Suse 13.2, KDE,
Wimpy *, 20.02.2015 10:32, 4 Antworten
Beim Bootvorgang ist ein Timeout von 1 Min 30 Sec. weil eine Partition sdb1 gesucht und nicht gef...

Jetzt auf den Mailinglisten

[EasyLinux-Ubuntu] swap ist weg
Rainer, 23.05.2015 08:36
Hallo zusammen, nach meiner Umzugsaktion (s. Thread " Neuinstallation, home & Co") gibt es nu...
Re: [EasyLinux-Ubuntu] [ERLEDIGT] Neuinstallation, home & Co
Rainer, 23.05.2015 08:21
Hallo Uwe, Am Thu, 21 May 2015 12:30:55 +0200 schrieb Rainer : > > > > Am Thu, 21 May 2015...
Re: [EasyLinux-Ubuntu] Notebook External vs. Internal Display
flecralf, 23.05.2015 01:21
Am 22.05.2015 um 22:39 schrieb flecralf: > Am 22.05.2015 um 21:55 schrieb flecralf: >> Am 22.05.20...
Re: [EasyLinux-Ubuntu] Anwendungsmenü_für_Ubuntu
Heiko, 22.05.2015 23:05
Am Donnerstag, 14. Mai 2015, 18:08:54 schrieb Karl Opitz: Hallo Karl, > > > > das Prob...
Re: [EasyLinux-Ubuntu] Notebook External vs. Internal Display
flecralf, 22.05.2015 22:39
Am 22.05.2015 um 21:55 schrieb flecralf: > Am 22.05.2015 um 21:53 schrieb flecralf: >> Hallo alle...