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

Splint News

2003

30 Apr: A Win32 Binary for Splint Version 3.1.1 is now available (contributed by Zhou Jun).

30 Apr: Splint Version 3.1.1 pre-released (changes summary).

2002

28 Dec: CVS version builds on Mac OSX.

28 Dec: Instructions for obtaining Splint through CVS posted.

27 June: OpenSSH buffer overflow vulnerability

23 May: Debian Package now available: http://packages.debian.org/unstable/devel/splint.html or ftp.debian.org/debian/pool/main/s/splint/ (contributed by Samuele Giovanni Tonon)

18 Feb: Linux x86 RPM Distribution: Linux x86 RPM Distribution now available (provided by Joe Klemmer)

18 Feb: OS/2 binary now available (provided by Herbert Martin Dietze)

12 Feb: Basic network flaw could disrupt Net (c|net report on buffer overflow vulnerability in SNMP)

11 Feb: Splint Version 3.0.1.6 now available

5 Feb: Splint Version 3.0.1.5 now available

19 Jan: Splint Version 3.0.1.4 now available

14 Jan: Splint Version 3.0.1.2 now available

7 Jan: Splint Version 3.0.1.1 now available

7 Jan: Redesigned web site lanuched

3 Jan: Improving Security Using Extensible Lightweight Static Analysis published in IEEE Software, Jan/Feb 2002

1 Jan: LCLint is now named Splint

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