Análise estática de código para o portal de algoritmos da UCS - Breda, Matthias Bebber (My University, 2018)
Análise estática de código é realizada sem a execução real do algoritmo, que é o oposto de análise dinâmica que é realizada quando o algoritmo está executando. O objetivo deste trabalho é desenvolver um analisador estático de código para o Portal de Algoritmos da UCS. Neste trabalho são abordadas as técnicas mais conhecidas de análise estática, SSA (Static Single Assignment) (do inglês, Static Single Assignment - Atribuição Única Estática) e Análise de Fluxo de Dados e Análise de Intervalo de Valores. Estas técnicas foram utilizadas para reconhecer erros que o analisador léxico e sintático do Portal de Algoritmos da UCS não consegue identificar (variáveis não inicializadas, variáveis não utilizadas, função que não define valor de retorno, código inacessível entre outros), ajudando assim o aluno, indicando onde existem possíveis erros no código (sic).
Keywords: Engenharia de software; Algoritmos