Analisador Estático de Código Java (Tradutores - Unisinos)