This is the mail archive of the
cygwin-apps@cygwin.com
mailing list for the Cygwin project.
RE: New Splint packages available
- From: "Robb, Sam" <sam dot robb at timesys dot com>
- To: "cygwin-apps" <cygwin-apps at cygwin dot com>
- Date: Fri, 2 May 2003 17:08:12 -0400
- Subject: RE: New Splint packages available
Elfyn,
Thanks for the effort on this. Are you going to
maintain splint for Cygwin, or is this going to be
an unsupported package?
I'm going to have to look into creating a splint
plugin for Eclipse/CDT now :-)
-Samrobb
> -----Original Message-----
> From: Elfyn McBratney [mailto:elfyn-cygwin@exposure.org.uk]
> Sent: Friday, May 02, 2003 3:26 PM
> To: cygwin-apps
> Subject: New Splint packages available
>
>
> 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."
>
> Elfyn
>
>