Linux-Shellscript für Splint hinzugefügt.