[Full-Disclosure] automated vulnerability testing

[Cael Abal]

> Wasn't there a slint tool or something like that?

Yup, Splint -- from 'Secure Programming Lint'.  I provided a link to
their site in a previous message.

C