[prev in list] [next in list] [prev in thread] [next in thread] 

List:       oss-security
Subject:    Re: [oss-security] Re: Security vulnerability tools
From:       Raphael Geissert <geissert () debian ! org>
Date:       2013-03-29 14:38:40
Message-ID: CAA7hUgGLXG3GbC1tgQe_D2o5=aK3XEeORKLTTaTnTMpM9crXog () mail ! gmail ! com
[Download RAW message or body]

Hi,

On 29 March 2013 14:22, Corey Bryant <coreyb@linux.vnet.ibm.com> wrote:
>
> Thanks to everyone who provided tooling input.  If anyone else has anything else, please let me know.

I've a list of other tools at http://qa.debian.org/daca/, but that's
only a handful of plenty of code analysis tools that exist.
N.b. some are not directly related security issues and some other
tools are "just" model checkers.

Cheers,
--
Raphael Geissert - Debian Developer
www.debian.org - get.debian.net
[prev in list] [next in list] [prev in thread] [next in thread]