Wie Splint auf ein Projekt (nicht eine Datei) anwenden?

[Erwin M. (nobodyy)]

Zum Splint gibt es ja einige Artikel, beispielsweise

http://www.linux-magazin.de/Heft-Abo/Ausgaben/2003/05/Flusen-Sieb

und auch ein Manual, aber ich finde Beispiele nur mit einer .c-Datei und 
auch aus der Manpage lese ich nicht wie man ein Projekt mit mehreren 
.c-Dateien überprüfen kann.
Wie bekomme ich Splint dazu ein Projekt einzulesen?

Die Dateien einzeln einzulesen hilft nicht richtig, weil dann z. B. nie 
aufgerufene Funktionen nicht richtig erkannt werden können.

[Erwin M. (nobodyy)]

Nach einiger Recherche und Ausprobieren habe ich herausbekommen, das man 
einfach alle .c-Dateien vom Projekt als Option übergeben muss, also im 
Normalfall statt der einen Datei ein *.[Cc].