New Splint packages available

[Lapo Luchini]

Corinna Vinschen wrote:

>>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."
>>    
>>
>I've installed it locally and it looks fine.  The source package is ok,
>from my point of view.  So the package is reviewed and just needs one
>additional vote, I guess...
>
I don't know this specific package, but as a security-freak I can't 
avoid voting this, I guess...

-- 
Lapo 'Raist' Luchini
lapo@lapo.it (PGP & X.509 keys available)
http://www.lapo.it (ICQ UIN: 529796)

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/x-pkcs7-signature
Size: 3441 bytes
Desc: S/MIME Cryptographic Signature
URL: <http://cygwin.com/pipermail/cygwin-apps/attachments/20030506/423a2d0f/attachment.bin>