[FUG-BR] Me ajudem a entender essa notícia (FreeBSD)

[Carlos A. M. dos Santos]

2008/5/5 mantunes <mantunes.listas em gmail.com>:
[...]
>  Sou mais o diabinho do que coverity.[...]

Isto não é uma disputa entre os dois, pelo contrário. Ao apontar
possíveis erros no FreeBSD o Coverity ajuda muito o projeto. O que
atrapalha é alguém olhar para os resultados e tirar deles conclusões
precipitadas e fazer declarações alarmistas.

> até pq se ele faz alguma analise é baseando nas informações de
> que fez o programa baseando nas práticas de quem programou o
> Coverity esta certo? o será que ele tem Inteligência Artificial ou seja,
> é primeiro programa que tem vontade propria?

O Coverity funciona estendendo o compilador C. Essa técnica foi
desenvolvida no Laboratório de Sistemas Computacionais da Universidade
de Stanford por  Dawson Engler, Seth Hallem, Andy Chou e Ben Chelf. O
artigo que a descreve [1] está disponível na página do autor [2],
assim como muitos outros.

>  2008/5/2 Carlos A. M. dos Santos <unixmania em gmail.com>:
[...]
>  >  A empresa em que trabalho usa esse software. Ele é realmente muito
>  >  bom, mas é preciso tomar cuidado com a interpretação de seus
>  >  resultados. O Coverity Prevent faz análise estática de código.
[...]
[...]
>  >  O que o Colin Percival disse, educadamente, com "leading to confusion,
>  >  such as yours" foi: o senhor não tem conhecimento suficiente para
>  >  entender isso.

Referências

1. http://www.stanford.edu/~engler/mc-osdi.pdf
2. http://www.stanford.edu/~engler/

-- 
Carlos A. M. dos Santos