Cruzando Dados Distribuídos para Detectar Estouro de Inteiro (Crosschecking Distributed Data to Detect Integer Overflow)

Luiz Felipe Zafra Saggioro (luizfzsaggioro@dcc.ufmg.br), Vitor Mendes Paisante (paisante@dcc.ufmg.br), Raphel Ernani Rodrigues (raphael@dcc.ufmg.br), Leonardo Barbosa e Oliveira (leob@dcc.ufmg.br), Fernando Magno Quintão Pereira (fernando@dcc.ufmg.br)


Universidade Federal de Minas Gerais
This paper appears in: Revista IEEE América Latina

Publication Date: April 2015
Volume: 13,   Issue: 4 
ISSN: 1548-0992


Abstract:
This paper 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.

Index Terms:
Statics Analysis, Range Analysis, Software Security   


Documents that cite this document
This function is not implemented yet.


[PDF Full-Text (819)]