Análise estática de código para o portal de algoritmos da UCS
Carregando...
Data de Submissão
Data de Defesa
2018
Edição
Autores
Orientadores
Coorientadores
Editores
Título da Revista
ISSN da Revista
Título de Volume
Editor
Descrição
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).