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