oss-sec mailing list archives

Re: Re: Security vulnerability tools

From: Raphael Geissert <geissert () debian org>
Date: Fri, 29 Mar 2013 15:38:40 +0100

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

Current thread:

Re: Re: [kernel-hardening] Security vulnerability tools, (continued)
- - - Re: Re: [kernel-hardening] Security vulnerability tools Steve Grubb (Mar 28)
    - Re: Re: [kernel-hardening] Security vulnerability tools Tim Brown (Mar 28)
- Re: Security vulnerability tools Solar Designer (Mar 27)
  - Re: [kernel-hardening] Re: Security vulnerability tools Corey Bryant (Mar 27)
    - Re: Security vulnerability tools Solar Designer (Mar 28)
- Re: Security vulnerability tools Russ Allbery (Mar 27)
  - Re: Security vulnerability tools Corey Bryant (Mar 27)
- Re: Security vulnerability tools Murray McAllister (Mar 27)
- Re: Security vulnerability tools Andreas Ericsson (Mar 28)
- Re: Security vulnerability tools Corey Bryant (Mar 29)
  - Re: Re: Security vulnerability tools Raphael Geissert (Mar 29)