[gblsun]

Resumo

Auditoria da AP 2 (analisador semântico) pelos quatro critérios das orientações de entrega, com documentação para a avaliação.

Verificação além dos testes fixos

• tests/fuzz_semantico.py: teste diferencial com três oráculos:
  • programas aleatórios: Python e C dão saída idêntica, sem crash;
  • programas bem tipados: as duas versões têm de aceitá-los (pega falso positivo);
  • programas com exatamente um erro injetado (SEM001–SEM016): as duas versões têm de reportar só aquele erro (pega falso negativo e cascata).
• Casos próprios novos: os programas de referência 13.1, 19.1 e 19.2 da especificação.
• CI em dois ambientes: Ubuntu 22.04 (gcc 11, Python 3.10) e 24.04 (gcc 13, Python 3.12).
• Job robustez:
  • clang com -Werror;
  • AddressSanitizer + UBSan em todas as 120 entradas de teste;
  • 900 programas gerados;
  • scripts oficiais rodando de /tmp/Avaliação Parcial II/minic compiler em LC_ALL=C;
  • conferência de que o catálogo de testes está atualizado.

Correção

• O nó Param passa a guardar a posição do nome. Assim, o SEM002 de parâmetro duplicado aponta o nome, como o gabarito faz para variáveis (caso 13). A etapa 2 não muda, porque a AST impressa não mostra posições.

Documentação

• docs/entrega-ap2.md: página de entrega que liga cada critério (desacoplamento, equivalência, lógica, casos de teste) à evidência correspondente.
• docs/testes-semanticos.md: os 39 testes com objetivo, código e saída (o item "testes propostos com os respectivos resultados"), gerado pelos próprios arquivos de teste.
• Atualizados: resultados-etapa3.md, semantica.md, READMEs, etapas.md e PENDENCIAS.md (decisões da AP 2, risco dos CRLF dos gabaritos, itens 1.5, 3.1 e 3.2 resolvidos).
• Bit de execução em minic.py e nos scripts da AP 2.

Resultados (CI)

Verificação	Resultado
scripts oficiais da AP 2, Python e C (nos dois ambientes e na pasta com espaço/acento)	20/20 e 20/20
tests/run_semantic_tests.py	184/184
teste diferencial (C com sanitizers)	900/900
entradas com AddressSanitizer + UBSan	120/120 sem erro
gcc 11, gcc 13, clang 18 com -Werror	sem avisos
etapas 1 e 2, exercícios da aula 13	sem regressão

🤖 Generated with Claude Code