Análise estática de código para o portal de algoritmos da UCS
Loading...
Submission Date
Defense Date
2018
Edition
Authors
Advisors
Co-Advisors
Editors
Journal Title
Journal ISSN
Volume Title
Publisher
Description
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).