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

Wie kann man das berichtigen
Udo Muelle, 17.07.2016 20:39, 1 Antworten
Fehlschlag beim Holen von http://extra.linuxmint.com/dists/rosa/main/binary-i386/Packages Hash-S...
Installation Genimotion
Horst Müller, 15.07.2016 17:00, 1 Antworten
Hallo, ich kann Genimotion nicht installieren. Folgende Fehlermeldung habe ich beim Aufruf erh...
Probleme beim Hochfahren der Terastaion 5400 mit Unix-Distrib
Sheldon Cooper, 10.07.2016 09:32, 0 Antworten
Hallo ihr lieben, habe seit zwei Tagen das Problem, das das NAS (Raid5) nicht mehr sauber hoch...
Mit Firewire Videos improtieren?
Werner Hahn, 09.06.2016 11:06, 5 Antworten
Ich besitze den Camcorder Panasonic NV-GS330, bei dem die Videos in guter Qualität nur über den 4...
lidl internetstick für linux mint
rolf meyer, 04.06.2016 14:17, 3 Antworten
hallo zusammen ich benötige eure hilfe habe einen lidl-internetstick möchte ihn auf linux mint i...

Jetzt auf den Mailinglisten

[EasyLinux-Ubuntu] OT: Probleme mit Teamviewer unter Windows 8
Rainer, 29.07.2016 23:27
Hallo zusammen, kennt jemand eine Plattform, wo das genannte Thema sinnvollerweise gepostet werden kann? Ei...
Re: [EasyLinux-Ubuntu] DICOM-Bilder umwandeln
Uwe Herrmuth, 29.07.2016 09:37
Hallo Thomas, Thomas schrieb am 29.07.2016 um 09:09: > Convert streikt bei mir mit dem DICOM Format. s...
Re: [EasyLinux-Ubuntu] [gelöst]_DICOM-Bilder_umwandeln
Hartmut Haase, 29.07.2016 09:24
Hallo Uwe, > convert datei.png datei.jpg ja klar. Mein Fehler war, daß uich auf der CD konvertieren woll...
Re: [EasyLinux-Ubuntu] DICOM-Bilder umwandeln
Thomas Fischer, 29.07.2016 09:09
Hallo! Am 28.07.2016 um 19:31 schrieb Uwe Herrmuth: > convert datei.png datei.jpg Convert streikt bei...
Re: [EasyLinux-Ubuntu] KeePassX: Fehler beim Login mit Tastenkombination
Uwe Herrmuth, 29.07.2016 08:42
Hallo Rainer, Uwe schrieb am 27.07.2016 um 09:57: > Dann hab ich in KeePassX die Sprache von Systemsprac...