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

Anfänger Frage
Klaus Müller, 24.05.2017 14:25, 2 Antworten
Hallo erstmal. Habe von linux nicht so viel erfahrung müsste aber mal ne doofe frage stellen. A...
Knoppix-Live-CD (8.0 LU-Edition) im Uefiboot?
Thomas Weiss, 26.04.2017 20:38, 3 Antworten
Hallo, Da mein Rechner unter Windows 8.1/64Bit ein Soundproblem hat und ich abklären wollte, o...
Grub2 reparieren
Brain Stuff, 26.04.2017 02:04, 5 Antworten
Ein Windows Update hat mir Grub zerschossen ... der Computer startet nicht mehr mit Grub, sondern...
Linux open suse 2,8
Wolfgang Gerhard Zeidler, 18.04.2017 09:17, 2 Antworten
Hallo.bitte um Hilfe bei. Code fuer den Rescue-login open suse2.8 Mfg Yvo
grep und sed , gleicher Regulärer Ausdruck , sed mit falschem Ergebnis.
Josef Federl, 15.04.2017 00:23, 1 Antworten
Daten: dlfkjgkldgjldfgl55.55klsdjfl jfjfjfj8.22fdgddfg {"id":"1","name":"Phase L1","unit":"A",...

Jetzt auf den Mailinglisten

[EasyLinux-Ubuntu] [OT]_Android_7,_Speicherverschlüsslung
Udo Teichmann, 26.05.2017 10:58
Hallo Liste Bei meinem Note III Smartphone waren der Speicher und die SD-Karte jeweils für sich verschlüsse...
Re: [EasyLinux-Ubuntu] [OT] Krass unterschiedliche Prozessorleistung
Nguyen Dong Loan, 26.05.2017 09:33
Am Donnerstag, den 25.05.2017, 21:37 +0200 schrieb Uwe Herrmuth: Hallo Uwe > BTW: Dein Schlüssel ist...
Re: [EasyLinux-Ubuntu] [OT] Krass unterschiedliche Prozessorleistung
Uwe Herrmuth, 25.05.2017 21:37
Hallo Dong Loan, Dong Loan schrieb am 25.05.2017 um 18:43: > > Signatur erstellt auf Do, 01.01.1970 0...
Re: [EasyLinux-Ubuntu] Debian XFCE Energieverwaltung
Nguyen Dong Loan, 25.05.2017 18:59
Am Donnerstag, den 25.05.2017, 00:17 +0200 schrieb flecralf: > Hallo Ralph Ich sage auch was dazu: >...
Re: [EasyLinux-Ubuntu] [OT] Krass unterschiedliche Prozessorleistung
Nguyen Dong Loan, 25.05.2017 18:43
Am Donnerstag, den 25.05.2017, 12:28 +0200 schrieb Uwe Herrmuth: Hallo Uwe > > Signatur erstel...