Splint - Secure Programming Lint
Download - Documentation - Manual - Links Sponsors - Credits

Old Binaries

Win32 Binary
This should work on Windows 95/98 and Windows NT/2000 (it is only tested under Windows 2000).

FreeBSD x86 Binary

You should be able to install and execute this binary on any standard x86-based FreeBSD system.
OS/2
Martin “Herbert” Dietze has provided a version for OS/2 at ftp://ftp.fh-wedel.de/pub/fh-wedel/staff/herbert/lclint/lclint-2.5q-os2.tar.gz

Mirrors

If you have trouble downloading from this site, try using http://www.filewatcher.com to find a site closer to you. (There are about a thousand sites containing at least a subset of the Splint distribution, although many are not kept up-to-date.)

Splint - Secure Programming Lint evans@virginia.edu
Download - Documentation - Manual - Links
Source - Linux - Publications - Talks
Reporting Bugs    Sponsors - Credits