Descrição do Projeto

A presente linha de pesquisa visa explorar a garantia de qualidade de software, por meio do uso de ferramentas de análise estática. Em particular, tem-se como objetivo propor um metodologia para avaliar a eficácia de ferramentas de análise estática sob diferentes aspectos, como a capacidade de encontrar vulnerabilidades críticas em softwares reais, o volume de falsos positivos identificados e os tipos de fraquezas que pode ser encontradas.

Material de Interesse

• Aurelien Delaitre, Bertrand Stivalet, Paul E. Black, Vadim Okun, Athos Ribeiro and Terry S. Cohe. NIST Special Publication 500-326. SATE V Report: Ten Years of Static Analysis Tool Expositions.

Equipe envolvida

• Pesquisadores
  • Lucila Bento
  • Raphael Machado