4 ms·

Maxime Villard has been doing great work finding lots of bugs, many with a code scanner he wrote called Brainy. As an OpenBSD user I've been watching with inte

by Panino 8y ago

Maxime Villard has been doing great work finding lots of bugs, many with a code scanner he wrote called Brainy. As an OpenBSD user I've been watching with interest from the sidelines. More info on Brainy results: https://www.m00nbsd.net/474b193ce624a19d39a2286d73f06826.html https://www.m00nbsd.net/474b193ce624a19d39a2286d73f06826.htm... Take a look! There is likely software that you use in the list - for instance, one of the bugs is a memleak in OpenSSH. I don't use NetBSD but I just donated $20 to the NetBSD Foundation anyway. Thanks for sharing code/patches!

badsectoracula 8y ago
What is this site supposed to show? There isn't any information/documentation about Brainy, what it is all about or even a way to download it.
- temprature 8y ago
  Brainy isn't open source or publicly available, you can click on the project names in the list to see its scan results.
- JdeBP 8y ago
  There is, however, a list of a couple of hundred problems and potential problems found by it, exactly as Panino said.
JdeBP 8y ago
That's reminiscent of PVS Studio. * https://news.ycombinator.com/item?id=14057568 https://news.ycombinator.com/item?id=14057568 * https://news.ycombinator.com/item?id=2962967 https://news.ycombinator.com/item?id=2962967 * https://news.ycombinator.com/item?id=13894115 https://news.ycombinator.com/item?id=13894115 * https://news.ycombinator.com/item?id=11131532 https://news.ycombinator.com/item?id=11131532 * https://news.ycombinator.com/item?id=13838158 https://news.ycombinator.com/item?id=13838158 * https://news.ycombinator.com/item?id=16293012 https://news.ycombinator.com/item?id=16293012 * https://news.ycombinator.com/item?id=16697060 https://news.ycombinator.com/item?id=16697060