2008/5/5 mantunes <[EMAIL PROTECTED]>: [...] > 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 <[EMAIL PROTECTED]>: [...] > > 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 ------------------------- Histórico: http://www.fug.com.br/historico/html/freebsd/ Sair da lista: https://www.fug.com.br/mailman/listinfo/freebsd
