Analisador estático de código
