| Em processos de desenvolvimento de sofware é comum as aplicações desenvolvidas apresentarem erros após serem entregues ao cliente. Nesse cenário, é importante detectar e corrigir, com antecedência, possíveis falhas no código do programa, como, por exemplo, estouros de memória, variáveis não utilizadas, código inalcançável, dentre outros. Uma das técnicas utilizadas para encontrar esses defeitos é a revisão de código que pode ser realizada tanto de forma manual quanto através do uso de ferramentas automatizadas de análise estática de código. As empresas costumam definir critérios de qualidade para o software produzido, os denominados Quality Checkers. A análise estática detecta erros de acordo com alguns critérios que comumente se enquadram nesses Quality Checkers. Dessa forma, as empresas buscam alternativas para automatizar e qualificar seu processo de revisão de código através do uso de ferramentas úteis ao contexto de suas aplicações. Neste trabalho, foi realizado um estudo de caso que utilizou os Quality Checkers definidos por uma empresa com o objetivo de encontrar um conjunto de ferramentas de análise estática que satisfizessem esses critérios. Para tanto, realizamos um estudo de várias ferramentas disponíveis na Internet, verificando suas características de forma a obter um comparativo de acordo com os critérios de qualidade previamente definidos. Após a realização do estudo, foi possível comparar as vantagens e as desvantagens do uso de tais ferramentas no processo de desenvolvimento da empresa constatando que algumas delas se mostraram inviáveis, por cobrirem uma pequena parte dos Quality Checkers. Dessa forma, o trabalho proporcionou a obtenção de fatores que contribuíssem para a escolha das ferramentas, bem como um entendimento sobre análise estática e revisão de código. Apoio: Lei de Informática (LG Electronics) e FCPC |