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

Ubuntu 14.10 und VirtualBox
Ubuntu 14.10 und VirtualBox
Tim Schürmann, 08.11.2014 18:45, 0 Kommentare

Wer Ubuntu 14.10 in einer virtuellen Maschine unter VirtualBox startet, der landet unter Umständen in einem Fenster mit Grafikmüll. Zu einem korrekt ...

Aktuelle Fragen

Nach Ubdates alles weg ...
Maria Hänel, 15.11.2014 17:23, 4 Antworten
Ich brauche dringen eure Hilfe . Ich habe am wochenende ein paar Ubdates durch mein Notebook von...
Brother Drucker MFC-7420
helmut berger, 11.11.2014 12:40, 1 Antworten
Hallo, ich habe einen Drucker, brother MFC-7420. Bin erst seit einigen Tagen ubuntu 14.04-Nutzer...
Treiber für Drucker brother MFC-7420
helmut berger, 10.11.2014 16:05, 2 Antworten
Hallo, ich habe einen Drucker, brother MFC-7420. Bin erst seit einigen Tagen ubuntu12.14-Nutzer u...
Can't find X includes.
Roland Welcker, 05.11.2014 14:39, 1 Antworten
Diese Meldung erhalte ich beim Versuch, kdar zu installieren. OpenSuse 12.3. Gruß an alle Linuxf...
DVDs über einen geeigneten DLNA-Server schauen
GoaSkin , 03.11.2014 17:19, 0 Antworten
Mein DVD-Player wird fast nie genutzt. Darum möchte ich ihn eigentlich gerne abbauen. Dennoch wür...

Jetzt auf den Mailinglisten

[EasyLinux-Ubuntu] [OT] 24-h-Flat von Feinkost-Albrecht
Heinz-Stefan Neumeyer, 22.11.2014 15:58
Hallo an alle Mitleser, gehe ich recht mit meiner Recherche, daß die sog. 24-h-Flat von Alditalk o_h_n_e Ve...
Re: [EasyLinux-Ubuntu] Jessie - HDU-Formatierung
Heinz-Stefan Neumeyer, 22.11.2014 15:37
Am Samstag, den 22.11.2014, 11:37 +0100 schrieb Gerhard Blaschke: Auf der Hochschule Deggendorf habe ich noch...
[EasyLinux-Ubuntu] Jessie - HDU-Formatierung
Gerhard Blaschke, 22.11.2014 11:37
Hallo Liste, habe mir der Neugier wegen eine jessie-beta2 gebrannt. Beim Formatieren der Festplatte (alte p...
Re: [EasyLinux-Ubuntu] Terminal_schlißt__automatisch
Alfred Zahlten, 22.11.2014 00:07
Am 21.11.2014 um 14:44 schrieb Richard Kraut: Hallo Richard, > Nutzt Du den normalen Updater von Mint?...
Re: [EasyLinux-Ubuntu] Netzwerkdrucker wird nicht gefunden
Matthias Müller, 22.11.2014 00:03
Hallo, Am Freitag, 21. November 2014 schrieb Karl-Heinz: > Am Thu, 20 Nov 2014 21:50:56 +0100 > sch...