[Full-Disclosure] automated vulnerability testing

[madsaxon]

At 03:01 PM 11/21/2003 -0500, David Maynor wrote:
>On Fri, Nov 21, 2003 at 03:29:52PM -0500, Cael Abal wrote:
> > >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.
> >
>THe one I am thinking of was done by the l0pht i thought..

The l0pht did develop Slint, but it was never released. They dropped
it when RATS and ITS4 came out, because they were similar in
functionality.   @Stake now offers SafeApps though, which is
in some ways a descendent of Slint.

http://www.atstake.com/products/safeapps/

[I have no connection to @stake, BTW]

m5x