X-RA: uma análise de intervalos para programas em redes

• Ano de defesa: 2015
• Autor(a) principal: Luiz Felipe Zafra Saggioro
• Tipo de documento: Dissertação
• Tipo de acesso: Acesso aberto
• Idioma: por
• Instituição de defesa: Universidade Federal de Minas Gerais; UFMG
• Palavras-chave em Português: Análise de intervalos; Análise de ponteiros; Análise estática; Redes de computadores; Compiladores (Computadores); Computação; Sistemas distríbuidos
• Link de acesso: http://hdl.handle.net/1843/ESBF-9XYPU6

This work presents a strategy to improve the integer range analysis on networked programs by taking advantage of a key characteristic. The integer range analysis is one strategy to detect integer overflow occurrences in programs. Even though this analysis can be applied to networked programs as-is, the proposed approach aims at taking advantage of the messages that programs send to each other to improve the integer range analysis. To validate this claim, we have implemented our solution on top of LLVM compiler. We have applied this analysis on some applications and the result shows that our proposal has better results than the conventional approach in terms of defined variables.