Old LCLint Project

Welcome, Guest! Log In | Create Account

SourceForge.net > Find Software > Old LCLint Project

This is the old LCLint project repository. See https://sourceforge.net/projects/splint for the current Splint project.

Download Now! splint-3.1.0.tar.gz (2.3 MiB) OR View all files

Project Feed

Tracker artifact added

Anonymous created the Casting breaks tracking of /*@out@*/ parameters artifact

11:30PM on Feb 15 2009 by nobody
Tracker artifact added

jaalto created the [PATCH] 3.1.2 SunOS/Solaris compile fix artifact

03:06PM on Jan 29 2009 by jaalto
Tracker comment added

Anonymous commented on the intermixing of enum and #define give error artifact

07:15PM on Jun 30 2008 by nobody
Tracker artifact added

Anonymous created the intermixing of enum and #define give error artifact

07:14PM on Jun 30 2008 by nobody
Tracker artifact added

dbeuning created the comment error artifact

09:44PM on May 05 2008 by dbeuning
Tracker artifact added

Anonymous created the Label prevents warning for switch artifact

06:22PM on Jul 10 2007 by nobody
Tracker artifact added

Anonymous created the +if-block misses cascading if's artifact

07:58PM on Jul 09 2007 by nobody
Tracker comment added

Anonymous commented on the Switch and do/while blocks artifact

07:35PM on Jul 09 2007 by nobody
Tracker artifact added

Anonymous created the Switch and do/while blocks artifact

08:08PM on Jul 07 2007 by nobody
Tracker artifact added

Anonymous created the Possible Null Dereferencing Not Recognized artifact

12:49PM on Jul 04 2007 by nobody