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

Kein Mikrofon Ton über die Lausprecher
Marvin Schimmelfennig, 23.04.2018 17:39, 0 Antworten
wenn ich ein externes Mikrofon anschließe kommt kein Ton raus. aber der Pegel schlagt aus wenn i...
added to access control list
Ingrid Kroll, 27.03.2018 07:59, 10 Antworten
Hallo allerseits, bin einfache Nutzerin und absolut Linux-unwissend............ Beim ganz norm...
Passwortsicherheit
Joe Cole, 15.03.2018 15:15, 2 Antworten
Ich bin derzeit selbständig und meine Existenz hängt am meinem Unternehmen. Wahrscheinlich verfol...
Brother drucker einrichten.
Achim Zerrer, 13.03.2018 11:26, 1 Antworten
Da mein Rechner abgestürzt war, musste ich das Betriebssystem neu einrichten. Jetzt hänge ich wi...
Internet abschalten
Karl-Heinz Hauser, 20.02.2018 20:10, 2 Antworten
In der Symbolleiste kann man das Kabelnetzwerk ein und ausschalten. Wie sicher ist die Abschaltu...

Stellenmarkt

Jetzt auf den Mailinglisten

[EasyLinux-Ubuntu] Kopieren NAS zu NAS mit Dolphin
Monique Gabriel, 21.04.2018 18:20
Hallo Liste, arbeitet von den wenigen die hier noch aktiv sind jemand mit KDE Plasma in der neusten Ausgabe u...
Re: [EasyLinux-Ubuntu] Fritz-Box Statusmail mit Procmail filtern
"Michael R. Moschner", 18.04.2018 17:12
Am Dienstag, 17. April 2018, 18:34:20 schrieb Uwe Herrmuth: Hallo Uwe > Da kommen manchmal auch nicht ga...
Re: [EasyLinux-Ubuntu] Fritz-Box Statusmail mit Procmail filtern
Uwe Herrmuth, 17.04.2018 18:34
Hallo Michael, Michael schrieb am 17.04.2018 um 14:51: > Das versenden von Nachrichten habe ich auf die...
Re: [EasyLinux-Ubuntu] Fritz-Box Statusmail mit Procmail filtern
"Michael R. Moschner", 17.04.2018 14:51
Am Samstag, 31. März 2018, 16:54:40 schrieb Uwe Herrmuth: Hallo Uwe, danke für Deine Erläuterungen. Ich h...
Re: [EasyLinux-Ubuntu] CPU FREQ DEBIAN STRETCH
Uwe Herrmuth, 12.04.2018 22:01
Hallo Ralf, flecralf schrieb am 12.04.2018 um 12:07: > Wie stelle ich es an, dass ich in XFCE die Freque...