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

Ottfried Meyer - Montag, 06. Februar 2006 20:40:51 - 0 Antworten

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


Antworten

Ähnliche Artikel

Aktuelle Fragen

MS LifeCam HD-5000 an Debian
Kay Michael, 13.04.2016 22:55, 0 Antworten
Hallo, ich versuche die oben erwähnte Cam an einem Thin Client mit Debian zu betreiben. Linux...
Import von Evolution nach KMail erzeugt nur leere Ordner
Klaus-Christian Falkner, 06.04.2016 12:57, 2 Antworten
Hallo, da ich vor einiger Zeit von Ubuntu auf Kubuntu umgestiegen bin, würde ich gerne meine E...
Sophos lässt sich nicht unter Lubuntu installieren
Chrstina Turm, 30.03.2016 20:56, 3 Antworten
Hi Leute, habe mir vor paar Tagen auf ein Notebook, das ohne Linux ausgedient hätte, Linux dr...
Novell Client auf Raspbian
Chris Baum, 16.03.2016 15:13, 3 Antworten
Hallo Community, ich hätte eine Frage, und zwar geht es um folgendes: Ich möchte eine Datei...
Pantheon konfigurieren (eOS)
John Smith, 16.03.2016 13:50, 0 Antworten
Hallo ins Forum, ich bin neu in der Linuxwelt und fühle mich bereits sehr wohl. Mein neues Sys...

Jetzt auf den Mailinglisten

[EasyLinux-Ubuntu] Mailkommunikation: Versandprobleme
Rainer, 05.05.2016 21:56
Hallo zusammen, seitdem ich Rundmails an 400-500 Empfänger verschicke (seit Jahren), habe ich es mit unange...
Re: [EasyLinux-Ubuntu] Externe Festplatte ermitteln
Heiko, 05.05.2016 14:40
Am Montag, 2. Mai 2016, 11:19:03 schrieb Alexander McLean: Hallo Alexander > > > Es gibt unter...
[EasyLinux-Ubuntu] OT:_Firefox_stürzt_nach_Update_Lxde_und_FF_ab
ac_ro, 04.05.2016 15:31
Hallo, kennt jemand diese Fehlermeldung? (firefox:884): Gtk-CRITICAL **: IA__gtk_clipboard_set_with_data:...
Re: [EasyLinux-Ubuntu] GPT-Partition boot-Festplatte?
Heiko, 03.05.2016 23:30
Am Dienstag, 3. Mai 2016, 12:26:22 schrieb Oliver: Hallo, > > >> Ich stehe im Moment auf dem...
Re: [EasyLinux-Ubuntu] OT: Fritz-Box mit Firmware 6.50 - Anrufbeantworter
Dietmar Schlosser, 03.05.2016 18:33
Am Samstag, 30. April 2016, 17:10:11 schrieb Alexander McLean: Hi Alexander > Du musst den oder die eing...