New Splint packages available

[Igor Pechtchanski]

On Tue, 6 May 2003, Corinna Vinschen wrote:

> On Fri, May 02, 2003 at 08:25:45PM +0100, Elfyn McBratney wrote:
> > Hi,
> >
> > I have prepared new Cygwin packages for Splint-3.1.1 (the SIGSEGVs are now
> > fixed).
> >
> > <http://ubertales.co.uk/cygwin/splint/splint-3.1.1-1.tar.bz2>
> > <http://ubertales.co.uk/cygwin/splint/splint-3.1.1-1-src.tar.bz2>
> > <http://ubertales.co.uk/cygwin/splint/setup.hint>
> >
> > category: Devel
> > requires: cygwin
> > sdesc:    "Splint is a better lint"
> > ldesc:    "Splint is a tool for statically checking C programs for
> > security vulnerabilities and coding mistakes. With minimal
> > effort, Splint can be used as a better lint. If additional
> > effort is invested adding annotations to programs, Splint
> > can perform stronger checking than can be done by any
> > standard lint."
>
> I've installed it locally and it looks fine.  The source package is ok,
> from my point of view.  So the package is reviewed and just needs one
> additional vote, I guess...
>
> Corinna

Oops, I was sure I voted for it.  If not, it has my vote.
	Igor
-- 
				http://cs.nyu.edu/~pechtcha/
      |\      _,,,---,,_		pechtcha@cs.nyu.edu
ZZZzz /,`.-'`'    -.  ;-;;,_		igor@watson.ibm.com
     |,4-  ) )-,_. ,\ (  `'-'		Igor Pechtchanski
    '---''(_/--'  `-'\_) fL	a.k.a JaguaR-R-R-r-r-r-.-.-.  Meow!

Knowledge is an unending adventure at the edge of uncertainty.
  -- Leto II