This is the mail archive of the
cygwin-apps@cygwin.com
mailing list for the Cygwin project.
Re: New Splint packages available
- From: Igor Pechtchanski <pechtcha at cs dot nyu dot edu>
- To: cygwin-apps at cygwin dot com
- Date: Tue, 6 May 2003 10:29:32 -0400 (EDT)
- Subject: Re: New Splint packages available
- Reply-to: cygwin-apps at cygwin dot com
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