No contexto do desenvolvimento de software, analisador estático de código é uma ferramenta empregada para