This is the mail archive of the cygwin-apps@cygwin.com mailing list for the Cygwin project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: New Splint packages available


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

-- 
Corinna Vinschen                  Please, send mails regarding Cygwin to
Cygwin Developer                                mailto:cygwin@cygwin.com
Red Hat, Inc.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]