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 -- To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/caktje6geujbrjy4d1xvzcr1ueppo4ocplw5rcruyvupcju2...@mail.gmail.com
