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

PCLinuxOS Version 2014.08 "FullMonty" Umstellung auf deutsch
Karl-Heinz Welz, 19.12.2014 09:55, 3 Antworten
Hallo, liebe Community, ich bin 63 Jahre alt und möchte jetzt nach Jahrzehnten Windows zu Linux...
ICEauthority
Thomas Mann, 17.12.2014 14:49, 2 Antworten
Fehlermeldung beim Start von Linux Mint: Could not update ICEauthority file / home/user/.ICEauth...
Linux einrichten
Sigrid Bölke, 10.12.2014 10:46, 5 Antworten
Hallo, liebe Community, bin hier ganz neu,also entschuldigt,wenn ich hier falsch bin. Mein Prob...
Externe USB-Festplatte mit Ext4 formatiert, USB-Stick wird nicht mehr eingebunden
Wimpy *, 02.12.2014 16:31, 0 Antworten
Hallo, ich habe die externe USB-FP, die nur für Daten-Backup benutzt wird, mit dem YaST-Partition...
Steuern mit Linux
Siegfried Markner, 01.12.2014 11:56, 2 Antworten
Welches Linux eignet sich am besten für Steuerungen.

Jetzt auf den Mailinglisten

Re: [EasyLinux-Ubuntu] OT: Speicherprobleme
Richard Kraut, 21.12.2014 22:38
Am Sonntag, den 21.12.2014, 22:10 +0100 schrieb Rainer: > habe hier mit einem Phänomen zu tun, dass mich v...
Re: [EasyLinux-Ubuntu] Editor gesucht
Gerhard Blaschke, 21.12.2014 22:28
Am 21.12.2014 um 20:53 schrieb Karl-Heinz: > Am Sun, 21 Dec 2014 19:31:41 +0100 > schrieb Gerhard Bla...
[EasyLinux-Ubuntu] OT: Speicherprobleme
Rainer, 21.12.2014 22:10
Hallo zusammen, habe hier mit einem Phänomen zu tun, dass mich verblüfft und verwirrt: Auf einem Rechner FS...
Re: [EasyLinux-Suse] OS_13.2_mate_caja_multiple_Instanzen_(hier_erstmal_gelöst)
Mahmud Al-Ahmed, 21.12.2014 20:54
On Sun, 21 Dec 2014 20:05:21 +0100 Rüdiger Koerschulte wrote: Hallo > ne, so eine/viele Fehler-Meldung...
Re: [EasyLinux-Ubuntu] Editor gesucht
Karl-Heinz, 21.12.2014 20:53
Am Sun, 21 Dec 2014 19:31:41 +0100 schrieb Gerhard Blaschke : Hallo Gerhard, > Der Editor soll mir nur...