Download of splint-3.0.1.6.os2-bin.tar.gz (splint-3.0.1.6.os2-bin.tar.gz ( external link: SF.net): 1,177,135 bytes) will begin shortly. If not so, click link on the left.
This is the old LCLint project repository. See
https://sourceforge.net/projects/splint for the current Splint project.
