Please use this identifier to cite or link to this item:
http://hdl.handle.net/1843/ESBF-9XYPU6
Type: | Dissertação de Mestrado |
Title: | X-RA: uma análise de intervalos para programas em redes |
Authors: | Luiz Felipe Zafra Saggioro |
First Advisor: | Leonardo Barbosa e Oliveira |
First Co-advisor: | Fernando Magno Quintao Pereira |
First Referee: | Fernando Magno Quintao Pereira |
Second Referee: | Mario Sergio Ferreira Alvim Junior |
Third Referee: | Omar Paranaiba Vilela Neto |
Abstract: | Este trabalho traz uma estratégia para melhor a análise de intervalos de inteiros em programas em rede utilizando uma característica chave. A análise de intervalos de inteiros é uma estratégia para detectar ocorrências de estouros de inteiros em programas. Apesar de esta análise poder ser aplicada em programas em rede como foi concebida, a proposta deste trabalho é aproveitar as mensagens que os programas trocam para melhorar a análise de inteiros. Para validar esta hipótese, a solução foi implementada sobre o arcabouço do compilador LLVM. A análise foi feita sobre algumas aplicações e os resultados mostram que a técnica proposta obteve resultados melhores em comparação com a técnica convencional em termos de quantidade de variáveis com intervalos definidos. |
Abstract: | 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. |
Subject: | Compiladores (Computadores) Computação Sistemas distríbuidos |
language: | Português |
Publisher: | Universidade Federal de Minas Gerais |
Publisher Initials: | UFMG |
Rights: | Acesso Aberto |
URI: | http://hdl.handle.net/1843/ESBF-9XYPU6 |
Issue Date: | 17-Jun-2015 |
Appears in Collections: | Dissertações de Mestrado |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
luizfelipezafra.pdf | 420.16 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.