Este artigo apresenta uma abordagem unificada de especificação e checagem de restrições de código-fonte apoiada por um analisador estático chamado Code Umpire. Esta ferramenta foi desenvolvida após uma coleta e análise de 497 problemas e mais de 10.000 submissões de problemas de programação da base de dados do juiz on-line The Huxley. Foi detectada, principalmente, a dificuldade que os alunos têm em exercitar a criação e utilização de funções recursivas. Além disso, este trabalho faz uma comparação com outras abordagens que também são apoiadas por um analisador estático.