Re: Brainy: Set of 33 potential bugs

[David Young <dyoung%pobox.com@localhost>]

On Sat, Sep 20, 2014 at 08:48:08PM +0200, Maxime Villard wrote:
> Hi,
> here is another set of 33 potential bugs found by my code scanner.
> 
> 	http://m00nbsd.net/ae123a9bae03f7dde5c6d654412daf5a.html#Report-3
> 
> Not all bugs are listed here; I've put only those which looked like proper
> bugs. I guess they will all need to be fixed in NetBSD-7.

Is the source for this scanner available somewhere?  Does it build on
some existing project, such as LLVM?

Dave

-- 
David Young
dyoung%pobox.com@localhost    Urbana, IL    (217) 721-9981