This is the mail archive of the
cygwin-apps@cygwin.com
mailing list for the Cygwin project.
Re: Cygwin needs a splint'er
On Sun, Mar 30, 2003 at 10:00:24PM +0100, Elfyn McBratney wrote:
> I have uploaded some test packages for people to try out. The URLs are
> below...Happy testing. :-)
>
> <http://twoducks.exposure.org.uk/elfyn/cygwin/splint/setup.hint>
> <http://twoducks.exposure.org.uk/elfyn/cygwin/splint/splint-3.0.1.6-1.tar.bz
> 2>
> <http://twoducks.exposure.org.uk/elfyn/cygwin/splint/splint-3.0.1.6-1-src.ta
> r.bz2>
>
> category: Dev
> 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."
This package has my vote.
Unfortunately /etc/postinstall/splint.sh has a bug:
if [ ! -e /bin/lint.exe || ! -e /bin/lint ]; then
should be
if [ ! -e /bin/lint.exe -o ! -e /bin/lint ]; then
Corinna
--
Corinna Vinschen Please, send mails regarding Cygwin to
Cygwin Developer mailto:cygwin at cygwin dot com
Red Hat, Inc.