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

Luiz Felipe Zafra Saggioro (, Vitor Mendes Paisante (, Raphel Ernani Rodrigues (, Leonardo Barbosa e Oliveira (, Fernando Magno Quintão Pereira (

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

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)]