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

Apresentações

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


voltar à pagina da UC