Splint - Secure Programming Lint
info@splint.org
Download - Documentation - Manual - Links Reporting Bugs - Mailing Lists      Sponsors - Credits

Downloading Splint

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.2.src.tgz

Build Instructions

Binaries

Binaries are available for some earlier splint releases, but are not updated. We recommend building from the source code.

Linux x86 Binary

You should be able to install and execute this binary on any standard x86-based Linux system. We built it on a Debian 2.2 system and have tested it on RedHat 8 and RedHat 9.

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

FreeBSD Binary
http://www.splint.org/downloads/binaries/splint-3.1.1.FreeBSD.tgz
Instructions
OS/2 Binary
Herbert Martin Dietze has provided an OS/2 binary: http://www.the-little-red-haired-girl.org/pub/splint/index.html
Solaris Binary
http://www.splint.org/downloads/binaries/splint-3.1.1.SunOS.tgz
Instructions
CVS
The CVS version of Splint often fixes bugs in the stable version and may also contain some additional features. It should compile on any UNIX system with a Standard C compiler. Occasionally, the CVS version will not build correctly on some systems. Usually updating a couple days latter will fix the problem.
Because the version in CVS is the unstable development version, it is not unusual for some of the tests to fail. These messages are usually not a cause for concern. The instructions for obtaining the CVS version are available here.

Additional Software

GUI
Christoph Thielecke has developed a Splint GUI using Python and Qt, availble for download here: http://crissi.linux-administrator.com/linux/splintgui/index_en.html

Old Versions for Other Platforms

There are binaries of older versions available for some other platforms here. If you build a new binary for a different platform, please contribute it to us so we can redistribute it here.

Linux x86 RPM Distribution: http://www.splint.org/downloads/binaries/splint-3.0.1.6-1.i386.rpm (provided and supported by Joe Klemmer)
Win32 Binary

Mao Yu has create a Windows installer for splint-3.1.2: http://github.com/maoserr/splint_win32/downloads

Older windows distributions:

Small Zip Distribution: http://splint.org/downloads/binaries/splint-3.0.1.6-2.win32-small.zip (774 KB, just includes binary and libraries)
Full Zip Distribution: http://splint.org/downloads/binaries/splint-3.0.1.6-2.win32.zip
Instructions

Binaries of older versions available for some other platforms here

Splint - Secure Programming Lint info@splint.org
Download - Documentation - Manual - Links
Source - Linux - Publications - Talks
Reporting Bugs - Mailing Lists       Sponsors - Credits