[pt-br-dev] Fwd: LibreOffice & Coverity

Olá pessoal

Vocês devem ter visto recentemente o nome coverity nas mensagens da
lista de desenvolvimento internacional e nos patches. Trata-se de uma
ferramenta de análise estática do código que foi aplicada no LibreOffice
e permitiu analisar furos e erros no código fonte.

Se quiserem ter acesso ao relatório e trabalhar para fechar as brechas
ou identificar falsos-positivos, sigam as instruções do Kendy.

O Dept. de Segurança Interna do EUA (Homeland Security) patrocina o uso
do Coverity para softwares de código aberto e isso tem ajudado muito
sistemas conhecidos tais com o kernel, samba, etc... Muito furos de
programação são fechados (estouro de pilhas, ponteiros soltos, etc...)
com a ajuda dessa ferramenta.

Obs. Já me registrei.

Abraços

Olivier


-------- Mensagem original --------
Assunto: LibreOffice & Coverity
Data: Fri, 15 Feb 2013 18:35:30 +0100
De: Jan Holesovsky <kendy@suse.cz>
Para: Riccardo Magliocchetti <riccardo.magliocchetti@gmail.com>
CC: libreoffice@lists.freedesktop.org

Hi Riccardo,

Riccardo Magliocchetti píše v St 13. 02. 2013 v 17:21 +0100:

> Also while we are speaking about code checkers is anyone looking at 
> coverity scan? On a couple of projects I've found it reporting ten time 
> the errors reported by cppcheck.

There is a Coverity report available for LibreOffice, would be great if
you can help there:

http://scan.coverity.com/all-projects.html

Search for LibreOffice, sign in, and you can have a look.  If you can
help marking the false positives, or providing a fixes, that would be
most appreciated.

Please let me know should you have any questions.

Thank you a lot,
Kendy

_______________________________________________
LibreOffice mailing list
LibreOffice@lists.freedesktop.org
http://lists.freedesktop.org/mailman/listinfo/libreoffice

-- 
Olivier Hallot
Comunidade LibreOffice
http://ask.libreoffice.org/pt-br

-- 
Você está recebendo e-mails da lista dev@pt-br.libreoffice.org
# Informações sobre os comandos disponíveis (em inglês):
  mande e-mail vazio para dev+help@pt-br.libreoffice.org
# Cancelar sua assinatura: mande e-mail vazio para:
  dev+unsubscribe@pt-br.libreoffice.org
# Arquivo de mensagens: http://listarchives.libreoffice.org/pt-br/dev