para quem se interessar em mais um tipo de comparação entre os sistemas. é só mais um critério a se saber :)
e tem o artigo sobre o software. bem interessante :) matheus ps: pena que o FreeBSD não entrou na jogada. ---------------------------- Original Message ---------------------------- Subject: Re: parfait From: "Brad Tilley" <b...@xxx> Date: Thu, November 12, 2009 22:00 To: "Theo de Raadt" <dera...@xxx> Cc: "OpenBSD Misc" <m...@xxx> -------------------------------------------------------------------------- On Thu, Nov 12, 2009 at 6:45 PM, Theo de Raadt <dera...@xxx> wrote: >> I noticea tool called parfait is being used by some OpenBSD developers to check code for problems. Is parfait available to average people? Can't find a download for it. >> >> http://research.sun.com/projects/parfait > > We aren't "using" it. B The people who work there ran it against our entire codebase and sent us a log. B There's a fairly large number of false positives to go through, but some problems are real and worth fixing. > > This is the second time they have sent us a log. B For me, it is a game to see how quickly we can go through the entire dump of errors they give us, fixing all of them. B Almost done. OK Thanks. Seems OpenBSD came out better than any of the other operating system kernels they've been testing the tool against: http://research.sun.com/projects/downunder/publications/documents/kca09.pdf Brad -- We will call you cygnus, The God of balance you shall be A: Because it messes up the order in which people normally read text. Q: Why is top-posting such a bad thing? http://en.wikipedia.org/wiki/Posting_style -- We will call you cygnus, The God of balance you shall be ------------------------- Histórico: http://www.fug.com.br/historico/html/freebsd/ Sair da lista: https://www.fug.com.br/mailman/listinfo/freebsd
