Splint - Secure Programming Lint
|Download - Documentation - Manual - Links||Reporting Bugs - Mailing Lists Sponsors - Credits|
Source CodeSplint 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
BinariesBinaries are available for some earlier splint releases, but are not updated. We recommend building from the source code.
Linux x86 BinaryYou 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.FreeBSD Binary
Linux x86 Binary Distribution: //www.splint.org/downloads/binaries/splint-3.1.1.Linux.tgz
Herbert Martin Dietze has provided an OS/2 binary: //www.the-little-red-haired-girl.org/pub/splint/index.htmlSolaris Binary//www.splint.org/downloads/binaries/splint-3.1.1.SunOS.tgz
Additional SoftwareGUIChristoph 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 PlatformsThere 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-22.214.171.124-1.i386.rpm (provided and supported by Joe Klemmer)
Win32 BinaryMao 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-126.96.36.199-2.win32-small.zip (774 KB, just includes binary and libraries)
Full Zip Distribution: //splint.org/downloads/binaries/splint-188.8.131.52-2.win32.zip
Binaries of older versions available for some other platforms here