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: 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.


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