Splint - Secure Programming Lint
info@splint.org
Download - Documentation - Manual - Links Reporting Bugs - Mailing Lists      Sponsors - Credits

What's New

23 September 2001

Alpha version 3.0.0.16 now available.

9 September 2001

Alpha version 3.0.0.15 now available.

27 August 2001

Alpha version 3.0.0.13 now available.
Change log notes.

26 August 2001

Alpha version 3.0.0.12 now available.

21 August 2001

Alpha version 3.0.0.10 now available.
Stable version source code updated to version 2.5r (fixed include problem, no behavioral changes).

19 August 2001

USENIX Security '01 paper now available: David Larochelle and David Evans. Statically Detecting Likely Buffer Overflow Vulnerabilities.

6 November 2000

Sarah Mount of the University of Coventry has contributed an htmlized version of the LCLint source code.

27 July 2000

Release Version 2.5q now available.

25 May 2000

Release Version 2.5m; updated web site design.

16 May 2000

Linux Journal Article: The Code Analyser LCLint by David Santo Orcero, May 2000.

27 October 1999

Moved server to lclint.cs.virginia.edu.

18 April 1998

Minor update 2.4b is now available. (All platforms)

15 April 1998

Minor update 2.4a is now available. (Not yet for Win32)

13 April 1998

Updated web site for Release 2.4.

10 April 1998

Installed larch lclint site on new server at www.sds.lcs.mit.edu/lclint/. Sorry if you had problems accessing the server over the past two weeks. We suffered a disk crash on the machine that was hosting the lclint site.

21 August 1997

Updated for Version 2.3f.

24 November 1996

Acorn RISC OS version now available. See binary download page.

26 August 1996

Updated for Version 2.2.

7 May 1996

Updated for Version 2.1b.

17 April 1996

Updated for Version 2.1a. Split guide.html into sections for faster loading. Updated samples to use lclint 2.1a.

20 March 1996

A tar file containing the html for the User's Guide is now available. This allows easy installation of a local mirror of the guide for faster access.

Added about section with server logs.

5 March 1996

Added What's New page, Bugs page (yes, even code that is checked with lclint sometimes has bugs, I'm afraid), lclint-interest archive, plain text version of User's Guide.

1 March 1996

Announced LCLint 2.0, installed new web site.
Splint - Secure Programming Lint info@splint.org
Download - Documentation - Manual - Links
Source - Linux - Publications - Talks
Reporting Bugs - Mailing Lists       Sponsors - Credits