[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: Reporting 1.2K crashes



On Tue, Jun 25, 2013 at 1:28 PM, Alexandre Rebert wrote:

> We found the bugs using Mayhem [1], an automatic bug finding system
> that we've been developing in David Brumley's research lab for a
> couple of years. We recently ran Mayhem on almost all ELF binaries of
> Debian Wheezy (~23K binaries) [2], and it reported thousands of
> crashes.

On the subject of proprietary static analysers, does anyone have some
contacts at Coverity? It might be interesting to get them to scan the
archive on a regular basis.

-- 
bye,
pabs

http://wiki.debian.org/PaulWise


Reply to: