> > 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 setup.hint, though. > 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 pipe...Thanks Corinna! > Corinna Regards, Elfyn McBratney [EMAIL PROTECTED] www.exposure.org.uk
