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

Artikelsuche
Erwin Ruitenberg, 09.10.2014 07:51, 1 Antworten
Ich habe seit einige Jahre ein Dugisub LinuxUser. Dann weiß ich das irgendwann ein bestimmtes Art...
Windows 8 startet nur mit externer Festplatte
Anne La, 10.09.2014 17:25, 4 Antworten
Hallo Leute, also, ich bin auf folgendes Problem gestoßen: Ich habe Ubuntu 14.04 auf meiner...
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...

Jetzt auf den Mailinglisten

Re: [EasyLinux-Suse] [LUSTIG]_Nicht-$MS-Benutzer_dürfen_keinen_Blick_auf_die_Windows_10_Technical_Preview_for_Enterprise_werfen
Heinz-Stefan Neumeyer, 23.10.2014 19:29
Am Freitag, den 03.10.2014, 17:21 +0200 schrieb Heiko Ißleib: Hallo Heiko > > Würde sagen,Daumen n...
Re: [EasyLinux-Ubuntu] [SOLVED] Qt5-Version von arora
Heinz-Stefan Neumeyer, 23.10.2014 19:24
Am Mittwoch, den 22.10.2014, 21:09 +0200 schrieb Joachim Puttkammer: > Am Mittwoch 22 Oktober 2014 schrieb...
Re: [EasyLinux-Ubuntu] genisoimage_oder_mkisofs_(gelöst)
Heiko, 23.10.2014 16:11
Am Donnerstag, 23. Oktober 2014, 14:10:14 schrieb Uwe Herrmuth: Hallo Uwe., > > Heiko Ißleib schri...
Re: [EasyLinux-Ubuntu] genisoimage oder mkisofs
Uwe Herrmuth, 23.10.2014 14:10
Hallo Heiko, Heiko Ißleib schrieb am 23.10.2014 um 12:50: > Seit opensuse 13.1kann ichdevede nicht mehr...
Re: [EasyLinux-Ubuntu] genisoimage oder mkisofs
Heiko, 23.10.2014 13:02
Am Donnerstag, 23. Oktober 2014, 12:50:58 schrieben Sie: Hallo Liste. > Opensuse benutzt cdrkit-...