Análise Estática de Código

26 Novembro 2019, 16:30 • Nuno Fuentecilla Maia Ferreira Neves

Análise estática de código; Métodos básicos; Análise semântica; Verificação de tipos; Análise de controlo de fluxo; Análise de fluxo de dados; Ferramenta WAP; Análise simbólica