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: https://github.com/splintchecker/splint

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: //www.splint.org/downloads/binaries/splint-3.1.1.Linux.tgz
Instructions

FreeBSD Binary

//www.splint.org/downloads/binaries/splint-3.1.1.FreeBSD.tgz
Instructions

OS/2 Binary

Herbert Martin Dietze has provided an OS/2 binary: //www.the-little-red-haired-girl.org/pub/splint/index.html

Solaris Binary

//www.splint.org/downloads/binaries/splint-3.1.1.SunOS.tgz
Instructions

Additional Software

GUI

Christoph Thielecke has developed a Splint GUI using Python and Qt, availble for download here: //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: //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: //github.com/maoserr/splint_win32/downloads

Older windows distributions:

Small Zip Distribution: //splint.org/downloads/binaries/splint-3.0.1.6-2.win32-small.zip (774 KB, just includes binary and libraries)
Full Zip Distribution: //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 [email protected] Download - Documentation - Manual - Links Source - Linux - Publications - Talks Reporting Bugs    Sponsors - Credits