No contexto da Qualidade de Software, diferentes abordagens, estratégias e ferramentas são utilizadas para garantir que o produto atenda aos requisitos funcionais e não funcionais, bem como às expectativas dos usuários. Uma ferramenta utilizada para análise estática de código é a