This is the mail archive of the
mailing list for the Cygwin project.
Re: Cygwin needs a splint'er
> > 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."
Oops, how did Devel become Dev...I must of made a type there, it's ok in the
> 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
Shell scripting always gives me gotchas. Updated package on the
elfyn at exposure dot org dot uk