Source Code

Splint should compile (effortlessly) on any UNIX system with a Standard C compiler. A bit of effort may be required to port Splint to a non-UNIX platform.

Source Code Distribution: http://www.splint.org/downloads/splint-3.1.0.tar.gz
Instructions

Linux x86 Binary

You should be able to install and execute this binary on any standard x86-based Linux system. We build and test it on RedHat 7.0.

Linux x86 Binary Distribution: http://www.splint.org/downloads/binaries/splint-3.1.0.Linux.tgz
Instructions