A medida que o mundo depende cada vez mais de software e sua infraestrutura subjacente o entendimento e a melhoria de bases de código se torna mais crucial. Programas podem ser analisados antes ou durante sua execução. Quando feita antes, trata-se da Analise Estatica de Programas. Apesar de útil, o conjunto de ferramentas e teorias envolvidos nessa analise requer conhecimento nem sempre facilmente disponível como em outras áreas dominantes da ciência da computação. Tal falta de acessibilidade contradiz a relevância moderna do ramo. Dessa forma, a disciplina DCC888- Static Program Analysis se destaca por ser um dos poucos cursos disponíveis que cobre o tema extensivamente. Este projeto expande os recursos da disciplina com um conjunto de atividades de programação que visam agregar experiencia junto ao aprendizado teorico.