TD 10 - Analise estática de programa - A framework monótona

O objectivo desta Prática Laboratorial é estudar algumas analises estáticas que se suportam na framework monótona exposta nas aulas teóricas.

Plano

Assim, o plano para esta prática é o seguinte

formar grupo de 3 pessoas
descarregar e instalar o projeto Library for specifying monotone frameworks in OCaml ou (link alternativo);
escolher uma das linguagens/parser das práticas laboratoriais anteriores;
adaptar o parser e a AST à framework mónotona;
escolher uma analise estática apresentada nas aulas teóricas e implementá-la com base na adequada parametrização da framework;
apresentar um conjunto de programas representativos (positivos e negativos) relativamente à analise em causa, com a finalidade da demonstração da analise produzida.

As apresentações terão lugar na ultima hora da antepenúltima aula laboratorial