Início Análise Estática no InfoQ Brasil
Notícias
Feed RSS-
Uma proposta para o IDisposable de análise estática: O atributo DisposeUnused
Quando o .NET foi criado, havia incertezas sobre como o IDisposable deveria ser usado. Como resultado, a função foi aplicada de maneira excessivamente agressiva, com muitas categorias de classes solicitando métodos Dispose vazios. Isso levou a problemas com ferramentas de análise estática que não podem separar casos reais de chamadas Dispose vazias vindas de falsos positivos.
-
Facebook Open-Source RaceD - Detector de condição-de-corrida
A ferramenta open-source de análise estática do Facebook, Infer, foi recentemente atualizada com detecção de condição-de-corrida (race conditions) em códigos Java via RacerD. RacerD identifica condiçoes-de-corrida nos métodos das classes que fazem uso da anotação @ThreadSafe.
-
Coverity: Código Open Source tem menos defeitos que código comercial
Estudo realizado pela Coverity Scan, patrocinado pelo Departamento de Segurança Doméstica dos EUA, conclui que o código Open Source tem menos defeitos que código comercial, e que a análise estática de código é eficaz na redução da quantidade de defeitos em software.
-
IDEs para Ruby, um resumo das novidades
A JetBrains lançou a versão 4 da sua IDE para Ruby chamada RubyMine, com melhor desempenho e melhorias incrementais, o NetBeans 7.1 para Ruby está prestes a sair com mudanças importantes.
-
Spec# e Boogie Disponíveis no CodePlex
O código fonte do Spec# está disponível no CodePlex pela Microsoft Research Shared Source License Agreement. Esta licença restringe a utlização para fins não comerciais. E a ferramenta de verificação de código chamada Boogie foi lançada pela Microsoft Public License, a qual está em conformidade com o padrão Free/Open Source.