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

WLAN-Signalqualität vom Treiber abhängig
GoaSkin , 29.10.2014 14:16, 0 Antworten
Hallo, für einen WLAN-Stick mit Ralink 2870 Chipsatz gibt es einen Treiber von Ralink sowie (m...
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, 6 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...

Jetzt auf den Mailinglisten

Re: [EasyLinux-Ubuntu] Claws Mail: Probleme mit der Suchfunktion
Karl-Heinz, 30.10.2014 19:18
Am Thu, 30 Oct 2014 14:47:01 +0100 schrieb Uwe Herrmuth : Hallo Uwe, ich habs gerade nochmal probiert:...
Re: [EasyLinux-Ubuntu] Claws Mail: Probleme mit der Suchfunktion
Rainer, 30.10.2014 17:08
Hallo Roman, Am Thu, 30 Oct 2014 16:14:31 +0100 schrieb Roman Brusa : > > >Am Tue, 28 Oct 201...
Re: [EasyLinux-Ubuntu] Claws Mail: Probleme mit der Suchfunktion
Roman Brusa, 30.10.2014 16:14
Hi, Rainer schrieb am Tue, 28 Oct 2014 22:26:43 +0100: >Am Tue, 28 Oct 2014 19:22:02 +0100 >schrieb K...
Re: [EasyLinux-Ubuntu] Claws Mail: Probleme mit der Suchfunktion
Rainer, 30.10.2014 15:49
Hallo Uwe, Am Thu, 30 Oct 2014 14:47:01 +0100 schrieb Uwe Herrmuth : > > > Also ich hab mal p...
[EasyLinux-Ubuntu] [ANDROID]_Mailserver-Zertifikate_überprüfen?
Heinz-Stefan Neumeyer, 30.10.2014 15:17
Hallo an alle Mitleser, gibt es eine Möglichkeit die SSL-Zertifikate die ein IMAP/POP-Server verwendet bzw....