1. Repositório Institucional da UFMG
  2. Trabalhos Acadêmicos
  3. Dissertações e Teses
  4. Pós-Graduação em Ciência da Computação
  5. Dissertações de Mestrado
Use este identificador para citar ou linkar para este item: http://hdl.handle.net/1843/ESBF-9XYPU6
Registro completo de metadados
Campo DCValorIdioma
dc.contributor.advisor1Leonardo Barbosa e Oliveirapt_BR
dc.contributor.advisor-co1Fernando Magno Quintao Pereirapt_BR
dc.contributor.referee1Fernando Magno Quintao Pereirapt_BR
dc.contributor.referee2Mario Sergio Ferreira Alvim Juniorpt_BR
dc.contributor.referee3Omar Paranaiba Vilela Netopt_BR
dc.creatorLuiz Felipe Zafra Saggioropt_BR
dc.date.accessioned2019-08-13T14:34:23Z-
dc.date.available2019-08-13T14:34:23Z-
dc.date.issued2015-06-17pt_BR
dc.identifier.urihttp://hdl.handle.net/1843/ESBF-9XYPU6-
dc.description.abstractThis 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.pt_BR
dc.description.resumoEste 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.pt_BR
dc.languagePortuguêspt_BR
dc.publisherUniversidade Federal de Minas Geraispt_BR
dc.publisher.initialsUFMGpt_BR
dc.rightsAcesso Abertopt_BR
dc.subjectAnálise de intervalospt_BR
dc.subjectAnálise de ponteirospt_BR
dc.subjectAnálise estáticapt_BR
dc.subjectRedes de computadorespt_BR
dc.subject.otherCompiladores (Computadores)pt_BR
dc.subject.otherComputaçãopt_BR
dc.subject.otherSistemas distríbuidospt_BR
dc.titleX-RA: uma análise de intervalos para programas em redespt_BR
dc.typeDissertação de Mestradopt_BR
Aparece nas coleções:Dissertações de Mestrado

Arquivos associados a este item:
Arquivo Descrição TamanhoFormato 
luizfelipezafra.pdf420.16 kBAdobe PDFVisualizar/Abrir
Mostrar registro simples do item Visualizar estatísticas


Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.